数组名与指针的本质区别
在 C 语言中，数组名和指针在语法和操作上有很多相似之处，但它们本质上是不同的概念。理解它们的区别对于编写正确、高效的代码至关重要。以下从多个维度进行详细分析。
一、核心概念与本质区别
| 特性 | 数组名 | 指针 |
|---|---|---|
| 本质 | 数组的标识符，代表整个数组的内存块。它是一个地址常量，其值为数组首元素的地址。 | 变量，专门用于存储内存地址。其本身占用内存（通常为4或8字节），可以指向不同类型的数据。 |
| 赋值操作 | 不可赋值。数组名是常量，不能出现在赋值运算符（=）的左侧。例如int a[10]; a = ...;是错误的。 | 可以赋值。指针变量可以指向不同的内存地址。例如int *p; p = &x;是合法的。 |
sizeof运算 | 得到的是整个数组所占用的内存字节数。例如int arr[10]; sizeof(arr)通常为 ` | |
| 10 * sizeof(int)`。 | 得到的是指针变量本身所占用的内存字节数（即地址的长度）。例如int *p; sizeof(p)在32位系统下为4字节，64位系统下为8字节。 | |
&运算符 | &arr得到的是整个数组的地址。其值与arr（首元素地址）相同，但类型不同（如int (*)[10]vsint *）。 | &p得到的是指针变量自身的地址（即二级指针）。 |
| 自增/自减 | 不允许。因为数组名是常量，不能进行++arr或--arr等操作。 | 允许。指针可以进行++、--等算术运算，以移动指向的内存位置。 |
| 作为函数参数 | 退化为指针。当数组名作为函数参数传递时，它会退化为指向其首元素的指针。此时函数内部无法通过sizeof获取原数组大小。 | 本身就是指针，传递的是指针值的副本。 |
二、代码示例与深入解析
1. 声明与初始化
int arr[5] = {1, 2, 3, 4, 5}; // arr 是数组名，代表一个有5个int的连续内存块 int *ptr = arr; // ptr 是指针变量，被初始化为指向arr的首元素（arr[0]）关键点：ptr可以重新指向其他地方（如ptr = &other_var;），但arr始终指向那个大小为5的int数组的起始位置，不能被改变。
2.sizeof运算的差异
#include <stdio.h> int main() { int arr[10]; int *p = arr; printf("sizeof(arr) = %zu ", sizeof(arr)); // 输出：40 (假设int为4字节，10*4=40) printf("sizeof(p) = %zu ", sizeof(p)); // 输出：4 或 8 (取决于系统位数) printf("sizeof(*p) = %zu ", sizeof(*p)); // 输出：4 (解引用后是int类型的大小) return 0; }注释：sizeof(arr)计算的是整个数组的大小，而sizeof(p)计算的是指针变量本身的大小。
3. 地址与指针运算
#include <stdio.h> int main() { int arr[3] = {10, 20, 30}; int *p = arr; printf("arr = %p ", (void*)arr); // 输出数组首元素地址 printf("&arr[0] = %p ", (void*)&arr[0]); // 同上 printf("p = %p ", (void*)p); // 同上，因为p指向arr[0] // 指针运算 printf("*(p+1) = %d ", *(p+1)); // 输出：20 (等价于arr[1]) // 数组名也可以用于指针运算（在表达式中会退化为指针） printf("*(arr+1) = %d ", *(arr+1)); // 输出：20 (等价于arr[1]) // 但以下操作有本质区别： // p++; // 合法：p现在指向arr[1] // arr++; // 非法！编译错误：数组名是常量，不能自增 // & 运算符的区别 printf("&arr = %p ", (void*)&arr); // 整个数组的地址，值与arr相同但类型是 int(*)[3] printf("&p = %p ", (void*)&p); // 指针变量p自身的地址（一个完全不同的地址） return 0; }4. 作为函数参数时的“退化”
#include <stdio.h> void func1(int arr_param[]) { // 形参声明为数组，但实际被编译器视为指针 // 警告：此处sizeof(arr_param)是指针的大小，不是原数组的大小！ printf("Inside func1, sizeof(arr_param) = %zu ", sizeof(arr_param)); } void func2(int *ptr_param) { // 形参声明为指针 printf("Inside func2, sizeof(ptr_param) = %zu ", sizeof(ptr_param)); } int main() { int my_arr[100]; func1(my_arr); // my_arr 退化为指向 int 的指针 func2(my_arr); // 同上 return 0; }说明：两种函数声明方式是等价的。在函数内部，无法通过参数得知原始数组的长度，通常需要额外传递一个长度参数。
三、从编译器角度理解区别
编译器在底层处理数组名和指针时有显著差异：
- 符号表信息：当声明一个数组（如
int arr[10];）时，编译器会在符号表中记录arr是一个大小为10 * sizeof(int)的内存区域的标签。而声明指针（如int *p;）时，符号表只记录p是一个指针类型的变量。 - 地址计算：对于数组访问
arr[i]，编译器生成的代码通常是*(arr的基地址 + i * sizeof(元素类型))。这个基地址在编译时通常是已知的常量。对于指针访问p[i]，编译器需要先从p所在的地址加载出它存储的地址值，然后再进行同样的偏移计算。这意味着指针访问通常多一次内存读取操作。 - 常量传播优化：由于数组名是常量地址，编译器可以进行更多优化，例如将
&arr[5]直接计算为常量地址。而指针的值可能在运行时改变，限制了此类优化。
四、常见误区与易错点
混淆
char str[]和char *str：char str1[] = "Hello"; // 在栈上分配一个数组，并将字符串常量复制进去。str1可修改内容。 char *str2 = "World"; // str2指向只读数据区的字符串常量。通过str2修改内容是未定义行为。 // str1[0] = 'h'; // 合法 // str2[0] = 'w'; // 可能引发运行时错误（如段错误）对二维数组名使用指针运算：
int matrix[3][4]; int (*p1)[4] = matrix; // 正确：p1是指向具有4个int的数组的指针 int **p2 = matrix; // 错误：类型不匹配！二维数组名不是二级指针。误用
sizeof：在函数内部，对作为参数传递进来的“数组名”（实已退化为指针）使用sizeof，得到的是指针大小，而非数组大小。这是常见的错误来源。
五、总结与最佳实践
| 场景 | 建议 |
|---|---|
| 需要知道数据集合大小 | 使用数组（或结构体包含数组），以便利用sizeof在定义域内获取完整大小。 |
| 需要动态内存分配或重指向 | 使用指针，配合malloc/free。 |
| 函数参数传递“数组” | 实际上总是传递指针。同时传递数组长度作为另一个参数。可以使用int arr[]或int *arr声明形参，前者更具可读性。 |
| 需要遍历元素 | 两者皆可。for(i=0; i<len; i++) arr[i]或for(p=arr; p<arr+len; p++)。前者通常更清晰。 |
| 定义字符串常量 | 若不需修改，使用const char *ptr = "literal";。若需修改，使用char arr[] = "literal";。 |
根本区别记忆口诀：数组名是地址常量，代表一块连续内存的起始标签；指针是地址变量，是一个可以存储和改变地址值的盒子。在大多数表达式中，数组名会隐式转换（退化）为指向其首元素的指针，但sizeof和&操作是例外，它们揭示了数组名的原始类型。
理解这些区别有助于避免内存访问错误、编写更高效的代码，并深入理解C语言的内存模型。
参考来源
- 嵌入式 C语言常见面试试题集锦
- C语言中数组名和指针的区别
- C语言中数组名和指针的区别及笔试题目
- 【c语言】数组名和指针的区别
- 从编译器角度分析C语言中数组名和指针的区别
- C语言指针与数组名,C语言指针和数组名区别