CHM单1. 为什么C语言的数组和指针总让人困惑？
在C语言的世界里，数组和指针这对"孪生兄弟"让无数初学者甚至有一定经验的开发者都栽过跟头。我至今记得自己第一次遇到数组名被当作指针传递时的困惑——明明声明的是数组，怎么运行时却变成了指针？更让人抓狂的是，它们在某些场景下可以互换使用，但在另一些场景下又表现出截然不同的行为。
这种表面相似实则本质不同的特性，正是C语言设计哲学的精妙之处。理解它们的区别不仅关系到代码的正确性，更直接影响我们对计算机内存模型的理解深度。在实际工程中，我曾见过因为混淆二者导致的缓冲区溢出、内存泄漏等严重问题，也见证过正确运用它们带来的性能飞跃。
需要模型API调用？ 免费领10W Token，多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 内存视角下的本质差异
2.1 编译器的符号表记录
当我们在代码中声明int arr[10]时，编译器会在符号表中记录：
- 标识符：arr
- 类型：int[10]（包含长度信息的数组类型）
- 内存地址：假设为0x1000
而对于指针int *ptr，符号表记录则是：
- 标识符：ptr
- 类型：int*
- 内存地址：假设为0x2000（指针变量本身的地址）
- 存储的值：未初始化时为垃圾值
这个根本区别导致sizeof操作符对二者返回完全不同的结果：
c复制int arr[10];
int *ptr;
printf("%zu\n", sizeof(arr)); // 输出40（在32位系统上）
printf("%zu\n", sizeof(ptr)); // 输出4（指针变量的大小）
2.2 内存布局的物理差异
数组在内存中是连续的存储区域，以int arr[3] = {1,2,3}为例：
code复制地址 值
0x1000 [1] <- arr[0]
0x1004 [2] <- arr[1]
0x1008 [3] <- arr[2]
而指针的内存布局则分为两部分：
code复制指针变量本身：
0x2000 [0x3000] <- ptr存储的地址值
指针指向的内存：
0x3000 [?] <- *ptr指向的内容
关键提示：数组名在大多数表达式中会退化为指向首元素的指针，但这个"退化"过程不改变其类型本质。这是混淆的主要来源。