c - 为什么 int (*ptr)[10] 类型的指针需要数组的地址而不仅仅是数组本身

Question

数组返回指向第一个元素的指针。我有简单的代码如下:

int a[10] = {1,2,3};//Filled three elements
int (*ptr)[10];//pointer to an array of 10 ints
ptr = a;

我低于警告。

warning: assignment from incompatible pointer type

如果我如下所示修改指针定义，则不会出现警告

ptr = &a;

为什么第一次分配会导致警告？ &a 是否返回指向 10 个元素的数组的整数指针？请帮助理解。谢谢

Answer 1

Except when it is the operand of the sizeof operator or the unary & operator, or is a string literal used to initialize an array, an expression that has type ‘‘array of type’’ is converted to an expression with type ‘‘pointer to type’’ that points to the initial element of the array object and is not an lvalue.

除了 sizeof、& 和 alignof 运算符之外，数组会衰减为指针。

int a[10] = {1,2,3};//Filled three elements
int (*ptr)[10];//pointer to an array of 10 ints
ptr = a;

在赋值 ptr = a 中，a 衰减为指向 int (int *) 的指针，该指针指向第一个元素。

int a[10] = {1,2,3};//Filled three elements
int (*ptr)[10];//pointer to an array of 10 ints
ptr = &a;

这里&a的类型是int (*)[10]，它是一个指向10个int数组的指针，与ptr类型相同。这是将指针分配给数组的正确方法。

另请注意，a 和 &a 的值本身相同，唯一的区别在于类型。