C语言数组名是否分配独立内存？p=a赋值机制探究

在C语言函数内声明数组时，比如：

int a[] = {1,2,3,4};

栈段会分配一块连续内存来存储数组元素，假设起始地址是1000，内存布局如下：

1000
 |
 v
+--+--+--+--+
|1 |2 |3 |4 |
+--+--+--+--+

如果定义一个整型指针：

int *p;

可以通过两种方式给指针p赋值：

p = &a[0];

或者

p = a;

p = &a[0];的含义很直观：a[0]是数组a的第0个元素，&a[0]取它的地址，再把这个地址赋值给指针p。

而p = a;看起来是把数组a的地址赋值给p，这很容易让人误以为数组名a是一个存储了数组起始地址的变量——那数组名a到底会不会被分配单独的内存来存这个起始地址？如果会，存在哪个内存段？如果不会，p=a这条语句又是怎么工作的？

核心结论：数组名不会占用单独内存 #

数组名不是一个存储了起始地址的变量，它不会被分配额外的内存空间。数组名本质上是一个编译期的常量符号，代表数组首元素的地址。

解释p = a的工作原理 #

当编译器遇到p = a;这条语句时，会自动把数组名a转换成数组首元素的地址（也就是&a[0]），然后把这个地址值赋值给指针变量p。这个转换是编译器在编译阶段完成的，不是运行时从某个内存位置读取地址。

换句话说，a在代码里只是一个“符号标记”，编译器知道它对应的是数组首元素的地址，所以直接把这个地址值写入到赋值语句的机器码中，不需要额外的内存来存储这个地址。

内容的提问来源于stack exchange，提问作者Darshan L