& 什么类型？返回 C 函数内的数组参数？

Question

当将数组参数传递给函数时，它的内存地址被复制到数组参数中。因此：

• sizeof() 返回数组参数的整个数组的大小（在调用者内部）
• sizeof() 返回数组参数的指针的大小（内部称为函数）

我的问题是，函数内部的数组参数是什么类型？更具体地说，在数组参数上使用 & 运算符时返回什么类型？它不是指向类型数组的指针，也不是指向类型的指针，如以下代码所示（标记为BAD）：

void doSomething(int arrayParam[10]);

int main()
{
    int array[10] = { 0 };
    int (*arrayPtr)[] = &array;         // OK
    printf("%p\n", array);              // 0x7fff5fbff790
    doSomething(array);

    return 0;
}

void doSomething(int arrayParam[10])
{
    printf("%p\n", arrayParam);         // 0x7fff5fbff790

    int (*arrayPtr)[] = &arrayParam;    // BAD: Initialization from incompatible pointer type
    int * element0Ptr = &arrayParam;    // BAD: Initialization from incompatible pointer type

    element0Ptr = arrayParam;           // OK
    element0Ptr = &arrayParam[0];       // OK
}

感谢您提供的任何帮助！ :)

Answer 1

大多数时候，当您使用数组时，它会衰减为指向其初始元素的指针。因此，如果您有：

void f(int* x);

int array[10];
int* initial_element_of_array = array; // array decays to a pointer to initial element
f(array);                              // same here

f() 获取指向 array 的初始元素的指针。

一开始相当令人困惑的是，如果一个函数有一个数组类型的参数（就像你有void f(int x[])），它实际上会被转换，这样它与void f(int* x)完全相同。它们之间没有区别：数组类型参数与指针类型参数相同。

将数组传递给函数后，您所拥有的只是一个指向其初始元素的指针，因此如果将 & 运算符应用于 int*，您会得到一个int**（指向 int* 的指针）。