C语言中不同函数的不同变量为何共享同一内存地址？代码运行结果异常原因咨询

首先咱们先看你的代码和实际输出：

#include <stdio.h>
void s1() {
    int a;
    a++;
    printf("%d ",a);
}
void s2() {
    int aa;
    aa++;
    printf("%d ",aa);
}
int main() {
    int i = 0;
    for(i = 0; i < 10; i++) {
        s1();
    }
    for(i = 0; i < 10; i++) {
        s2();
    }
    return 0;
}

输出结果：1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20

接下来咱们逐个拆解你的问题：

问题1：为何C语言中两个不同函数内的不同变量会共享同一内存地址？ #

这背后是栈内存的复用机制在起作用：

• C语言里没有static修饰的局部变量（比如s1里的a和s2里的aa）属于「自动变量」，它们的内存来自程序的栈空间。
• 当调用一个函数时，系统会在栈上开辟一块专属的「栈帧」，用来存放这个函数的局部变量、返回地址、寄存器备份等数据。函数执行完毕返回后，栈帧并不会被主动清空——系统只是把栈指针往回移动，标记这块内存为“可用”，但内存里原来的数据还留在原地。
• 因为s1和s2都是无参数、内部只有一个int类型局部变量的函数，它们的栈帧大小完全一致。当s1的10次调用全部完成后，栈指针回到了调用前的初始位置；此时调用s2，系统会在同一个栈位置开辟新的栈帧，aa自然就和之前s1里的a共用了同一内存地址。

问题2：为何第二个函数中的变量aa会沿用第一个函数中变量a的值？ #

这本质是未初始化自动变量的未定义行为，只是在这个特定场景下出现了看起来有规律的结果：

• C语言明确规定，未显式初始化的自动变量的值是未定义的——标准不保证它的值是什么，可能是随机垃圾值，也可能是之前留在内存里的遗留数据。
• 在你的代码里，每次调用s1时，a都会复用同一个栈地址：第一次调用时，这个地址的初始值碰巧是0（可能是程序启动后栈的初始状态），a++后变成1并输出；第二次调用s1时，这个地址里还存着上次的1，a++变成2，以此类推直到第10次输出10。
• 当开始调用s2时，aa复用了同一个栈地址，此时地址里的数值是10，aa++变成11输出，之后每次调用s2都会复用这个地址，数值也就顺着11一直递增到20。

⚠️ 重要提醒：这种行为绝对不能依赖！不同的编译器、编译优化级别、操作系统甚至同一程序的不同运行次数，都可能导致完全不同的结果。比如如果在两个for循环中间插入另一个函数调用，栈内存就会被改写，aa的初始值就不是10了。正确的做法永远是显式初始化局部变量。

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