C++23 std::unreachable 怎么向编译器提供不可达分支优化提示-C++-PHP中文网

std::unreachable 是 C++23 中向编译器声明“此处绝对不可达”的纯提示契约，无运行时行为，误用将导致未定义行为；它不同于 assert、__builtin_unreachable 或 [[noreturn]]，仅用于逻辑确凿封闭的场景。

c++23 std::unreachable 怎么向编译器提供不可达分支优化提示

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 永远非空（比如参数来自外部输入）

示例：

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]] 描述的是整个函数永不返回，影响调用方的控制流分析。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

std::unreachable()：告诉编译器“从这一行起，后面所有代码都死代码”，可用于局部剪枝
[[noreturn]] void fatal()：告诉编译器“调用此函数后，当前函数一定不会继续执行”，但不保证 fatal 内部是否真不返回
throw std::logic_error("") 或 abort()：有运行时开销，可能被拦截（如 set_terminate）、触发栈展开或信号处理

性能敏感路径（如内联热函数末尾）用 std::unreachable() 更轻量，但前提是逻辑确实封闭。