能用但绝大多数场景下不该用；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 警告。
立即学习“C++免费学习笔记（深入）”；
- 替代
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，而是删掉整段重写。
