C++中的属性[[likely]]和[[unlikely]]是什么？（如何引导分支预测优化）

[[likely]]和[[unlikely]]是c++20标准属性，用于提示编译器分支概率，须紧贴if/switch语句块前，不改变逻辑；clang13+/gcc12+支持，msvc暂不支持。

[[likely]] 和 [[unlikely]] 是编译器提示，不是运行时控制

它们告诉编译器：某条分支（比如 if 或 case）大概率会走或不会走，让编译器在生成机器码时把更可能执行的路径放在更顺直的位置（比如避免跳转、提升指令预取效率）。但它们不改变程序逻辑，也不保证优化一定发生——编译器可以忽略，且不同编译器支持程度不同。

• [[likely]] 应该紧贴在 if、else if、switch 的语句块前，不能写在条件表达式里
• [[unlikely]] 同理，常用于错误处理、边界检查等小概率路径
• Clang 13+ 和 GCC 12+ 支持较稳定；MSVC 目前（v19.3x）仍不支持，用了会报错 Error: unknown Attribute 'likely'
• 用错位置（比如加在函数声明上）会导致编译失败，不是警告

怎么写才合法：常见语法陷阱

这两个属性是 C++20 标准引入的属性，必须作用于「语句」而非「表达式」。最典型错误是把它当成 __builtin_expect 那样塞进条件里。

• ✅ 正确：

  if (ptr) [[likely]] {     process(*ptr); }

• ❌ 错误：if (ptr [[likely]]) —— 属性不能修饰表达式
• ❌ 错误：[[likely]] if (ptr) —— 顺序反了，属性必须紧跟被修饰的语句块
• ⚠️ 注意：在 switch 中只能修饰单个 case 或 default 标签后的语句块，不能修饰整个 switch

和 __builtin_expect 比有什么区别？

老式 GCC 内建函数 __builtin_expect 是通过修改条件表达式的值来“骗”编译器，而 [[likely]] 是声明式提示，语义更干净，也更容易被静态分析工具识别。

• __builtin_expect(ptr != nullptr, 1) 实际返回的是 ptr != nullptr 的值，只是带 hint；容易误用（比如漏写第二个参数）
• [[likely]] 不参与求值，无副作用，也不会影响 constexpr 上下文
• 性能差异通常不大，但 [[likely]] 在跨平台项目中更安全——只要编译器支持，就不用写宏来隔离 __builtin_expect
• 不过目前某些极端场景（如内核代码中对分支预测极度敏感的循环），__builtin_expect 的控制粒度仍略细一点

什么时候加、什么时候别加？

加了不一定快，加错了反而干扰编译器。关键看是否真有明确的运行时统计依据。

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

• ✅ 值得加：if (unlikely_error) 类型的错误检查（如系统调用返回 -1）、日志开关（if (log_level >= DEBUG)）、调试断言后置处理
• ✅ 值得加：已知数据分布的热路径，比如哈希表查找中 if (bucket->occupied) 几乎总是 true
• ❌ 别乱加：没有 profile 数据支撑的“我觉得这里大概率走”，尤其在模板代码或泛型容器中
• ❌ 别加：频繁切换的路径（比如用户输入驱动的状态机），预测方向可能随输入反转，提示反而拖慢
• ⚠️ 注意：启用 -O2 或更高优化级才可能生效；-O0 下基本被忽略

实际效果高度依赖具体代码结构和目标架构。没测过就加，跟没加差不多。