[[likely]]和[[unlikely]]是C++20引入的属性，用于向编译器提供分支预测提示以优化性能。它们可应用于if、switch或复合语句，指示某分支更可能或更不可能执行。例如，错误处理等罕见路径可用[[unlikely]]标记，使主流程保持直通执行，减少跳转开销。该优化不改变程序行为，仅影响代码布局，提升指令缓存效率与预测准确率。但属性仅为建议，滥用可能导致性能下降，应结合热点分析在关键路径使用。常见场景包括参数校验、异常处理、状态机冷路径及日志调试分支。

在C++20中引入的[[likely]]和[[unlikely]]是**属性（attributes）**，用于向编译器提供分支预测提示，帮助优化程序执行路径。它们的主要作用是提升程序性能，尤其是在条件判断频繁且执行路径明显偏向某一边的情况下。

分支预测与性能影响

CPU在执行指令时会使用“分支预测”技术来猜测条件跳转的结果，提前加载并执行可能的指令流。如果预测正确，流水线继续高效运行；如果错误，需要清空流水线，造成性能损失。

当某个条件几乎总是成立或极少成立时，比如错误处理、边界检查等场景，程序员比编译器更清楚哪个分支更可能被执行。[[likely]]和[[unlikely]]就是用来显式告诉编译器这种信息。

例如：

立即学习“C++免费学习笔记（深入）”；

一个函数参数校验失败的情况非常少见：

if (!ptr) [[unlikely]] {<br>
  throw std::invalid_argument("null pointer");<br>
}

这里用[[unlikely]]提示编译器：这个if块几乎不会执行，主逻辑应放在无开销的执行路径上。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

语法与使用方式

这两个属性可用于if、switch语句中的分支，以及复合语句（如lambda或作用域块）。

基本语法：

• if (condition) [[likely]] { ... }
• if (condition) [[unlikely]] { ... }
• 也可用于else if链：

if (error_a) [[unlikely]] {<br>
  // 处理罕见错误<br>
} else if (error_b) [[unlikely]] {<br>
  // 另一个罕见情况<br>
} else {<br>
  // 正常流程 —— 默认被认为是 likely 的<br>
}

也可以标记整个作用域：

[[likely]] {<br>
  common_operation();<br>
}

实际优化效果

这些属性不改变程序行为，只影响生成代码的布局。编译器会将被标记为[[likely]]的代码安排在“直通路径”（fall-through path），减少跳转指令的使用，提高指令缓存效率和预测准确率。

以x86-64为例，未优化的if可能生成比较+跳转到else块的结构；而加上[[unlikely]]后，编译器会让条件成立时跳转到异常块，主流程直接顺序执行，避免不必要的跳转开销。

注意：
- 属性只是建议，编译器可以忽略。
- 不当使用可能导致性能下降，比如把冷路径标成[[likely]]。
- 在性能关键代码中才值得使用，普通逻辑无需过度标注。

常见应用场景

• 错误处理：异常、断言、参数验证等分支通常用[[unlikely]]
• 状态机：某些状态转移极少见，可用属性区分热路径
• 调试/日志分支：开启日志的条件可标为[[unlikely]]（若默认关闭）
• 资源分配失败处理：内存分配失败一般视为不可能事件

基本上就这些。合理使用[[likely]]和[[unlikely]]能辅助编译器做出更好的代码布局决策，尤其在高频调用函数中效果更明显。虽然现代CPU预测能力强，但在已知偏态分支中手动提示仍有一定收益。关键是结合实际热点分析，别盲目添加。