c - a[][] 和 (*a)[] 不等同于函数参数吗？

Question

函数原型(prototype)

void foo(int n, int a[][]);

给出关于不完整类型的错误而

void foo(int n, int (*a)[]);  

编译。根据衰减规则 int a[][] 在这种情况下等同于 int (*a)[] 因此 int (*a)[] 也应该给出关于不完整类型的错误，但 GCC 似乎接受了它。我有什么想念的吗？这可能是一个 GCC 错误，但我没有发现任何与之相关的内容。

Answer 1

不，它们不等同于函数参数。它们与 foo 和 bar

中的参数声明不完全相同

struct S;
void foo(struct S* s); // OK
void bar(struct S a[]); // ERROR: incomplete type is not allowed

不等价。

C 不允许不完整的类型作为数组元素(参见 C 1999 6.7.5.2/1:“[...] 元素类型不应为不完整类型或函数类型。[...]”)和此限制适用于数组参数声明的方式与适用于任何其他数组声明的方式相同。即使稍后数组类型的参数将被隐式调整为指针类型，C 也不会对函数参数列表中的数组声明提供特殊处理。换句话说，数组参数声明在上述调整之前检查有效性。

您的 int a[][] 是同一件事:尝试声明一个数组，其元素类型为 int []，这是一个不完整的类型。同时，int (*a)[] 是完全合法的——指向不完整类型的指针并没有什么异常。

作为旁注，C++“修复”了这个问题，允许在参数声明中使用不完整类型的数组。但是，原始的C++仍然禁止int a[][]参数，int (&a)[]参数甚至int (*a)[]参数。据推测，这在 C++17 ( http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#393 ) 中被修复/允许了