Un pointeur vers un type incomplet peut-il être incomplet?

Peut int (*)[]être un type incomplet?

C 2018 6.2.5 1 dit:

À divers points d'une unité de traduction, un type d'objet peut être incomplet (manque d'informations suffisantes pour déterminer la taille des objets de ce type) ou complet (avoir suffisamment d'informations).

Il semble donc que si la taille d'un type est connue, le type est complet. 6.2.6.1 28 spécifie que certains types de pointeurs doivent avoir les mêmes tailles (pointeurs vers voidet caractères, pointeurs vers des types compatibles, pointeurs vers des structures et pointeurs vers des unions), mais les pointeurs vers d'autres types peuvent varier.

Dans une implémentation C où tous les pointeurs, ou tous les pointeurs vers des tableaux de int, ont la même taille, alors la taille de int (*)[]est connue, elle serait donc complète. Dans une implémentation qui, par exemple, utilise différents pointeurs pour les grands tableaux, la taille ne serait pas connue, elle est donc incomplète.

Comme le souligne MM , une structure ne doit pas contenir de membre de type incomplet, à l'exception d'un membre de tableau flexible final, conformément à une contrainte du 6.7.2.1 3. Cela suggère qu'une implémentation avec une taille de pointeurs doit accepter struct { int (*p)[]; }tandis qu'une implémentation qui a différents les tailles de ces tableaux doivent diagnostiquer une violation de contrainte. (Cela signifie à son tour qu'une telle déclaration ne fait pas partie d'un C. strictement conforme.)

Un tableau de taille inconnue est incomplet:

Un type de tableau de taille inconnue est un type incomplet. Il est complété, pour un identifiant de ce type, en précisant la taille dans une déclaration ultérieure (avec liaison interne ou externe).

Le type int (*)[]n'est cependant pas incomplet: c'est un pointeur d'un tableau de inttaille inconnue.
Et un pointeur a une taille bien connue:

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

6.2.5 / 23: Un type a une taille constante connue s'il n'est pas incomplet et n'est pas un type de tableau de longueur variable.

De plus, vous pouvez même le déréférencer, grâce à la sémantique du tableau:

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");

Éditer

De plus, un pointeur est toujours un type complet. Il est écrit noir sur blanc en 6.2.5 / 20:

Un type de pointeur peut être dérivé d'un type de fonction ou d'un type d'objet, appelé type référencé. Un type de pointeur décrit un objet dont la valeur fournit une référence à une entité du type référencé. Un type de pointeur dérivé du type référencé T est parfois appelé «pointeur vers T». La construction d'un type de pointeur à partir d'un type référencé est appelée «dérivation de type de pointeur». Un type de pointeur est un type d'objet complet.