当 perf 显示 branch-misses > 8% 且分支路径高度倾斜时才需添加 [[likely]]，盲目使用可能干扰编译器优化；语法须紧贴左大括号，兼容性差时应回退至 __builtin_expect 宏。
![c++分支预测失败率高怎么用[[likely]]和[[unlikely]]优化](https://img.php.cn/upload/article/001/221/864/179118448853590.png)
perf 显示 branch-misses > 8% 时才值得加 [[likely]]
分支预测失败本身不等于性能瓶颈，只有当 perf stat -e branches,branch-misses 报出 branch-misses 占比持续高于 8%，且该分支在真实负载中执行路径高度倾斜（比如 95% 走 if、5% 走 else），才需要干预。盲目添加 [[likely]] 不仅无效，还可能干扰编译器自动优化——GCC/Clang 在 -O2 下对简单条件已有不错的静态预测能力。
常见误判场景：
- 循环内
if(i % 4 == 0)这类规律性分支，CPU 动态预测器通常已能跟上，加 [[likely]] 反而可能打乱布局 - 调试构建（
-O0）下属性完全被忽略，但代码里还留着，容易给人“已优化”的错觉 - 用在函数返回值判断上，如
if (malloc(...) != nullptr) [[likely]]，若 malloc 实际失败率在压测中达 10%，提示就与事实相悖
[[likely]] 必须紧贴左大括号，不能修饰 if 关键字本身
语法错误是新手最常踩的坑：if [[likely]] (x) { } 是非法的，C++20 标准只允许属性出现在语句或复合语句前。正确写法只有两种：
-
if (x) [[likely]] { ... }—— 修饰整个 if 分支（即 x 为真时的路径） -
if (x) { [[likely]] ... } else { [[unlikely]] ... }—— 更细粒度控制，但注意 [[likely]] 必须在{后、首条语句前
反例：if (x) [[likely]] { ... } else [[unlikely]] { ... } 看似对称，但 C++20 不支持在 else 关键字后直接加属性；必须写成 else { [[unlikely]] ... }。
立即学习“C++免费学习笔记（深入）”；
和 __builtin_expect 宏相比，[[likely]] 更干净但兼容性差
如果你的项目要支持 GCC 9 以下、Clang 11 以前，或需交叉编译到嵌入式工具链（如 arm-none-eabi-gcc），[[likely]] 很可能不被识别，编译直接报错。此时应退回 likely(x) 宏封装：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
#ifdef __GNUC__<br> #define likely(x) __builtin_expect(!!(x), 1)<br> #define unlikely(x) __builtin_expect(!!(x), 0)<br>#else<br> #define likely(x) (x)<br> #define unlikely(x) (x)<br>#endif
关键差异点：
-
__builtin_expect需改写表达式，污染逻辑（if (likely(ptr != nullptr))）；[[likely]] 保持原条件干净 - 宏展开后无法被 IDE 正确跳转，而 [[likely]] 是标准属性，LSP 支持更好
- 某些老版本 Clang 对
[[likely]]在 switch case 中的支持不完整，建议优先用于 if/else
真正起效要靠汇编验证，别信“写了就快”
加了 [[likely]] 后必须检查生成的汇编，否则大概率白忙活。方法很简单：
- 用
g++ -O2 -S main.cpp生成main.s - 搜索对应函数名，定位到目标 if 的比较指令（如
cmp或test） - 看后续跳转指令（
je/jne/jl等）：如果 [[likely]] 生效，主路径应是 fall-through（不跳转），小概率分支才跳到远处标号
典型失效信号：跳转目标标号（如 .L2）紧跟在比较指令后，且主逻辑被包进跳转块里——说明编译器没采纳提示，可能因为优化等级不够、目标平台不支持，或分支太复杂（比如条件含虚函数调用）导致属性被忽略。
实际项目中，真正能靠这个省下几个周期的，往往只集中在网络包解析、内存分配器 fast-path、锁竞争检测等极少数热点；其余地方加了也看不出差别，反而增加维护负担。
