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

Question

int (*)[] 可以是不完整类型吗？

C 2018 6.2.5 1 说：

在翻译单元内的不同点，对象类型可能是不完整（缺乏足够的信息来确定该类型对象的大小）或完整（有足够的信息)。

因此，如果类型的大小已知，则该类型似乎是完整的。 6.2.6.1 28 指定某些类型的指针必须具有相同的大小（指向void 和字符的指针、指向兼容类型的指针、指向结构的指针和指向联合的指针），但指向其他类型的指针可能会有所不同。

在所有指针或指向int 数组的所有指针具有相同大小的C 实现中，那么int (*)[] 的大小是已知的，因此它是完整的。在一个实现中，比如说，对大数组使用不同的指针，大小是未知的，所以它是不完整的。

作为M.M points out，根据 6.7.2.1 3 中的约束，结构不得包含类型不完整的成员，最终灵活数组成员除外。这表明具有一种指针大小的实现必须接受struct { int (*p)[]; }而对于此类数组具有不同大小的实现必须诊断违反约束。 （这反过来又意味着这样的声明不是严格符合 C 的一部分。）

Answer 1

未知大小的数组不完整：

未知大小的数组类型是不完整类型。对于该类型的标识符，它是通过在以后的声明中指定大小来完成的（使用内部或外部链接）。

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 中被黑底白字：

指针类型可以派生自函数类型或对象类型， 称为引用类型。指针类型描述了一个对象，其 value 提供对被引用类型的实体的引用。一种 从引用类型 T 派生的指针类型有时称为 “指向 T 的指针”。从被引用的指针类型的构造 类型称为“指针类型派生”。 指针类型是 完整的对象类型。