goto语句是否存在无法替代的使用场景？求C++等语言示例

虽然现代编程理念普遍不推荐滥用goto，但确实存在一些场景，goto的写法要么比替代方案更简洁可靠，要么在极端情况下几乎没有更优的替代方式，尤其是在C++的底层或遗留代码中：

1. 多层资源分配的统一错误清理 #

在没有RAII（比如早期C风格的C++代码，或受限环境下不能使用类）的场景中，当需要分配多个依赖资源时，一旦某一步失败，需要依次释放已分配的资源。用goto可以跳转到统一的清理分支，避免重复编写释放逻辑，降低漏写的风险。

示例代码：

bool init_multi_resources() {
    void* buf1 = malloc(1024);
    if (!buf1) goto cleanup;

    int* arr = new(std::nothrow) int[2048];
    if (!arr) goto cleanup_buf1;

    FILE* fp = fopen("data.txt", "r");
    if (!fp) goto cleanup_arr;

    // 所有资源初始化完成，执行业务逻辑
    return true;

cleanup_arr:
    delete[] arr;
cleanup_buf1:
    free(buf1);
cleanup:
    return false;
}

如果不用goto，就得在每个失败分支里重复写free(buf1)、delete[] arr这类代码，资源越多，重复代码越多，出错概率越高。虽然RAII是现代C++的标准解决方案，但在一些不允许使用类的底层场景（比如内核驱动片段），goto几乎是最优选择。

2. 多层嵌套循环+多分支异常处理 #

当需要在多层嵌套循环中，根据不同的异常条件直接跳出到对应处理逻辑时，goto可以让代码逻辑更直观，避免使用多个标志变量带来的冗余检查。

示例代码：

void parse_matrix(int** matrix, int rows, int cols) {
    for (int i = 0; i < rows; i++) {
        for (int j = 0; j < cols; j++) {
            if (matrix[i][j] < 0) {
                goto negative_error; // 负数错误跳转
            }
            if (matrix[i][j] > 255) {
                goto range_error; // 超出范围跳转
            }
            // 正常解析逻辑
        }
    }
    return;

negative_error:
    printf("Invalid negative value at (%d, %d)\n", i, j);
    return;

range_error:
    printf("Value out of range at (%d, %d)\n", i, j);
    return;
}

如果用替代方案，需要定义多个布尔标志（比如has_neg_error、has_range_error），然后在每层循环末尾检查标志并逐层跳出，代码会变得繁琐且可读性下降。

3. 底层硬件交互的精确控制流 #

在嵌入式或内核级的C++代码中，有时候需要直接控制执行流跳转到特定的代码段（比如硬件中断处理的收尾逻辑、特定寄存器操作后的跳转），goto可以直接映射为汇编的跳转指令，没有额外的编译开销，而用循环、条件判断等结构可能会引入不必要的指令，甚至无法精确匹配硬件要求的执行路径。

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