[[unreachable]]：C++23里那个“明明白白摆烂”的编译器提示

写过C++的人，大概都见过这样的代码：

int foo(int x) {
    if (x > 0) return 1;
    if (x < 0) return -1;
    return 0; // x == 0
}

逻辑上天衣无缝。但假如某天你改了条件，却忘了补全分支：

int bar(int x) {
    if (x > 0) return 1;
    if (x == 0) return 0;
    // x < 0 的情况？没了。
    return 42; // 这行……真会执行吗？
}

编译器可能沉默，运行时也可能侥幸不崩——直到某个负数输入让程序跳进未定义行为的深坑。过去我们靠注释、靠静态分析工具、靠 Code Review 硬扛；现在，C++23 给了我们一个轻量、直接、编译期就能说话的标记：[[unreachable]]。

它不是魔法，也不是运行时断言。它是你写给编译器的一句实话：“这儿，绝不可能走到。”

[[unreachable]] 是 C++23 标准正式引入的属性（attribute），语义非常干净：该点之后的控制流，在任何合法执行路径下都不应到达。 编译器看到它，会做两件事：

• 检查是否真不可达：若静态分析发现前面有路径能抵达此处，多数主流编译器（GCC 13+、Clang 16+、MSVC 19.35+）会报错或警告；
• 生成更优代码：移除冗余分支、放宽寄存器分配、甚至省掉栈帧清理——因为“这里不会来”，编译器就敢放手优化。

它不像 assert(false) 那样依赖宏开关，也不像 std::abort() 那样拖到运行时才翻脸。它在翻译单元层面就亮明态度。

最常见的误用，是把它当 assert 使：

// ❌ 错了！这不是断言，不检查条件
if (ptr == nullptr) [[unreachable]];

这行代码的意思是：“如果 ptr 为 nullptr，那接下来的代码不可达”——可 ptr == nullptr 是个真值判断，不是控制流终点。编译器一看：你没写 return、没抛异常、没调 std::terminate，光贴个 [[unreachable]]，纯属自欺欺人，直接报错。

真正该用的地方，是那些逻辑上已被穷尽、但语法上仍需“占位”的出口。 比如枚举 switch：

enum class Color { Red, Green, Blue };
std::string to_string(Color c) {
    switch (c) {
        case Color::Red:   return "red";
        case Color::Green: return "green";
        case Color::Blue:  return "blue";
    }
    [[unreachable]]; // ✅ 这里安全：Color 只有三个值，已全覆盖
}

再比如 noexcept 函数中处理本不该抛出的异常：

void critical_task() noexcept {
    try {
        do_something();
    } catch (...) {
        // 本函数承诺不抛异常，所以这里不能让异常逃逸
        std::terminate(); // 或 log + abort
    }
    // 假设上面没 terminate，下面这行理论上可达，但按设计绝不该到
    [[unreachable]]; // ❌ 错——必须确保前面一定终止
}

正确写法是：

void critical_task() noexcept {
    try {
        do_something();
    } catch (...) {
        std::terminate();
    }
    // 到这儿，说明 try 块没抛异常，正常结束
    // 所以这里不需要 [[unreachable]]
}

关键在“控制流终结”：[[unreachable]] 必须出现在一条明确终止当前函数/作用域的语句之后，且该语句在所有路径下必执行。

实际项目中，它最解压的用法，是配合 std::variant 和 std::visit：

std::variant<int, double, std::string> v = 42;
std::visit([](const auto& val) -> void {
    using T = std::decay_t<decltype(val)>;
    if constexpr (std::is_same_v<T, int>) {
        std::cout << "int: " << val << "\n";
    } else if constexpr (std::is_same_v<T, double>) {
        std::cout << "double: " << val << "\n";
    } else if constexpr (std::is_same_v<T, std::string>) {
        std::cout << "string: " << val << "\n";
    } else {
        [[unreachable]]; // ✅ 安心：variant 只含这三种类型
    }
}, v);

没有它，你得写个 default: 分支，再塞个 std::abort() ——而 [[unreachable]] 直接告诉编译器：“这个 else 不是兜底，是逻辑死路。”

有人问：__builtin_unreachable() 不香吗？
香，但它是 GCC/Clang 特有的，且不参与标准合规性检查。[[unreachable]] 是标准语法，IDE 能识别、静态分析工具能理解、跨平台项目能统一风格。更重要的是，它带语义——不是“请编译器别管这儿”，而是“我确认这儿走不到”。

还有一点常被忽略：它让代码意图更可读。
当你在 switch 末尾看到 [[unreachable]]，你知道作者已穷尽所有枚举值；当在 constexpr 函数里看到它，你知道这个分支只存在于模板元编程的假想路径中。它不是技术装饰，是协作契约。

最后提醒一句：[[unreachable]] 不是银弹。它不替代测试，不绕过逻辑漏洞，更不拯救设计缺陷。但它像一把刻刀，在你理清控制流后，把“不可能”凿成一行清晰的注释——只是这次，编译器真会盯着看。

下次你删掉一个 case 却忘了更新 switch，或者重构 variant 类型却漏了 visit 分支——别急着加 assert，试试在末尾轻轻放上 [[unreachable]]。
那一刻，你不是在哄编译器，是在和它对齐认知。