std::unreachable在GCC 13+/Clang 14+/MSVC 19.35+且开启-O2或/O2及以上优化时才生效，-O0下无效；它仅在编译器能静态证明路径不可达时触发代码删除与分支剪枝。
std::unreachable 不是“加了就快”，而是“加对了才起效”——它只在编译器能静态确认路径不可达、且构建配置匹配时，才会真正删代码、省寄存器、剪分支。
std::unreachable 在哪些编译器和优化级别下才生效？
它不是语言层面的运行时机制，而是编译器后端的“剪枝信号”。不满足版本和开关条件时，std::unreachable() 就是一条空语句，连警告都不会有。
- GCC 13+ / Clang 14+ / MSVC 19.35+ 才提供标准
std::unreachable；旧版（如 GCC 12）可能识别但不触发控制流优化 - 必须开启
-O2（GCC/Clang）或/O2（MSVC）；-O1下 Clang 常忽略，-O0下全当没写 - 启用 LTO（
-flto）可让不可达性跨函数传播，但链接变慢，且需所有目标文件统一启用 - 用
g++ --version和readelf -S your_binary | grep text对比加/不加前后的代码段大小，是最直接的验证方式
switch 中用 std::unreachable 替代 default 的典型陷阱
这是最常见也最容易翻车的用法。编译器不检查你“是不是真覆盖了全部枚举值”，它只信你写的控制流图。
- 对
enum class使用时，必须确保所有命名值都被case显式列出；若后续新增枚举项但漏改switch，运行时遇到新值就会 UB（不崩溃，直接跳进未定义状态） - 对裸
int或未限定范围的输入（如用户读入、网络解析结果）滥用default: std::unreachable();—— 编译器无法证明其不可达，优化不会发生，反而埋下崩溃隐患 - 某些 clang-tidy 规则（如
bugprone-branch-clone）会把std::unreachable()当作“分支已完备”信号，跳过枚举完整性检查，掩盖真实遗漏 - 更安全的做法：先用
static_assert验证枚举值数量（配合std::to_underlying+ 数组大小），再在default中放std::unreachable()
std::unreachable 与 __builtin_unreachable 的实际差异
别把它当成纯语法糖。两者在模板实例化、调试信息、跨平台行为上差异明显。
立即学习“C++免费学习笔记（深入）”；
-
std::unreachable是 C++23 标准函数，声明在<utility>，类型安全，不污染全局命名空间；__builtin_unreachable是 GCC/Clang 扩展，MSVC 不支持，需宏封装（如#ifdef _MSC_VER ... #else __builtin_unreachable() ... #endif） - 在模板中，
std::unreachable()可参与 SFINAE（虽不推荐），而__builtin_unreachable()在非实例化模板里可能引发硬错误 - GDB 调试时，
__builtin_unreachable常被标记为 “no debug info”，GDB 直接跳过该行；std::unreachable更可能保留符号位置，便于定位“本不该到达却到达了”的现场 - 部分旧版 Clang 对
__builtin_unreachable的死存储（dead store）消除更激进；而早期std::unreachable实现可能被当作普通调用，延迟到链接时才处理
std::unreachable 不该出现在哪些地方？
它的作用边界很窄：仅用于编译器可静态证明不可达的路径。超出这个范围，就是拿未定义行为换虚假的“简洁”。
- 函数末尾无返回：比如
int f() { if (x) return 1; std::unreachable(); }—— 若x是运行时变量，编译器无法证明 else 不可达，优化无效，且违反函数必须有返回值的逻辑 - 异常处理路径：它不抛异常、不终止程序，不能替代
throw或std::abort()；放在catch(...)里等于自欺欺人 - 带副作用的上下文：如
default: log_error(); std::unreachable();——log_error()会被保留（有副作用），std::unreachable()仅提示后续无代码，但日志本身仍执行 - 任何依赖外部输入的判断分支：配置文件、环境变量、指针有效性检查等，都不能靠它“假装不可达”
真正起效的 std::unreachable 往往藏在高度受控的内部调度逻辑里：fully-covered enum class、无外部输入的模板元函数分派、编译期常量驱动的状态机。一旦路径涉及运行时不确定性，它就只是个危险的注释。
