栈内存何时会被重分配？局部数组出作用域后指针能否安全使用？

栈内存的“重分配”本质上是栈空间的复用或扩展，常见场景有这些：

• 函数调用/返回时：调用新函数会创建新栈帧，若当前栈剩余空间不足，系统会扩展栈的总大小（栈有上限，超过会触发栈溢出）；函数返回后，其栈帧会被标记为可用，后续的函数调用、局部变量声明会直接复用这块空间，这是最常见的栈内存重分配场景。
• 函数内声明大尺寸局部变量时：如果当前栈帧剩余空间不足以容纳新的大数组、复杂结构体等变量，系统会在栈上限范围内扩展栈空间。
• 编译器优化导致的复用：在同一个函数的不同代码块中，编译器可能让生命周期不重叠的局部变量共用同一块栈内存，这属于编译期的栈内存重分配。

结论很明确：绝对不能安全使用pc，这属于C语言中的未定义行为。

先看你的代码：

int fun(){
    char* pc = NULL;
    {
        char ac[100] = "addjfidsfsfds";
        pc = ac;
    }
    ...
    pc[0] = 'd';
    printf("%s\n", pc);
    ...
}

当ac所在的代码块执行完毕后，ac作为栈上的局部变量，生命周期直接结束——它占用的栈内存只是被标记为“可用”，不会被主动清空，但已经不属于任何有效的变量了。此时pc指向的是一块完全失效的内存区域。

你担心的“编译器是否会重分配这块内存”根本不用纠结：编译器完全有权这么做，而且后续任何操作（比如调用其他函数、声明新的局部变量）几乎都会复用这块栈空间。有时候运行这段代码看起来正常，只是因为这块内存还没被覆盖，但这纯属于运气，不是程序的正确行为。

举个简单的例子：如果在pc[0] = 'd'之前调用一个打印函数，那个函数的栈帧很可能会覆盖ac原来的内存，这时候你修改pc[0]就会破坏其他变量的数据，甚至直接导致程序崩溃。

这种写法是严格禁止的，绝对不能依赖栈上已失效的内存区域。

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