std::unreachable()是c++23引入的编译器优化提示，用于标记逻辑上绝不会执行的代码路径；它无参数、不运行时检查，仅在-o2/o3下生效，误用将导致未定义行为。
std::unreachable 用来告诉编译器“这段代码绝不会执行”
它不是运行时函数，不抛异常、不终止程序，纯粹是给编译器的提示信号。当你能**逻辑上证明某分支不可能进入**（比如 switch 覆盖了所有枚举值，但编译器没推出来），加 std::unreachable() 就能让它删掉对应汇编块、省寄存器、甚至帮其他分支做更激进的优化。
不加 std::unreachable 时编译器常保留“死代码”
常见错误现象：明明 enum class E { A, B }; 只有两个值，switch(e) 里写了 case A: 和 case B:，却仍生成默认分支的跳转或兜底指令（比如 x86 的 ud2 或 arm 的 brk）。这不是 bug，是编译器保守——它没做全域控制流分析，也不信任你“已穷尽所有情况”。
- 使用场景：枚举
switch缺少default、模板特化后静态断言失败路径、assert(false)被禁用后的 fallback 分支 - 参数差异：它没有参数，调用即生效；不能放在返回语句之后（语法错误），也不能在 constexpr 函数里用（C++23 允许，但 GCC 13/Clang 16 前可能不支持）
- 性能影响：对 -O2/-O3 有效，-O0 下基本无作用；某些嵌入式平台（如 ARM Cortex-M）启用后可减少几字节指令大小
容易踩的坑：把它当 assert 或 abort 用
std::unreachable() 不检查条件，不输出信息，不触发调试器中断。如果实际跑到了那里，行为是未定义的（UB）——可能静默跳过、崩溃、或产生任意结果。它只适用于你**绝对确定不会到达**的位置。
- 别写
if (x —— 改用 <code>assert(x >= 0)或throw std::logic_error(...) - 别在头文件里裸用（尤其模板中），确保所有 TU 都看到 C++23 标准库声明；需包含
<utility></utility>，且编译器要开-std=c++23 - Clang 会把
std::unreachable()编译成__builtin_unreachable()，GCC 类似；但 MSVC 2022 17.5+ 才真正支持，旧版会报错
和 __builtin_unreachable / __assume(0) 的关系
它本质是标准化的 __builtin_unreachable。以前只能靠编译器内置扩展，现在统一了接口。但注意：__assume(0)（MSVC）语义不同——它是向优化器“假设条件为假”，而 std::unreachable() 是直接声明“此处不可达”，后者更严格、更易被利用。
立即学习“C++免费学习笔记（深入）”；
如果你的项目还要兼容 C++20，目前没替代方案，只能继续用编译器扩展或留空 return;（但会抑制优化）。
