C++23标准引入的std::unreachable是一个编译器和开发者之间的约定工具，它的核心作用是显式标记程序中永远不会被执行到的代码位置，让编译器可以基于此进行更激进的优化，减少不必要的代码生成和分支判断。
std::unreachable的基本定义
std::unreachable定义在<utility>头文件中，它的函数签名非常简单，没有参数也没有返回值，声明形式如下：
#include <utility> // 标准库中的声明形式 [[noreturn]] void unreachable() noexcept;
注意它带有[[noreturn]]属性，说明这个函数被调用后永远不会返回，这和它的语义是完全匹配的，因为调用它的位置本身就是不可达的。
适用场景与使用示例
std::unreachable最常见的使用场景是在逻辑上已经穷尽所有分支，但编译器无法静态推断出剩余分支不可达的情况。比如枚举值的处理：
#include <utility>
#include <cstdio>
enum class Status {
Success,
Failed,
Pending
};
void handle_status(Status s) {
switch (s) {
case Status::Success:
printf("操作成功n");
break;
case Status::Failed:
printf("操作失败n");
break;
case Status::Pending:
printf("操作待处理n");
break;
// 理论上枚举只有三个值，所有分支已经穷尽
// 但编译器无法确认不会有非法枚举值传入，这里可以标记不可达
default:
std::unreachable();
}
}
另一个常见场景是在断言失败后的处理，比如自定义的断言宏：
#include <utility>
#include <cstdio>
#define MY_ASSERT(expr)
do {
if (!(expr)) {
printf("断言失败: %sn", #expr);
std::unreachable();
}
} while(0)
int divide(int a, int b) {
MY_ASSERT(b != 0); // 断言b不为0，否则触发不可达标记
return a / b;
}
优化原理：编译器如何利用这个标记
当编译器看到std::unreachable调用时，会明确知道这个位置永远不会被执行，因此可以做以下几类优化：
- 消除不可达分支的机器码生成，减少最终二进制文件的体积
- 对前置的分支判断进行简化，比如上面的switch例子，编译器可以去掉default分支的跳转逻辑
- 进行更激进的死代码消除，比如如果某段代码在std::unreachable之后，编译器会直接删除这部分代码
- 优化控制流图，减少不必要的分支预测开销，提升指令流水线的执行效率
我们可以用一个简单的例子对比优化差异，假设有如下代码：
#include <utility>
int test(int x) {
if (x > 0) {
return 1;
} else if (x <= 0) {
return 0;
} else {
// 这里的逻辑永远不会触发，因为x要么大于0要么小于等于0
std::unreachable();
}
}
如果没有std::unreachable，编译器可能会生成判断x>0、x<=0之后的第三个分支的跳转逻辑；加上标记后，编译器可以直接判定else分支不可达，删除这部分相关的指令，甚至可以把两个条件判断合并简化。
使用注意事项
使用std::unreachable需要非常谨慎，核心原则是：只有你100%确定代码位置永远不会被执行时才能使用，否则如果程序真的执行到了这个位置，会触发未定义行为，可能导致程序直接崩溃或者产生不可预期的结果。
不要把它用在可能由外部输入导致非法值的场景，比如函数参数来自用户输入时，不要直接标记不可达，而是应该做错误处理。它更适合用在编译期就能确定逻辑穷尽，或者程序自身逻辑保证不会触发的场景。
和其他类似工具的区别
很多开发者会混淆std::unreachable和assert，两者的核心区别是：assert在调试模式下会触发检查，发布模式下可能被定义为空，而std::unreachable无论在什么编译模式下都会向编译器传递不可达信息，不会影响运行时的检查逻辑，只会影响编译优化。
另外，一些编译器有自己特有的不可达标记，比如GCC的__builtin_unreachable，Clang也支持这个内置函数，而std::unreachable是标准统一的跨编译器方案，优先使用标准版本可以保证代码的可移植性。
C++23std::unreachable编译器优化代码路径修改时间：2026-07-10 20:54:32