在C++23标准中，新增了std::unreachable工具，专门用于标记程序中永远不会被执行到的分支，帮助编译器进行更精准的优化。这个特性解决了以往开发者标记不可达代码时语义不明确的问题，让编译器能够更高效地生成目标代码。
什么是不可达分支
不可达分支指的是在程序的逻辑流程中，由于前置条件的限制，永远不可能被执行到的代码路径。比如在处理枚举类型时，如果已经通过条件判断覆盖了所有枚举值，那么默认分支就属于不可达分支；或者在函数参数已经通过前置校验确保符合范围要求时，后续的越界处理分支也属于不可达分支。
std::unreachable的基本用法
std::unreachable定义在<utility>头文件中，是一个没有参数、没有返回值的函数。当程序执行到该调用时，就表示出现了未定义行为，因为按照开发者的设计逻辑，这里本不应该被执行到。
下面是一个简单的使用示例，处理枚举类型的所有取值：
#include <utility>
#include <cstdio>
enum class Status {
Success,
Failed,
Pending
};
const char* getStatusDesc(Status s) {
switch (s) {
case Status::Success:
return "操作成功";
case Status::Failed:
return "操作失败";
case Status::Pending:
return "操作待处理";
default:
// 枚举只有三个取值，default分支不可达
std::unreachable();
}
}
int main() {
Status s = Status::Success;
printf("%sn", getStatusDesc(s));
return 0;
}
std::unreachable如何帮助编译器优化
当编译器看到std::unreachable标记时，会明确知道该分支永远不会被执行，因此可以在优化阶段做以下处理：
- 移除不可达分支对应的机器指令，减少代码体积
- 不需要为不可达分支生成异常处理逻辑，简化控制流
- 基于不可达分支的语义，对前置条件做更激进的优化，比如省略不必要的边界检查
对比没有使用std::unreachable的情况，编译器通常会为default分支生成一些兜底指令，比如返回默认值或者触发异常，这些指令在运行时完全不会被用到，但是会占用空间和增加指令流水线负担。
和传统不可达标记方式的区别
在C++23之前，开发者通常会用以下几种方式标记不可达分支：
1. 使用assert断言
#include <cassert>
default:
assert(false && "不可达分支");
return 0;
这种方式的问题在于，assert在Release模式下通常会被禁用，此时编译器无法识别该分支的不可达语义，仍然会生成对应的指令。
2. 使用编译器扩展
比如GCC的__builtin_unreachable()，MSVC的__assume(0)，这些扩展是编译器特有的，不具备跨平台性，而且语义不够明确，不同编译器的行为可能存在差异。
而std::unreachable是C++标准的一部分，所有支持C++23的编译器都会提供统一的实现，语义清晰，跨平台性更好。
使用注意事项
使用std::unreachable时需要特别注意，必须确保标记的分支确实是不可达的，否则程序执行到该位置时会产生未定义行为，可能导致程序崩溃或者产生不可预期的结果。
比如在上面的枚举示例中，如果后续新增了枚举值但是没有更新switch的分支，那么当传入新的枚举值时，程序就会执行到std::unreachable，触发未定义行为。因此在使用该特性时，需要配合完善的代码审查和测试，确保不可达标记的准确性。
适用场景总结
std::unreachable适合用在以下场景：
- switch语句覆盖了所有枚举值后的default分支
- 函数参数已经通过前置校验，后续的越界处理分支
- 逻辑上不可能出现的错误分支，比如已经判断指针不为空，后续的空指针处理分支
合理使用std::unreachable可以让编译器生成更高效的代码，同时让代码的语义更清晰，明确告诉后续维护者该分支是不应该被执行的。
C++23std::unreachable编译器优化不可达分支修改时间：2026-07-08 14:45:26