Чи може вказівник на неповний тип бути неповним?

Може int (*)[]бути неповним типом?

C 2018 6.2.5 1 каже:

У різних точках в одиниці перекладу тип об'єкта може бути неповним (бракує достатньої інформації для визначення розміру об'єктів цього типу) або повним (має достатню інформацію).

Таким чином, здається, що якщо розмір типу відомий, тип буде повним. 6.2.6.1 28 вказується, що певні типи покажчиків повинні мати однакові розміри (покажчики на voidсимволи, покажчики на сумісні типи, вказівники на структури та вказівники на союзи), але вказівники на інші типи можуть відрізнятися.

У застосуванні C, де всі вказівники або всі вказівники на масиви intмають однаковий розмір, тоді розмір int (*)[]відомий, тому він був би повним. У реалізації, яке, скажімо, використовує різні покажчики для великих масивів, розмір не буде відомий, тому він є неповним.

Як зазначає ММ , структура не повинна містити члена з неповним типом, за винятком остаточного гнучкого члена масиву, за обмеженням в 6.7.2.1 3. Це говорить про те, що реалізація з одним розміром покажчиків повинна приймати, struct { int (*p)[]; }тоді як реалізація має інший розміри для таких масивів повинні діагностувати порушення обмеження. (Це в свою чергу означає, що така декларація не є частиною суворої відповідності С.)

Масив невідомого розміру є неповним:

Тип масиву невідомого розміру - неповний тип. Він завершений для ідентифікатора цього типу, вказавши розмір у більш пізній декларації (із внутрішнім чи зовнішнім зв’язком).

Однак тип int (*)[]не є неповним: це вказівник масиву intневідомого розміру.
І вказівник має добре відомий розмір:

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

6.2.5 / 23: Тип має відомий постійний розмір, якщо тип не є неповним і не є масивом змінної довжини.

Крім того, ви можете навіть знеструмити його завдяки семантиці масиву:

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

Редагувати

Крім того, вказівник завжди є повним типом. Це написано чорно-білим кольором в 6.2.5 / 20:

Тип вказівника може бути похідний від типу функції або типу об'єкта, який називається посилальним типом. Тип вказівника описує об'єкт, значення якого надає посилання на сутність типу посилання. Тип вказівника, похідний від посиланого типу T, іноді називається "вказівником на T". Побудова типу вказівника з посилального типу називається '' виведенням типу вказівника ''. Тип вказівника - це повний тип об'єкта.