¿Puede un puntero a un tipo incompleto ser incompleto?

Puede int (*)[]ser un tipo incompleto?

C 2018 6.2.5 1 dice:

En varios puntos dentro de una unidad de traducción, un tipo de objeto puede estar incompleto (sin información suficiente para determinar el tamaño de los objetos de ese tipo) o completo (con información suficiente).

Por lo tanto, parece que si se conoce el tamaño de un tipo, el tipo está completo. 6.2.6.1 28 especifica que ciertos tipos de punteros deben tener los mismos tamaños (punteros a voidy caracteres, punteros a tipos compatibles, punteros a estructuras y punteros a uniones), pero los punteros a otros tipos pueden variar.

En una implementación en C donde todos los punteros, o todos los punteros a las matrices int, tienen el mismo tamaño, entonces int (*)[]se conoce el tamaño de , por lo que estaría completo. En una implementación que, por ejemplo, utiliza diferentes punteros para matrices grandes, el tamaño no se conocería, por lo que está incompleto.

Como MM señala , una estructura no debe contener un miembro con un tipo incompleto, excepto un miembro de matriz flexible final, según una restricción en 6.7.2.1 3. Esto sugiere que una implementación con un tamaño de punteros debe aceptar struct { int (*p)[]; }mientras que una implementación que tiene diferente los tamaños para tales matrices deben diagnosticar una violación de restricción. (Esto a su vez significa que dicha declaración no es parte de la estricta conformidad C.)

Una matriz de tamaño desconocido está incompleta:

Un tipo de matriz de tamaño desconocido es un tipo incompleto. Se completa, para un identificador de ese tipo, especificando el tamaño en una declaración posterior (con enlace interno o externo).

Sin int (*)[]embargo, el tipo no está incompleto: es un puntero de una matriz de inttamaño desconocido.
Y un puntero tiene un tamaño bien conocido:

printf ("Size %d\n", sizeof(int (*)[]));

6.2.5 / 23: Un tipo tiene un tamaño constante conocido si el tipo no está incompleto y no es un tipo de matriz de longitud variable.

Además, incluso puede desreferenciarlo, gracias a la semántica de la matriz:

typedef int (*T)[];
...
int a[10];
for (int i=0; i<10; i++) a[i]=i;
T p=a;
for (int i=0; i<10; i++) printf ("%d ",(*p)[i]);
printf ("\n");

Editar

Además, un puntero es siempre un tipo completo. Está escrito en negro sobre blanco en 6.2.5 / 20:

Un tipo de puntero puede derivarse de un tipo de función o un tipo de objeto, denominado tipo referenciado. Un tipo de puntero describe un objeto cuyo valor proporciona una referencia a una entidad del tipo referenciado. Un tipo de puntero derivado del tipo referenciado T a veces se denomina "puntero a T". La construcción de un tipo de puntero a partir de un tipo referenciado se denomina "derivación de tipo de puntero". Un tipo de puntero es un tipo de objeto completo.