C/C++：作用域块结束后栈内存是否释放？buffer2能否分配？

在C/C++中，栈上的局部变量（比如示例里的buffer1）所占用的内存空间，会在其所在的作用域块（大括号{}包裹的范围）执行完毕后被标记为可复用，不需要等到整个函数结束才释放。

以你给出的代码为例：

void function(void)
{
    {
        uint8_t buffer1[80];
        // 操作buffer1
    } // 此处buffer1的作用域结束，它占用的80字节栈空间被释放，回到空闲状态
    {
        uint8_t buffer2[80];
        // 操作buffer2
    }
}

当第一个内部作用域结束后，buffer1占用的80字节栈空间就会被释放，所以第二个作用域里的buffer2完全可以复用这部分空间——也就是说，即使函数一开始只有100字节的空闲栈空间，也足够容纳buffer2，因为两个缓冲区不会同时占用栈空间。

需要注意：栈内存的“释放”只是栈指针回退，标记这段空间可被后续变量覆盖，并不会主动清空原有数据。如果后续没有新变量占用，buffer1的残留数据可能还在，但这属于未定义行为，绝对不能依赖这种残留值。

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