Eksik bir türün işaretçisi eksik olabilir mi?

Can int (*)[]tamamlanmamış bir tür olabilir mi?

C 2018 6.2.5 1 diyor ki:

Bir çeviri birimindeki çeşitli noktalarda bir nesne türü eksik (o türdeki nesnelerin boyutunu belirlemek için yeterli bilgiye sahip olmayabilir ) veya tam (yeterli bilgiye sahip) olabilir.

Dolayısıyla, bir türün boyutu biliniyorsa, türün tamamlanmış olduğu görülmektedir. 6.2.6.1 28, belirli işaretçi türlerinin aynı boyutlara sahip olması gerektiğini belirtir (işaretçiler voidve karakterler, uyumlu türlere işaretçiler, yapılara işaretçiler ve sendikalara işaretçiler), ancak diğer türlere işaretçiler değişebilir.

Tüm işaretçilerin veya dizilerin tüm işaretleyicilerinin intaynı boyuta sahip olduğu bir C uygulamasında , o zaman boyutu int (*)[]bilinir, bu yüzden tam olur. Örneğin, büyük diziler için farklı işaretçiler kullanan bir uygulamada, boyut bilinmeyecektir, bu nedenle eksiktir.

Olarak AA işaret , bir yapı 6.7.2.1 Bu işaretçiler bir boyutu olan bir uygulama kabul etmesi gerektiğini göstermektedir 3'te bir kısıtlama başına, nihai esnek dizi elemanı hariç, tam olmayan tip bir üye içermemelidir struct { int (*p)[]; }bir uygulama farklı olduğu da bu tür diziler için boyutlar bir kısıtlama ihlali teşhisi koymalıdır. (Bu da böyle bir bildirimin kesinlikle C'ye uygun olmadığı anlamına gelir.)

Boyutu bilinmeyen bir dizi eksik:

Boyutu bilinmeyen bir dizi türü eksik bir türdür. Bu tür bir tanımlayıcı için, daha sonraki bir bildirimde (iç veya dış bağlantı ile) boyut belirtilerek tamamlanır.

Ancak tür int (*)[]eksik değil: intBilinmeyen boyutta bir dizinin işaretçisi .
Ve bir işaretçi iyi bilinen bir boyuta sahiptir:

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

6.2.5 / 23: Tür eksik değilse ve değişken uzunluklu bir dizi türü değilse, bir türün sabit boyutu bilinmektedir.

Dahası, dizi semantiği sayesinde bunu bile kaldırabilirsiniz:

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

Düzenle

Ayrıca, bir işaretçi her zaman tam bir türdür. 6.2.5 / 20'de beyaz üzerine siyah yazılmıştır:

İşaretçi türü, başvurulan tür adı verilen bir işlev türünden veya nesne türünden türetilebilir. İşaretçi türü, değeri başvurulan türdeki bir varlığa başvuru sağlayan bir nesneyi tanımlar. Referans verilen T türünden türetilen bir işaretçi türüne bazen '' işaretçi T'ye '' denir. Başvuru yapılan bir türden bir işaretçi türünün oluşturulmasına `` işaretçi tür türevi '' denir. İşaretçi türü, tam bir nesne türüdür.