指向不完整类型的指针可以不完整吗？

可以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的指针''。从引用类型构造指针类型的过程称为“指针类型派生”。指针类型是完整的对象类型。