C语言中如何清理调用栈直接返回main函数？

首先明确：goto无法跨函数跳转，所以没法直接用goto清理栈回到main函数，得换以下几种可行方案：

方案一：用异常机制（C++适用） #

在parsecommand中抛出自定义异常，main函数捕获后直接回到输入循环，栈会自动展开清理，不用手动逐层返回。

示例代码：

#include <stdexcept>
#include <iostream>

// 自定义异常，标记需要回到main循环
struct ConfigRestart : public std::exception {};

void parsecommand() {
    // 执行config配置逻辑，比如写入.txt文件
    std::cout << "配置完成，返回输入界面\n";
    // 抛出异常触发跳转
    throw ConfigRestart();
}

void parsefactor() {
    // 假设检测到输入是config，调用parsecommand
    parsecommand();
    // 后续逻辑不会执行，因为异常会向上传递
}

void parseterm() {
    parsefactor();
}

void parseexpr() {
    parseterm();
}

int main() {
    while (true) {
        std::cout << "请输入表达式或config命令：";
        try {
            parseexpr();
            // 如果是正常表达式，这里处理计算结果
        } catch (const ConfigRestart&) {
            // 捕获异常后直接进入下一次循环，重新提示输入
            continue;
        }
    }
}

方案二：用setjmp/longjmp（C语言适用） #

这是C语言里的非局部跳转机制，能直接跳转到之前标记的位置，同时自动清理栈帧。

示例代码：

#include <stdio.h>
#include <setjmp.h>

jmp_buf main_loop_point;

void parsecommand() {
    // 执行config配置，写入.txt文件
    printf("配置完成，返回输入界面\n");
    // 跳回main函数中setjmp标记的位置
    longjmp(main_loop_point, 1);
}

void parsefactor() {
    // 检测到config命令，调用parsecommand
    parsecommand();
}

void parseterm() {
    parsefactor();
}

void parseexpr() {
    parseterm();
}

int main() {
    while (true) {
        // 标记跳转点，第一次调用返回0，从longjmp跳回时返回1
        if (setjmp(main_loop_point) == 0) {
            printf("请输入表达式或config命令：");
            parseexpr();
            // 正常表达式的结果处理逻辑
        }
        // 从longjmp跳回后，直接进入下一次循环
    }
}

方案三：用全局标志位逐层返回 #

设置一个全局布尔标志，每个递归解析函数在返回前检查这个标志，一旦为真就立即返回，直到回到main函数。

示例代码：

#include <stdio.h>
#include <stdbool.h>

bool need_restart = false;

void parsecommand() {
    // 执行config配置逻辑
    printf("配置完成，返回输入界面\n");
    need_restart = true;
    return;
}

void parsefactor() {
    parsecommand();
    if (need_restart) return;
    // 其他factor解析逻辑
}

void parseterm() {
    parsefactor();
    if (need_restart) return;
    // 其他term解析逻辑
}

void parseexpr() {
    parseterm();
    if (need_restart) return;
    // 其他expr解析逻辑
}

int main() {
    while (true) {
        need_restart = false;
        printf("请输入表达式或config命令：");
        parseexpr();
        if (need_restart) {
            continue;
        }
        // 处理正常表达式的计算结果
    }
}

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