关于C函数中局部变量（含if块内）栈空间分配时机的疑问

在仅使用栈存储局部变量的前提下，局部变量的栈空间分配时机没有统一标准答案，完全取决于编译器的实现和优化策略，常见两种行为：

1. 函数进入时一次性预留所有空间 #

多数主流编译器（比如GCC默认优化级别）会选择在函数刚进入时，就一次性为所有局部变量（包括条件块、循环块内定义的变量）预留栈空间。这么做的核心原因是效率：栈指针的一次批量调整，比多次零散的push/pop操作开销更小。

这种情况下，即便if条件不成立，块内变量的栈空间也会提前被预留，不存在进入块时分配、离开时释放的操作。

2. 按需分配栈空间 #

如果编译器开启了空间优先的优化（比如GCC的-Os选项），或者针对栈资源紧张的嵌入式平台，会采用按需分配的策略：只有当代码执行进入变量所在的代码块（比如if条件为真进入块内）时，才调整栈指针分配对应变量的空间；当离开代码块时，再把栈指针回调释放空间。

这种场景下，push/pop类操作仅在进入和离开块时执行，未进入块的话，对应变量不会占用栈空间。

示例代码参考 #

void demo(int cond) {
    int global_in_func = 0;
    if (cond) {
        int local_in_if = 1;
        // 使用local_in_if
    }
    // 使用global_in_func
}

• 默认优化下：函数启动时就为global_in_func和local_in_if同时分配栈空间；
• 空间优化下：仅当cond为真时，才为local_in_if分配栈空间。

需要注意的是，C语言标准从未规定栈空间的分配时机，以上都是编译器的实现选择。

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