std::unreachable() 是 c++23 引入的无返回、无副作用的标准化契约函数，告知编译器某路径逻辑上不可达，从而启用激进死代码消除；它非运行时断言，误用于运行时条件将导致未定义行为。
std::unreachable() 是什么，它不抛异常也不返回
std::unreachable() 是 C++23 引入的无返回值、无副作用的函数声明（定义在
它和 __builtin_unreachable()（GCC/Clang）或 __assume(0)（MSVC）作用类似，但标准化、跨平台、无需宏。
它如何让编译器删掉死代码？
当编译器在控制流分析中确认某分支必然走向 std::unreachable()，它就能安全地将该路径后的所有代码（包括前面的条件判断、变量初始化、甚至整个 if 分支）当作死代码移除。关键在于：这个优化依赖于**编译器能证明该调用点确实不可达**，而不是靠程序员“说说而已”。
常见有效场景：
立即学习“C++免费学习笔记（深入）”；
- 枚举 switch 的 default 分支，且已穷举所有枚举值（配合
[[fallthrough]]或static_assert确保完整性） - 模板特化中不可能进入的 fallback 分支
- 类型检查后明知为 false 的守卫（如
if constexpr (!std::is_same_v）) { std::unreachable(); }
反例：若编译器无法证明 std::unreachable() 必然执行（比如它藏在运行时条件里），则优化不会发生，甚至可能因违反契约导致 UB —— 例如：
if (x > 0) { /* ... */ } else { std::unreachable(); } // x 是运行时变量 → 错误！和 assert(false) / abort() 的核心区别
assert(false) 和 std::abort() 是运行时行为：它们生成实际指令，会增加代码体积、干扰内联、阻止某些跨基本块优化（如常量传播穿透）。而 std::unreachable() 告诉编译器“这里根本不存在”，效果更激进：
- 编译器可删除整条路径上的寄存器分配、栈帧调整、甚至前置的 load 指令
- 能提升
constexpr求值成功率（避免因 abort 导致非字面类型） - 不影响运行时性能 —— 它不生成任何机器码（优化开启时）
示例对比（-O2）：
int f(int x) { if (x == 42) return 1; std::unreachable(); // 编译器直接删掉 if 判断，生成：mov eax, 1; ret }而用 abort() 会保留跳转逻辑，并插入调用指令。
容易踩的坑：别把它当运行时断言用
最常见误用是把它放在运行时条件分支里，指望它“报错并优化”。这是危险的：
- 若条件为真，程序会 UB（C++23 标准规定：到达
std::unreachable()调用点即未定义行为） - 若条件为假，编译器又无法证明其假，优化就失效，白加一行
- 调试构建下它不提供任何诊断信息（不像
assert会打印位置）
真正安全的用法，几乎都出现在 if constexpr、switch 穷举、或 static_assert 已保证逻辑排他性的上下文中。漏掉一个枚举值，或者模板约束写宽了，std::unreachable() 就会从优化利器变成隐蔽的崩溃源。