std::unreachable是c++23引入的编译器优化提示，需gcc 12+/clang 14+/msvc 19.35+并启用-c++23；它非运行时检查，不抛异常、零开销，仅在静态确认不可达时安全使用。
std::unreachable 为什么不能在所有编译器上直接用
std::unreachable 是 C++23 标准引入的函数，用于显式标记“此处逻辑上不可达”。但它不是所有编译器默认启用的——GCC 12+ 和 Clang 14+ 才开始支持，且需开启 -std=c++23（或 -std=gnu++23），MSVC 则从 19.35（VS 2022 17.5）起支持。若用旧标准（如 c++17）编译，会报错：error: 'unreachable' is not a member of 'std'。
常见误操作是只改了语言标准却忘了检查编译器版本，或者在跨平台项目中未加特征检测。建议先确认：
- Clang：运行
clang++ --version，确保 ≥14 - GCC：运行
g++ --version，确保 ≥12 - MSVC：检查
_MSC_VER >= 1935
std::unreachable 的典型使用场景和替代写法
它适用于明确已覆盖全部枚举分支、或断言后仍需终止路径但又不想抛异常/调用 abort() 的地方。比如 switch 处理 enum class 时漏了 default，又不想让编译器警告“not all control paths return a value”。
示例：
enum class Color { Red, Green, Blue };
std::string to_string(Color c) {
switch (c) {
case Color::Red: return "red";
case Color::Green: return "green";
case Color::Blue: return "blue";
default: std::unreachable(); // C++23
}
}
若暂不支持 C++23，可用以下替代（效果相近但语义弱）：
-
__builtin_unreachable()（GCC/Clang） -
__assume(false)（MSVC） -
[[noreturn]] void unreachable() { std::abort(); }（可移植但有开销）
std::unreachable 不等于 assert(false)，更不等于 throw
std::unreachable 是编译器优化提示，不是运行时检查。它告诉编译器：“这段代码绝不会执行”，从而允许移除后续死代码、优化寄存器分配，甚至影响内联决策。而 assert(false) 在 NDEBUG 下被剔除，throw 引入异常路径和栈展开开销。
关键区别：
- 它不抛异常，不调用任何函数（无栈展开，零开销）
- 它不依赖运行时条件，哪怕在 constexpr 函数里也可用（只要路径真不可达）
- 若实际执行到该调用（比如因 UB 导致控制流意外跳转），行为是未定义的——编译器有权生成任意指令（包括 nop、ud2、甚至直接删掉整块代码）
容易踩的坑：别在可能被调用的地方放 std::unreachable
最常见错误是把 std::unreachable() 放在看似“不可能”但实际可能触发的路径里，比如：
- 未处理
std::variant的std::holds_alternative为 false 的情况，就直接跟std::unreachable() - 在模板特化分支中，靠 SFINAE 排除某些类型，但没写全特化，导致实例化失败前已进入该分支
- 在调试构建中关闭了优化（
-O0），某些编译器可能不生成unreachable指令，反而让程序跑下去——这时你指望它拦住 bug，结果它沉默失效
真正安全的前提只有一个：编译器静态分析能 100% 确认该路径永不进入。否则宁可保留 std::terminate() 或日志 panic。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
