std::unreachable 是 C++23 中向编译器声明“此处绝对不可达”的纯提示契约，无运行时行为，误用将导致未定义行为；它不同于 assert、__builtin_unreachable 或 [[noreturn]]，仅用于逻辑确凿封闭的场景。
std::unreachable 本质是给编译器的「终止承诺」，不是运行时断言
std::unreachable 在 C++23 中是一个无返回值、无副作用的函数，语义上表示“此处永远不可达”。它不抛异常、不调用 std::terminate，也不做任何运行时检查——它的唯一作用是向编译器发出明确信号：从此处往后所有控制流都不应存在。编译器据此可安全移除后续代码、收紧寄存器分配、甚至优化掉整个分支路径。
常见误用是把它当 assert(false) 或 __builtin_unreachable() 的替代品来“兜底”，但二者语义不同：assert 可被禁用，__builtin_unreachable 是 GCC/Clang 扩展且带隐含未定义行为约束；而 std::unreachable 是标准、无条件、纯提示型契约。
必须确保调用点在逻辑上绝对不可达，否则触发未定义行为
一旦控制流实际到达 std::unreachable 调用点，程序行为即为未定义（UB），哪怕该调用被包裹在 if (false) 或 default: 分支中。编译器只信任你的声明，不验证前提。
- ✅ 安全场景：枚举
switch已穷尽所有enum class值，且类型为enum class（非int） - ✅ 安全场景：模板特化分支已覆盖全部可能类型，剩余
static_assert(false)替换为std::unreachable() - ❌ 危险场景：用在可能被用户特化的模板中，且未加
static_assert排除非法类型 - ❌ 危险场景：放在
if (x == nullptr)后却未证明x永远非空（比如参数来自外部输入）
示例：
立即学习“C++免费学习笔记（深入）”；
enum class Color { Red, Green, Blue };
void handle(Color c) {
switch (c) {
case Color::Red: return do_red();
case Color::Green: return do_green();
case Color::Blue: return do_blue();
default: std::unreachable(); // ✅ 安全：Color 只有三个值，且为 scoped enum
}
}
和 [[noreturn]] 函数、throw、abort() 的关键区别
std::unreachable 不改变函数签名，也不要求所在函数标记为 [[noreturn]]；它只是单点提示。而 [[noreturn]] 描述的是整个函数永不返回，影响调用方的控制流分析。
-
std::unreachable()：告诉编译器“从这一行起，后面所有代码都死代码”，可用于局部剪枝 -
[[noreturn]] void fatal()：告诉编译器“调用此函数后，当前函数一定不会继续执行”，但不保证fatal内部是否真不返回 -
throw std::logic_error("")或abort()：有运行时开销，可能被拦截（如set_terminate）、触发栈展开或信号处理
性能敏感路径（如内联热函数末尾）用 std::unreachable() 更轻量，但前提是逻辑确实封闭。
编译器支持与启用条件需显式确认
Clang 15+ 和 GCC 13+ 支持 std::unreachable，但需开启 C++23 标准且不能降级到 C++20。MSVC 19.34+（VS 2022 17.4+）也支持，但早期版本仅提供 __assume(0) 等效写法。
- Clang：必须传
-std=c++23，-O2或更高才能触发相关优化（-O1通常不够） - GCC：同样依赖
-std=c++23，且建议搭配-fno-exceptions（避免编译器因异常表保守保留代码） - 务必检查预处理器：可用
#ifdef __cpp_lib_unreachable判断是否可用
若目标平台不支持，不要 fallback 到 __builtin_unreachable() —— 它在非 GCC/Clang 下编译失败；更稳妥的是用 static_assert(false, "...") 配合注释说明意图，至少保编译时失败而非运行时 UB。
最易被忽略的一点：即使写了 std::unreachable，若编译器无法证明前置条件成立（比如 switch 的枚举值被优化掉、或类型退化为 int），它可能直接忽略该提示，且不警告。你得靠静态分析或测试覆盖来反向验证优化是否生效。
