编译时能否确定无递归无自内存分配的C程序栈大小上限？

你的观点是完全正确的——这类程序的栈大小确实存在可在编译时确定的上限，以下通过具体示例和底层逻辑来证明：

核心逻辑支撑 #

栈的内存消耗主要来自三个部分：函数调用的返回地址、寄存器上下文保存、局部变量存储。

• 无递归意味着函数调用链是有限且固定的，不会出现无限嵌套调用导致栈持续增长；
• 不进行内存分配（这里特指不调用malloc/calloc等堆分配函数，且不使用运行时动态确定大小的栈变量），说明所有栈上的内存占用都是编译期可预知的固定值；
• 编译器可以通过静态分析遍历所有可能的函数调用路径，计算每条路径的栈帧总和，取最大值就是栈大小的上限。

具体示例验证 #

示例1：线性调用链程序 #

#include <stdio.h>

void func3() {
    char buf[1024]; // 栈上固定分配1KB
    puts("func3 running");
}

void func2() {
    int arr[512]; // 栈上固定分配2KB（int占4字节）
    func3();
}

void func1() {
    double data[256]; // 栈上固定分配2KB（double占8字节）
    func2();
}

int main() {
    func1();
    return 0;
}

这个程序的调用链是唯一的：main → func1 → func2 → func3。每个函数的栈帧大小都是编译期确定的，把所有栈帧的大小加起来（再加上少量调用上下文开销），就是整个程序的最大栈占用，这个值在编译时就能精确计算出来（大概5KB左右）。

示例2：多分支调用程序 #

#include <stdio.h>
#include <stdlib.h>

void pathA() {
    char large_buf[4096]; // 固定4KB栈占用
    puts("path A running");
}

void pathB() {
    int huge_arr[2048]; // 固定8KB栈占用（int=4字节）
    puts("path B running");
}

void branch(int choice) {
    if (choice > 0) {
        pathA();
    } else {
        pathB();
    }
}

int main() {
    int input = rand() % 2;
    branch(input);
    return 0;
}

虽然运行时会随机选择一条分支，但编译期编译器能分析出所有可能的调用路径：

• 路径1：main → branch → pathA，总栈占用约4KB+上下文
• 路径2：main → branch → pathB，总栈占用约8KB+上下文
  编译器只需要取两条路径的最大值（8KB+上下文），就是这个程序的栈大小上限，这个值同样在编译时就能确定。

为什么不存在反例？ #

要推翻这个观点，必须找到符合前提但栈大小无法编译期确定的程序，但这不可能：

• 如果程序用了变长数组（VLA，比如int buf[n];，n是运行时变量），那栈大小确实无法编译期确定，但这已经违反了“不进行内存分配”的前提——VLA属于栈上的动态内存分配行为；
• 无递归意味着调用链深度有限，编译器总能遍历完所有可能的调用路径，计算出最大栈占用。

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