__builtin_expect是GCC/Clang编译器内置函数，用于向编译器提示分支概率以优化指令布局：likely(x)表示x极可能为真，unlikely(x)表示x极可能为假，需配合-O2以上优化及编译器条件宏使用。
一、理解__builtin_expect的作用机制
当C++代码中存在高频执行的条件分支，而编译器无法准确推断其运行时概率分布时，CPU分支预测失败可能导致流水线清空，引发数个至数十个时钟周期的性能损失。__builtin_expect并非改变程序逻辑，而是向GCC或Clang编译器传递一个静态概率提示：表达式exp在绝大多数情况下等于常量c。编译器据此重排生成的汇编指令顺序，将高概率路径安排为直行代码，低概率路径通过跳转实现，从而提升指令缓存局部性与硬件预测准确率。
1、确认当前编译器支持该内置函数：仅GCC和Clang兼容，MSVC不支持；
2、确保启用至少-O2优化等级，否则__builtin_expect提示将被忽略；
3、c参数必须为编译期常量，不可使用变量或非常量表达式；
4、对指针判空、错误码检查、循环边界等低发生率路径，应显式标记为__builtin_expect(condition, 0)；
5、对主业务流程、正常数据流路径，应显式标记为__builtin_expect(condition, 1)。
二、使用likely/unlikely宏封装调用
直接调用__builtin_expect易出错且可读性差，Linux内核及主流高性能项目均采用宏封装方式统一管理，既提升语义清晰度，又便于跨编译器适配。该方法将底层提示抽象为高层语义，降低误用风险，并为未来迁移提供封装层。
1、在头文件中定义标准宏（需配合编译器检测）：
#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
2、在条件判断中替换原始if写法：
if (likely(ptr != nullptr)) { /* 主路径，直行执行 */ }
3、对错误处理分支使用unlikely：
if (unlikely(errno == ENOMEM)) { /* 次要路径，跳转执行 */ }
4、注意双叹号!!操作：确保任意整型、指针或布尔表达式统一转换为0/1，避免传入非0非1值导致提示失效；
5、所有宏定义必须置于条件编译保护内，防止在不支持的编译器上触发错误。
三、在内存分配检查中嵌入分支提示
动态内存分配失败属于典型小概率事件，但其检查语句常位于关键路径中。若未加提示，编译器可能将错误处理块置于紧邻位置，导致主路径频繁跳转，削弱指令预取效率。嵌入__builtin_expect可强制编译器将成功路径设为fall-through主干，显著减少分支惩罚。
1、定位malloc/new后立即进行的判空检查位置；
2、将原始写法if (ptr == nullptr)改为if (__builtin_expect(ptr == nullptr, 0))；
3、确保该判断后紧跟return、throw或goto等终止动作，避免后续代码干扰分支布局；
4、对new(nothrow)场景同样适用，例如：if (__builtin_expect(p == nullptr, 0)) throw std::bad_alloc();
5、在RAII资源管理类的构造函数中，对内部malloc调用结果也应施加相同提示，覆盖所有潜在失败点。
四、在循环边界与数组访问中应用预测提示
循环体内的条件判断（如越界检查、哨兵值检测）若具备强数据分布特征（例如99%的迭代不触发break），则__builtin_expect可引导编译器将循环继续路径设为默认执行流，消除每次迭代中的条件跳转开销，尤其在紧密循环中效果可观。
1、识别for或while循环中恒定概率的条件表达式，如data[i] != SENTINEL；
2、将if (data[i] == SENTINEL) break; 改写为if (__builtin_expect(data[i] == SENTINEL, 0)) break;
3、对std::vector::at()的边界检查模拟实现中，在索引合法性验证处插入提示：if (__builtin_expect(i >= v.size(), 0)) throw std::out_of_range("");
4、在SIMD向量化循环的尾部标量处理区，对剩余元素数量判断使用__builtin_expect(n_remain > 0, 1)，确保主向量化路径无跳转；
5、避免在循环变量自身参与比较的条件中滥用（如i
五、结合__builtin_unreachable消除死代码路径
当某段代码在逻辑上绝不可能被执行（例如switch中已覆盖全部枚举值却仍存在default分支），编译器可能保留冗余的跳转与检查。__builtin_unreachable向编译器声明该位置不可达，促使优化器彻底删除对应代码块并简化控制流图，间接提升分支预测器对剩余路径的学习效率。
1、在已穷举所有enum case的switch末尾添加default: __builtin_unreachable();
2、在断言失败后的处理分支中（如assert(!"unreachable");之后），插入__builtin_unreachable();
3、在模板特化完全覆盖所有类型组合的constexpr if链末端，对未匹配分支使用__builtin_unreachable();
4、确保调用前已通过静态断言或编译期约束排除所有可行执行路径，否则运行时触发undefined behavior；
5、与__builtin_expect协同使用：先用__builtin_expect引导高频路径，再用__builtin_unreachable剪除确定不可达分支，形成双重优化。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
