std::unreachable是c++23引入的编译器优化提示，仅在gcc 13+/clang 14+/msvc 19.35+、-std=c++23、-o2及以上优化且用于enum class全覆盖switch的default分支时生效；误用将导致未定义行为。
std::unreachable 是什么，什么时候该用
std::unreachable 是 C++23 引入的函数，用于显式标记编译器应认定为永远无法执行到的代码路径。它不返回值，也不做任何事，只向编译器发出强信号：“这里绝不会运行”。常见于 switch 缺少 default 但已穷举所有枚举值、或 assert(false) 被禁用后的兜底分支。
它不是运行时断言，也不是替代 abort() 的方式；它的核心价值在编译期：帮助优化器剔除死代码、暴露逻辑漏洞、提升警告精度。
怎么写才被编译器识别为真正不可达
std::unreachable 必须出现在控制流明确无法继续向下执行的位置，否则行为未定义（UB）。编译器不会帮你检查逻辑是否真穷尽，只信任你写的这一行。
- 必须放在函数体内，不能在全局作用域或类定义中直接调用
- 调用后不能有后续可执行语句（即使语法上合法，也构成 UB）
- 不要包裹在条件判断里，比如
if (false) std::unreachable();—— 这不满足“编译器可静态判定不可达”的前提 - 在
switch中，仅当所有case都已覆盖且类型为enum class（无隐式整型转换）时，末尾放std::unreachable();才安全
示例（正确）：
enum class Color { Red, Green, Blue };
void handle(Color c) {
switch (c) {
case Color::Red: return;
case Color::Green: return;
case Color::Blue: return;
}
std::unreachable(); // ✅ 所有枚举值已覆盖
}
clang、GCC 和 MSVC 对 std::unreachable 的支持差异
C++23 标准要求实现提供 std::unreachable，但实际支持时间和默认行为有差别：
- GCC 12+ 支持，但需开启
-std=c++23（-std=gnu++23也可），且默认生成__builtin_unreachable指令 - Clang 14+ 支持，同样依赖
-std=c++23，对死代码消除更激进 - MSVC 19.34+（VS 2022 17.4+）支持，但早期版本可能静默忽略或报错，务必检查
_MSVC_LANG宏
注意：若目标平台不支持底层不可达指令（如某些嵌入式 target），编译器可能降级为 abort() 或产生警告。不要假设它总生成零开销指令。
容易踩的坑：和 assert(false)、__builtin_unreachable 混用
很多人想“保险起见”在 std::unreachable() 前加 assert(false)，这是反模式：
-
assert在 NDEBUG 下被移除，而std::unreachable始终存在 → 控制流分析断裂，优化器可能误判 - 直接用
__builtin_unreachable等编译器内置函数会失去可移植性，且绕过标准库的约束检查（比如参数合法性） - 在模板中错误地把
std::unreachable()放在非实例化分支里，可能导致 SFINAE 失效或编译错误
更稳妥的做法是：只在逻辑上 100% 确认无其他分支时使用 std::unreachable()，并配合静态断言（static_assert）确保枚举/常量集合未被意外扩展。
std::unreachable 的真正难点不在语法，而在你是否真的穷尽了所有可能——编译器信你，但不会替你验证。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
