为何重新声明buf后，其数据仍能在下次循环迭代中保留？

你的疑问核心是：作为if块的局部变量，buf在离开块后应该销毁，为什么每次重新进入时内存地址都一样？是不是只能算“侥幸”？

先看你的代码：

#include <stdio.h> 
int main() 
{ 
    int i=0, j=0, k=0; 

    while(3 > j) 
    { 
        if(2 > j) 
        {
            char buf[10]; 
            if (0 == j) 
            { 
                for(k=0; k<10; k++) 
                { 
                    buf[k] = 48 + k; 
                }
            } 
            puts(buf); 
        }               // line 28
        j++; 
    } 
    return 0; 
}

原因解析 #

局部变量（比如这里的buf）是在栈内存上分配的。栈的工作方式类似“栈帧堆叠”：

1. 当程序进入if块时，栈指针会向下移动，为buf腾出10字节的空间；
2. 当离开if块（第28行），栈指针会向上回退，释放这块空间——但注意，栈只是“标记”这块空间可用，并不会清空内存内容，也不会改变这块空间的物理地址；
3. 你的循环逻辑里，离开if块后只执行了j++，没有其他会改变栈状态的操作（比如调用其他函数、分配其他局部变量），所以下次进入if块时，栈指针刚好又指向了之前的位置，给buf分配了完全相同的地址。

关键结论：绝对不能依赖这个现象 #

C语言标准没有任何规定要求局部变量每次创建时必须分配不同的内存地址。这种地址重复只是编译器在特定场景下的常规行为，只要代码或编译环境有一点变化，地址就可能不同：

• 开启更高等级的编译优化（比如-O2）可能改变栈的分配逻辑；
• 在if块前后添加其他局部变量、函数调用，会占用栈空间，导致buf的地址变化；
• 更换编译器（比如从GCC换成MSVC），栈分配策略可能完全不同；
• 甚至程序运行时的其他栈操作（比如多线程场景）也会干扰栈的位置。

另外还要注意：你代码中当j=1时，buf未初始化就调用puts，这属于未定义行为——虽然当前因为地址相同可能打印出j=0时的内容，但这完全是不可靠的，标准不保证任何结果，必须避免这种写法。

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