std::unreachable() 仅在c++23标准库可用、编译器版本达标（gcc 13+/clang 14+/msvc 19.35+）且启用-o2及以上优化时生效，否则可能被忽略或退化为普通调用。
std::unreachable 什么时候真正起作用？
它不是写完就优化，必须同时满足三个条件：C++23 标准库可用（std::unreachable 定义在 <utility></utility>）、编译器版本达标（GCC 13+ / Clang 14+ / MSVC 19.35+）、且构建时启用 -O2 或更高优化级别。低于 -O2（比如 -O1）时，Clang 可能完全忽略它；-O0 下多数编译器只当空语句处理，既不报错也不删代码。
旧版本编译器（如 GCC 12、MSVC 19.32）即使识别 std::unreachable，也可能只当作普通函数调用，不触发控制流剪枝。此时必须退回到 __builtin_unreachable()（GCC/Clang）或 __assume(0)（MSVC），并用宏封装。
用在 switch default 分支前，为什么容易出 UB？
常见误用是把 std::unreachable() 当作“我确认没漏 case”的注释，但编译器只看控制流图，不验证业务逻辑。以下情况会直接导致未定义行为：
- 枚举扩展后未同步更新
switch：比如enum class E { A, B };后来加了C，但switch没补case E::C:，运行时传入E::C就跳进std::unreachable() - 对非枚举整型滥用：
switch(x) { case 0: ... case 1: ... default: std::unreachable(); }，若x == 2，行为未定义，且编译器通常不警告 - 静态分析工具（如
clang-tidy）可能因看到std::unreachable()就跳过枚举完备性检查，反而掩盖真实漏洞
安全做法是：仅用于 enum class 且所有值已显式列出的 switch，再配合 -Wswitch-enum（GCC/Clang）或 /we4061（MSVC）强制检查；必要时加 static_assert 验证枚举值数量与 case 数量一致。
和 abort()、__builtin_unreachable() 的关键区别
std::unreachable() 的核心价值是「零开销 + 可移植」，但它不等于运行时兜底：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
abort()会生成实际调用、触发 sanitizer、留下栈帧，即使-O3也删不掉；std::unreachable()在优化后常被彻底删除，汇编里不留痕迹 -
__builtin_unreachable()是 GCC/Clang 扩展，MSVC 不认；std::unreachable()是标准函数，模板中可参与 SFINAE（虽然不推荐），且调试符号更可能保留，GDB 崩溃时能定位到该行 - 它无副作用、不抛异常、不修改寄存器，编译器可据此做激进优化（如合并基本块、消除冗余分支预测逻辑）
注意：它不提供编译期完备性保证——漏写 case 不报错，只等运行时 UB。
实际能优化什么？看一个汇编级效果
假设你有这段代码：
int f(int x) {
switch (x) {
case 1: return 10;
case 2: return 20;
default: std::unreachable();
}
}
在 -O2 下，GCC 13+ 可能生成类似这样的 x86-64 汇编：
f:
cmp edi, 1
je .L2
cmp edi, 2
je .L3
ud2 # 触发非法指令，而非跳转或 call
.L2:
mov eax, 10
ret
.L3:
mov eax, 20
ret
关键点：ud2 指令体积小、执行即崩溃，比 call abort 省至少 5 字节；更重要的是，编译器省去了为 default 分支预留寄存器保存/恢复、分支预测 hint 等开销。这种收益在 tight loop 或中断处理路径中会被放大。
真正容易被忽略的是：它依赖编译器对整个控制流的静态证明能力。如果你在 std::unreachable() 前写了 cout ，哪怕后面永远执行不到，编译器也可能因副作用无法删除整条路径——所以它前面不能有任何可观测操作。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
