Может ли указатель на неполный тип быть неполным?

Может int (*)[]быть неполного типа?

C 2018 6.2.5 1 говорит:

В различных точках в единице перевода тип объекта может быть неполным (без достаточной информации для определения размера объектов этого типа) или полным (имеющим достаточную информацию).

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

В реализации C, где все указатели или все указатели на массивы intимеют одинаковый размер, тогда размер int (*)[]известен, поэтому он будет завершен. В реализации, которая, скажем, использует разные указатели для больших массивов, размер не будет известен, поэтому он является неполным.

Как указывает MM , структура не должна содержать элемент с неполным типом, за исключением конечного элемента гибкого массива, согласно ограничению в 6.7.2.1. 3. Это предполагает, что реализация с указателями одного размера должна принимать, в struct { int (*p)[]; }то время как реализация с другим размеры для таких массивов должны диагностировать нарушение ограничения. (Это, в свою очередь, означает, что такое объявление не является частью строго соответствующего C.)

Массив неизвестного размера является неполным:

Тип массива неизвестного размера является неполным типом. Для идентификатора этого типа он завершается указанием размера в последующем объявлении (с внутренней или внешней связью).

Тип, 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». Конструкция типа указателя из ссылочного типа называется «выводом типа указателя». Тип указателя является полным типом объекта.