能用但绝大多数场景下不该用；C++标准未废弃goto，它合法且被编译器支持，但破坏可读性与可维护性，仅适用于错误清理、多层跳出等极少数底层场景。

goto 语句在 C++ 中到底能不能用

能用，但绝大多数场景下不该用。C++ 标准从未废弃 goto，它仍是合法语法，编译器完全支持；但它破坏控制流的可读性与可维护性，现代 C++ 工程中几乎只保留在极少数底层、错误处理或生成代码的上下文中。

真正合理的使用场景：错误清理与多层跳出

最被广泛接受的用途是模拟“多级 break”——当嵌套循环或资源分配后发生错误，需统一释放并跳转到 cleanup 块。Linux 内核、某些驱动或高性能库（如 FFmpeg）仍有这类写法。

常见错误现象：break 只能跳出一层循环，return 会提前退出函数，而有些初始化逻辑必须在函数末尾统一收尾（比如 close fd、free memory、unlock mutex）。

• 必须配合标签（label）使用，标签名后跟冒号，且作用域为当前函数内
• 跳转目标必须在同一个函数中，不能跨函数或进入局部变量定义之前（否则触发编译错误：jump to label 'xxx' crosses initialization of 'yyy'）
• 建议只用于向后跳转（即 goto 出现在标签之前），避免形成难以追踪的控制流回环

int init_resource() {
    int *p = nullptr;
    int fd = -1;
    p = new int[100];
    if (!p) goto fail;

    fd = open("/dev/xxx", O_RDONLY);
    if (fd < 0) goto fail;

    return 0;

fail:
    delete[] p;
    if (fd >= 0) close(fd);
    return -1;
}

哪些情况绝对不要用 goto

用 goto 替代循环、条件分支或模拟状态机，属于典型误用。编译器无法做有效优化，静态分析工具（如 Clang-Tidy、PC-lint）会直接报 cppcoreguidelines-avoid-goto 警告。

• 替代 for 或 while：会导致 loop variable 生命周期混乱、迭代逻辑不可见
• 实现状态跳转（如 parser 的 state machine）：应改用 enum + switch 或状态类封装
• 跨作用域访问局部变量：例如跳进一个 { ... } 块内部，或跳过 std::string s("hello") 的构造
• 在模板或 constexpr 函数中使用：C++20 起 goto 在 constexpr 函数中非法

替代方案比你想象中更直接

多数所谓“需要 goto”的场景，其实只需拆函数、用 RAII 或异常处理即可解决。比如资源管理，优先用 std::unique_ptr、std::fstream、std::lock_guard 等自动析构对象；错误传播优先用 std::expected（C++23）或异常（若项目允许）。

真正棘手的是那些不允许异常、禁止堆分配、又必须手动管理多个异构资源的裸金属或嵌入式环境——这时候 goto 不是偷懒，而是权衡后的务实选择。

最容易被忽略的一点：即使决定用 goto，也要确保每个标签名语义清晰（如 fail_fd、fail_mem），且所有跳转路径对资源释放的顺序和完整性有明确约定。否则几年后别人维护时，第一反应不是修 bug，而是删掉整段重写。