[[likely]]和[[unlikely]]是c++20标准属性，用于提示编译器分支概率，须紧贴if/switch语句块前，不改变逻辑；clang13+/gcc12+支持，msvc暂不支持。
![c++中的属性[[likely]]和[[unlikely]]是什么？（如何引导分支预测优化）](https://img.php.cn/upload/article/001/431/639/177140719143190.jpg)
[[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下基本被忽略
