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 )