Um ponteiro para um tipo incompleto pode estar incompleto?

Pode int (*)[]ser um tipo incompleto?

C 2018 6.2.5 1 diz:

Em vários pontos dentro de uma unidade de tradução, um tipo de objeto pode estar incompleto (sem informações suficientes para determinar o tamanho dos objetos desse tipo) ou completo (com informações suficientes).

Assim, parece que, se o tamanho de um tipo for conhecido, o tipo estará completo. 6.2.6.1 28 especifica que certos tipos de ponteiros devem ter os mesmos tamanhos (ponteiros voide caracteres, ponteiros para tipos compatíveis, ponteiros para estruturas e ponteiros para uniões), mas os ponteiros para outros tipos podem variar.

Em uma implementação C em que todos os ponteiros, ou todos os ponteiros para matrizes de int, têm o mesmo tamanho, o tamanho de int (*)[]é conhecido e, portanto, seria completo. Em uma implementação que, digamos, usa ponteiros diferentes para matrizes grandes, o tamanho não seria conhecido e, portanto, está incompleto.

Como MM aponta , uma estrutura não deve conter um membro com tipo incompleto, exceto um membro de matriz flexível final, de acordo com uma restrição em 6.7.2.1 3. Isso sugere que uma implementação com um tamanho de ponteiros deve aceitar struct { int (*p)[]; }enquanto uma implementação que tenha diferentes tamanhos para essas matrizes devem diagnosticar uma violação de restrição. (Isso, por sua vez, significa que tal declaração não faz parte do estritamente conforme C.)

Uma matriz de tamanho desconhecido está incompleta:

Um tipo de matriz de tamanho desconhecido é um tipo incompleto. É concluído, para um identificador desse tipo, especificando o tamanho em uma declaração posterior (com ligação interna ou externa).

O tipo, int (*)[]no entanto, não está incompleto: é um ponteiro de uma matriz de inttamanho desconhecido.
E um ponteiro tem um tamanho bem conhecido:

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

6.2.5 / 23: Um tipo tem tamanho constante conhecido se não estiver incompleto e não for um tipo de matriz de comprimento variável.

Além disso, você pode até tirar a referência dele, graças à semântica da 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

Além disso, um ponteiro é sempre um tipo completo. Está escrito preto no branco em 6.2.5 / 20:

Um tipo de ponteiro pode ser derivado de um tipo de função ou objeto, chamado de tipo referenciado. Um tipo de ponteiro descreve um objeto cujo valor fornece uma referência a uma entidade do tipo referenciado. Um tipo de ponteiro derivado do tipo referenciado T às vezes é chamado de '' ponteiro para T ''. A construção de um tipo de ponteiro a partir de um tipo referenciado é chamada '' derivação do tipo de ponteiro ''. Um tipo de ponteiro é um tipo de objeto completo.