如何从堆栈中访问函数局部变量？

Question

来自http://www.learncpp.com/cpp-tutorial/79-the-stack-and-the-heap/

以下是函数执行时发生的步骤顺序 叫：

1. 函数调用之外的指令地址被压入堆栈。这就是 CPU 记住后去哪里的方式 函数返回。
2. 在堆栈上为函数的返回类型腾出空间。目前这只是一个占位符。
3. CPU 跳转到函数的代码。
4. 堆栈的当前顶部保存在称为堆栈帧的特殊指针中。
5. 在此之后添加到堆栈的所有内容都被视为函数的“本地”。
6. 所有函数参数都放在堆栈上。
7. 函数内部的指令开始执行。
8. 局部变量在定义时被压入堆栈。

我不确定第 6 点的工作原理。如果所有函数参数都放在堆栈上，它们是如何访问的？

例如，如果有三个参数a、b 和c，并像这样从顶部放置在堆栈上

| a |
| b |
| c |
|   |
 ...
|___|

现在当函数想要访问c 时会发生什么？ a 和 b 弹出了吗？

Answer 1

堆栈是一个隐喻堆栈。请记住它仍然是一个 RAM，因此您可以访问每个地址而无需弹出其余地址，如果您知道自己在寻找什么。

由于自动变量的大小在编译时是已知的 - 编译器为每个变量标记offset，偏移量由堆栈上的自动变量部分开始[或堆栈的头部，两者都是有效的，具体实现可能取决于架构]，并且它仅通过以下方式访问它们：start + offset 用于每个变量的偏移量。

Answer 2

不，他们不是。堆栈指针（通常是esp 注册表）指向a，esp+8h 指向b，esp+16h 指向c 等等。无需弹出a。

请注意，这是一个实现细节。你不应该担心这些。我给出的数字纯粹是理论上的，在某些架构上，降序地址被赋予后面的参数，而在另一些架构上则相反。无法保证会发生这种情况。

编辑：在我看来，这不是一个非常可靠的信息来源。它谈到堆栈和堆，但这些是实现细节，甚至可能不存在。

标准中也没有任何通过堆栈实现的限制。例如，我生成了以下代码：

void foo(int x, int y, int z)
{
01241380  push        ebp  
01241381  mov         ebp,esp 
01241383  sub         esp,0CCh 
01241389  push        ebx  
0124138A  push        esi  
0124138B  push        edi  
0124138C  lea         edi,[ebp-0CCh] 
01241392  mov         ecx,33h 
01241397  mov         eax,0CCCCCCCCh 
0124139C  rep stos    dword ptr es:[edi] 
    int c = x;
0124139E  mov         eax,dword ptr [x] 
012413A1  mov         dword ptr [c],eax 
    c = y;
012413A4  mov         eax,dword ptr [y] 
012413A7  mov         dword ptr [c],eax 
    c = z;
012413AA  mov         eax,dword ptr [z] 
012413AD  mov         dword ptr [c],eax 
}
012413B0  pop         edi  
012413B1  pop         esi  
012413B2  pop         ebx  
012413B3  mov         esp,ebp 
012413B5  pop         ebp  

所以你看，那里没有堆栈。运行时可以直接访问元素：dword ptr [x] 等。

Answer 3

它使用堆栈指针和一个相对地址来指出c。