std::unreachable是C++23引入的编译器优化指令，仅在GCC 12+/Clang 14+/MSVC 19.32+且开启-O2/O3时触发死代码消除，用于标记编译器能静态证明不可达的路径，误用导致未定义行为。
std::unreachable 不是“兜底安全网”，而是编译器优化指令；写错就直接 UB，不报错、不警告、不崩溃，只悄悄跳进不可预测状态。
std::unreachable 什么时候真正起作用？
它只在满足全部条件时才触发死代码消除：GCC 12+ / Clang 14+ / MSVC 19.32+，且必须开启 -O2 或 -O3；-O1 通常无效，-O0 下等价于空语句。LTO（-flto）能增强跨函数传播效果，但链接变慢。
常见错误现象包括：std::unreachable() 后的代码仍出现在汇编里、switch default 分支没被剪掉、寄存器分配没变优——先核对 g++ --version 和构建参数，别急着改逻辑。
哪些场景敢用 std::unreachable？
仅限编译器能**静态证明不可能到达**的路径，典型如：
立即学习“C++免费学习笔记（深入）”；
- 枚举类（
enum class）全覆盖的switch的default分支，且该枚举无外部输入、无 RTTI 反射、无序列化反解 - 模板内部纯计算分支，比如
if constexpr (std::is_same_v<t int>) { ... } else { std::unreachable(); }</t> - 硬件抽象层中已知绝不会发生的中断向量（如某芯片文档明确定义 IRQ 5–7 永远保留未实现）
以下属于高危误用：switch(x) { case 0: ... case 1: ... default: std::unreachable(); } 中 x 是 int —— 编译器无法证明 x 不会是 2，运行时遇到即 UB。
为什么不能用 std::unreachable 替代 assert 或逻辑检查？
std::unreachable 和 assert 完全不同角色：assert 是运行时防御，std::unreachable 是编译时契约。后者在发布版依然生效，且不生成任何检查代码。
容易踩的坑：
- 把
std::unreachable当成“我确认这里没问题”的注释，结果枚举新增值后没同步更新switch，上线后偶发静默异常 - 静态分析工具（如
clang-tidy）看到std::unreachable就跳过枚举完备性检查，掩盖真实漏覆盖问题 - 调试时 GDB 可能跳过该行（尤其旧版 Clang），导致崩溃点难定位；而
std::unreachable相比__builtin_unreachable更可能保留符号信息
兼容旧编译器或跨平台怎么写？
标准库版本虽统一，但底层依赖编译器扩展：std::unreachable 在 GCC/Clang 调用 __builtin_unreachable，MSVC 调用 __assume(0)。旧版本需手动适配：
#if __cpp_lib_unreachable >= 202207L
std::unreachable();
#elif defined(__GNUC__) || defined(__clang__)
__builtin_unreachable();
#elif defined(_MSC_VER)
__assume(0);
#endif
注意：__builtin_unreachable 在某些 Clang 版本中会更激进地删除后续 dead store，而 std::unreachable 在早期实现中可能被当普通调用处理——性能表现不一致，别混用。
最麻烦的不是语法，是逻辑边界的绝对确定性：一旦你标记了不可达，就等于向编译器发出了“此处无须验证”的最终声明，它信了，你就再没回头路。
