[[likely]]和[[unlikely]]是C++20引入的属性，用于向编译器提供分支预测提示以优化性能。它们可应用于if、switch或复合语句，指示某分支更可能或更不可能执行。例如，错误处理等罕见路径可用[[unlikely]]标记，使主流程保持直通执行，减少跳转开销。该优化不改变程序行为，仅影响代码布局，提升指令缓存效率与预测准确率。但属性仅为建议，滥用可能导致性能下降，应结合热点分析在关键路径使用。常见场景包括参数校验、异常处理、状态机冷路径及日志调试分支。
![c++中的[[likely]]和[[unlikely]]属性有什么用_c++分支预测优化与[[likely]]/[[unlikely]]使用](https://img.php.cn/upload/article/001/431/639/176320620647146.png)
在C++20中引入的[[likely]]和[[unlikely]]是**属性（attributes）**，用于向编译器提供分支预测提示，帮助优化程序执行路径。它们的主要作用是提升程序性能，尤其是在条件判断频繁且执行路径明显偏向某一边的情况下。
分支预测与性能影响
CPU在执行指令时会使用“分支预测”技术来猜测条件跳转的结果，提前加载并执行可能的指令流。如果预测正确，流水线继续高效运行；如果错误，需要清空流水线，造成性能损失。
当某个条件几乎总是成立或极少成立时，比如错误处理、边界检查等场景，程序员比编译器更清楚哪个分支更可能被执行。[[likely]]和[[unlikely]]就是用来显式告诉编译器这种信息。
例如：
立即学习“C++免费学习笔记（深入）”；
一个函数参数校验失败的情况非常少见：
if (!ptr) [[unlikely]] {
throw std::invalid_argument("null pointer");
}
这里用[[unlikely]]提示编译器：这个if块几乎不会执行，主逻辑应放在无开销的执行路径上。
语法与使用方式
这两个属性可用于if、switch语句中的分支，以及复合语句（如lambda或作用域块）。
基本语法：
if (condition) [[likely]] { ... }if (condition) [[unlikely]] { ... }- 也可用于
else if链：
if (error_a) [[unlikely]] {
// 处理罕见错误
} else if (error_b) [[unlikely]] {
// 另一个罕见情况
} else {
// 正常流程 —— 默认被认为是 likely 的
}
也可以标记整个作用域：
[[likely]] {
common_operation();
}
实际优化效果
这些属性不改变程序行为，只影响生成代码的布局。编译器会将被标记为[[likely]]的代码安排在“直通路径”（fall-through path），减少跳转指令的使用，提高指令缓存效率和预测准确率。
以x86-64为例，未优化的if可能生成比较+跳转到else块的结构；而加上[[unlikely]]后，编译器会让条件成立时跳转到异常块，主流程直接顺序执行，避免不必要的跳转开销。
注意：
- 属性只是建议，编译器可以忽略。
- 不当使用可能导致性能下降，比如把冷路径标成[[likely]]。
- 在性能关键代码中才值得使用，普通逻辑无需过度标注。
常见应用场景
-
错误处理：异常、断言、参数验证等分支通常用
[[unlikely]] - 状态机：某些状态转移极少见，可用属性区分热路径
-
调试/日志分支：开启日志的条件可标为
[[unlikely]]（若默认关闭） - 资源分配失败处理：内存分配失败一般视为不可能事件
基本上就这些。合理使用[[likely]]和[[unlikely]]能辅助编译器做出更好的代码布局决策，尤其在高频调用函数中效果更明显。虽然现代CPU预测能力强，但在已知偏态分支中手动提示仍有一定收益。关键是结合实际热点分析，别盲目添加。
