是否为数组变量分配内存以存储数组中第一个元素的地址？

Question

void func()
{
   int arr[5]={1,2,3,4,5};
   int variable = arr[1];       //variable will be set to 2
}

当执行该程序时，将在虚拟地址空间的堆栈区域中分配相当于5个整数的连续内存，如下所示为5个整数的数组。

   +---+
   |   | a[0]
   +---+ 
   |   | a[1]
   +---+
   |   | a[2]
   +---+
   |   | a[3]
   +---+
   |   | a[4]
   +---+

在数组变量arr 本身分配的虚拟地址空间（代码/数据/堆栈/堆段）中是否有空格而不是5个整数数组？

如果未分配，则

考虑代码片段 - int variable = arr[1];，它将由编译器转换为*(arr+1)，并将出现在地址空间的代码段中，即只读。

在每个函数调用arr期间，arr如何计算到数组func的起始地址？由于每次调用该函数时，调用堆栈的地址都可能发生变化，因此数组arr的地址也会发生变化。 因此，如果没有为数组变量arr提供单独的空间，那么如何实现呢？

Answer 1

  

在每个函数调用arr期间，arr如何计算到数组func的起始地址？

在x86架构上的典型实现中，arr的位置将取决于堆栈指针（esp）或帧指针（ebp），即：它将通过应用固定偏移量按照其中一个指针寄存器进行定义。

对func()的每次调用可能有所不同的是这些指针寄存器的值，而不如何定义arr的术语那些（即：固定的偏移量）。

Answer 2

在编译器构造中有一个叫做符号表的东西。符号表存储名称arr和地址（可以是基于进程的地址空间的偏移量）。然后，只要编译器看到此arr[1]，它就会生成必要的汇编代码，以便从MOV表示的内存地址中获取LOAD或*(arr+1)指令。 +1的算法由编译器确定它指向的类型来完成。符号表用于保存变量的内存地址信息。 （例如： - 在函数的情况下，分配给它的堆栈帧决定了我们用arr的名称指定的连续内存的起始地址是什么 - 这就是为什么它会也可以改变，因为分配给某个功能的内存在每次调用时都会有所不同。）