c - 为什么函数会打印先前调用的函数中局部自动变量的值？

Question

#include<stdio.h>

void foo(void)
{
    int a=42;
}

void boo(void)
{
    int a;
    printf("%d\n",a);
}

int main()
{
    foo();
    boo();
}

为什么 boo 从 foo 打印出 a 的值？我阅读了有关执行堆栈和激活帧的解释，但我不明白。

Answer 1

这就是您的函数的调用方式^(a)。

                   stack
---------------------------------      call             return
---------------------------------
               |                |
earlier frame  | earlier frame  |
               |                |
---------------------------------
---------------------------------
               |                |                     (5) pop old %ebp to %ebp
               |----------------|
caller's frame | func arguments | (1) push args
               |----------------|
               | return address | (2) push ret-addr   (6) reset %esp here
---------------------------------
---------------------------------
               | old %ebp       | (3) push old %ebp   (4) reset %esp = %ebp
               |----------------|     reset %ebp here
               |                |
callee's frame | local variables|
               |                |
---------------------------------
---------------------------------

当函数返回时，其框架中的数据可能会保留。因此，在您的情况下，boo() 使用与 foo() 的旧数据相同的帧。

---

^(a) 标准中没有任何内容保证这一点，它只是对您的特定场景的最可能解释。