应使用__builtin_expect配合likely/unlikely宏优化分支预测，通过向编译器提示高概率路径、验证汇编布局并规避动态概率等误用，提升CPU流水线效率。
如果您在C++高性能代码中观察到条件分支成为性能瓶颈，且该分支的执行概率存在显著偏向性，则可能是由于CPU分支预测失败导致流水线清空。以下是利用GCC/Clang内置函数__builtin_expect优化分支预测的具体操作步骤：
一、理解__builtin_expect的作用机制
__builtin_expect不改变程序逻辑，仅向编译器传递分支概率提示，使编译器将高概率路径安排为直行代码，降低跳转指令使用频率，从而提升CPU指令缓存命中率与硬件分支预测准确率。其原型为long __builtin_expect(long exp, long c)，其中c必须是编译期常量。
1、确认目标条件表达式具有明显概率偏向，例如错误检查（失败概率95%）或资源就绪判断。
2、将原始if语句改写为显式调用形式：if (__builtin_expect(condition, 1))表示condition极可能为真；if (__builtin_expect(condition, 0))表示condition极可能为假。
3、确保使用-O2或更高优化等级编译，且目标平台为GCC或Clang支持版本。
二、使用标准宏封装提升可读性与可移植性
直接调用__builtin_expect易造成代码冗余与维护困难，Linux内核等项目普遍采用宏封装方式，在保持语义清晰的同时便于条件编译回退。
1、在头文件中定义likely/unlikely宏：
#define likely(x) __builtin_expect(!!(x), 1)
#define unlikely(x) __builtin_expect(!!(x), 0)
2、在业务逻辑中替换原始条件判断：
if (unlikely(ptr == nullptr)) { return -1; }
3、对不支持__builtin_expect的编译器添加预处理器保护：
#ifdef __GNUC__
#define likely(x) __builtin_expect(!!(x), 1)
#define unlikely(x) __builtin_expect(!!(x), 0)
#else
#define likely(x) (x)
#define unlikely(x) (x)
#endif
三、在关键路径中嵌入分支提示
针对高频执行的热点区域，需结合性能分析工具定位真实瓶颈点，并仅在确有收益的位置插入提示，避免过度优化干扰编译器自动优化策略。
1、使用perf record -e cycles,instructions,branch-misses ./program采集运行时分支失误率。
2、定位到分支失误率高于10%的if语句位置。
3、对该语句应用unlikely宏，例如内存分配失败检查：if (unlikely(!buffer)) { handle_oom(); }
4、重新编译并对比perf stat输出中的branch-misses数值变化。
四、验证汇编输出确认优化生效
仅依赖运行时性能指标不足以确认__builtin_expect是否被正确采纳，必须检查生成的汇编代码布局是否符合预期——高概率路径应无条件连续执行，低概率路径应通过跳转指令隔离。
1、使用g++ -S -O2 -fverbose-asm source.cpp生成带注释的汇编文件。
2、搜索目标函数名，定位对应条件判断的cmp与跳转指令序列。
3、确认高概率分支未引入jmp指令，而低概率分支以jne或je形式跳转至函数末尾附近标签。
4、对比未使用__builtin_expect版本的汇编，观察跳转指令位置与数量差异。
五、规避常见误用陷阱
__builtin_expect不是万能加速器，错误使用反而可能抑制编译器其他优化，甚至引发未定义行为。必须严格遵循适用边界与约束条件。
1、禁止对运行时动态变化、无法静态预估概率的表达式使用该函数，例如用户输入校验、随机数判定。
2、禁止将变量作为第二个参数传入，c参数必须为编译期常量，如写成__builtin_expect(flag, runtime_var)会导致编译错误。
3、禁止在多线程共享状态判断中盲目使用，若条件结果受其他线程干扰，则概率提示失效且可能掩盖竞态问题。
4、禁止嵌套使用__builtin_expect，如__builtin_expect(__builtin_expect(x > 0, 1), 1)，该写法无意义且降低可读性。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
