备忘录

在 C 语言中，数组名是一个非常特殊的标识符。理解数组名在不同上下文中的行为，尤其是什么时候会隐式转换为指针（退化），什么时候保持数组本身属性，是掌握 C 语言内存模型和指针运算的核心基石。

一、 核心概念：什么是数组隐式转换（Array Decay）？

在 C/C++ 中，数组名在大多数表达式中会发生隐式类型转换（通常被称为“类型退化”或 Array Decay）。这意味着数组名会从“代表整个数组”的类型，隐式转换为“指向该数组首元素的指针”类型。

例如，对于声明 int a[5];：

• 数组 a 的原本类型是 int[5]。
• 在发生退化的表达式中，a 会被编译器转换为 int * 类型，且其数值等价于 &a[0]。

二、 数组名不会退化的三种特例（重点）

标准 C 语言规定，只有在以下三种情况下，数组名不会退化为首元素指针，而是完整地代表整个数组对象本身。

1. 作为 sizeof 运算符的操作数

当对数组名直接使用 sizeof 时，编译器计算的是整个数组所占用的内存总字节数，而不是指针的大小。

• 代码示例：

int a[5];
printf("%zu\n", sizeof(a)); 
// 输出结果：20 (在32/64位系统下，5个int * 4字节)
// 如果退化为指针，输出的则是指针自身大小（4 或 8）

2. 作为单目运算符 &（取地址）的操作数

当使用 &a 时，返回的是指向整个数组的指针（Array Pointer），其类型为 int (*)[5]。

• 本质区别：
  虽然 a（退化后的首元素地址）和 &a 在数值（内存地址）上是完全相同的，但它们的基类型（指针步长）完全不同：
• a + 1：步长为一个元素的大小（向前移动 sizeof(int) 字节）。
• &a + 1：步长为整个数组的大小（向前移动 5 * sizeof(int) 字节，直接跳过整个数组）。

3. 作为字符串字面量用于初始化字符数组时

当使用字符串常量（本质上也是字符数组）去初始化一个字符数组时，该字符串不会退化为 char * 指针，而是作为初始值将内容直接复制到目标数组中。

• 代码示例：

char str[] = "hello"; 
// "hello" 在此不会退化为指向常量区的 char* 指针，而是直接将 'h','e','l','l','o','\0' 拷贝到栈上的 str 数组中

三、 数组名会隐式转换为指针的常见场景

除了上述三种特例之外，在其他所有表达式中，数组名都会雷打不动地隐式转换为指向首元素的指针。

1. 赋值给指针或进行指针算术运算

这是最常见的场景。一旦数组名参与加减运算，它就变成了指针。

int a[5] = {1, 2, 3, 4, 5};
int *p = a;      // a 隐式转换为 int*，指向 a[0]
int *q = a + 1;  // a 隐式转换为 int*，然后 +1 指向 a[1]

2. 使用下标运算符 [] 时

在 C 语言内部，下标运算符 matrix[i] 实际上只是指针运算的语法糖，底层等价于 *(matrix + i)。为了让这个加法成立，数组名必须先退化为指针。

int x = a[2]; // 编译器将其处理为 *(a + 2)

3. 作为函数参数传递时

在 C 语言中，无法把一个完整的数组整体作为参数按值（Pass-by-value）传递给函数。当把数组名作为实参传给函数时，它必然退化为指向首元素的指针。

哪怕你在函数形参中显式写了数组大小，编译器也会将其无视，直接隐式重写为指针类型：

// 以下三种写法在编译器眼中完全等价，形参 arr 的本质都是 int *arr
void printArray(int arr[5])  { /* ... */ }
void printArray(int arr[])   { /* ... */ }
void printArray(int *arr)    { /* ... */ }

int main() {
    int a[5] = {1, 2, 3, 4, 5};
    printArray(a); // a 隐式退化为 int* 传入
}

注意：由于形参本质是指针，在函数内部使用 sizeof(arr) 将无法得到原数组的大小，只能得到指针的大小（4 或 8 字节）。因此在 C 语言中传递数组通常需要额外传入一个 size_t len 参数。

四、 快速查阅矩阵（总结）

五、 总结

C 语言中数组名隐式转换的设计初衷是为了效率，避免在运算和函数传参时产生不必要的整块内存拷贝。

只需牢记：除了 sizeof、取地址 & 以及字符串字面量初始化数组这三种情况外，其余表达式中的数组名一律视为指向首元素的指针。 掌握这一规律，在面对复杂的指针偏移、多维数组以及函数传参时，就能清晰地定位到精确的内存地址。