C语言自动变量替代static实现协程：地址复用是否可靠？

把static int i改为自动变量int i后，程序仍能输出0到9只是巧合，这种行为完全不可靠，属于C标准中的未定义行为。

原代码的可靠逻辑 #

原代码中，i和state都是static变量，存储在静态存储区，生命周期贯穿整个程序运行期间。每次调用function时：

• 第一次从LABEL0进入，初始化i=0，设置state=1后返回0
• 后续调用通过state=1跳转到LABEL1，继续执行for循环，i的取值会因为static特性保留上次的值，所以能依次返回1到9

修改后代码的问题根源 #

当i改为自动变量后，它存储在函数的栈帧中，生命周期仅在函数执行期间有效：

1. 第一次调用返回时，函数栈帧被销毁，i的内存区域不再属于该函数的有效作用域，其值已经没有意义
2. 第二次调用时，函数重新创建栈帧，此时state=1会直接跳转到LABEL1，继续执行for循环的后续逻辑
3. 你看到的连续输出0-9，只是因为两次调用的栈帧恰好复用了同一块内存区域，i的内存里残留了上次的值。但这是编译器和运行环境的巧合，不是标准规定的行为

为什么这种行为不可靠？ #

• 栈内存可被任意覆盖：如果在两次调用function之间调用了其他函数（比如printf、或者任何占用栈空间的函数），栈上的i所在内存会被新的数据覆盖，下次跳转回来时i的值会完全不符合预期
• 编译优化会破坏行为：开启编译器优化（比如-O2）后，编译器可能会把i分配到寄存器中，或者直接优化掉这个变量，导致程序运行逻辑彻底混乱
• C标准明确禁止：引用生命周期结束的自动变量属于未定义行为，编译器可以产生任何结果——包括看起来正常运行、输出错误值、甚至程序崩溃，所有这些都是合法的，完全不可预测

验证不可靠性的例子 #

比如在两次调用function之间插入一个占用栈空间的函数：

void dummy() {
    char buf[100];
    memset(buf, 0, sizeof(buf));
}

int main() {
    for (int j=0; j<10; j++) {
        printf("%d ", function());
        dummy(); // 插入这个函数，破坏栈内存
    }
    return 0;
}

此时输出大概率不再是连续的0-9，而是随机值或者错误结果。

正确的做法 #

如果要基于C实现协程，必须确保状态变量的生命周期能覆盖协程的整个执行过程：

• 继续使用static变量存储所有需要保留的状态（比如原代码中的i和state）
• 或者把状态变量放在堆内存中（比如用malloc分配，手动管理生命周期）
• 优先使用C20标准提供的协程特性，或者成熟的协程库

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