__builtin_expect用于提示编译器分支预测方向,优化代码执行路径。其语法为__builtin_expect(exp, c),表示exp值很可能等于c;常用于条件判断如if(__builtin_expect(condition, 1)),配合likely/unlikely宏提升性能;典型场景包括错误处理、内存分配和循环边界检查;通过将高频路径设为直行代码,减少CPU流水线停顿;在linux内核等高性能系统中广泛应用,但普通应用中效果有限,应优先优化算法与数据结构。

__builtin_expect 是 GCC 和 Clang 等 c++ 编译器提供的一种内建函数(built-in function),用于向编译器提供分支预测的提示,帮助编译器生成更高效的机器代码。它主要用于优化程序中条件判断的执行路径,特别是在性能敏感的代码中。
作用与语法
其基本形式为:
__builtin_expect(long exp, long c)
它的含义是:告诉编译器,表达式 exp 的值在运行时**很可能等于**c。编译器会据此优化代码布局,将“预期成立”的分支作为主路径生成,减少因错误预测导致的流水线停顿。
最常用的场景是配合条件判断,比如:
立即学习“C++免费学习笔记(深入)”;
if (__builtin_expect(condition, 1)) { … }
表示 condition 很可能为真;反之:
if (__builtin_expect(condition, 0)) { … }
表示 condition 很可能为假。
典型应用场景
这个机制常被用在系统级编程或性能关键路径中,比如:
- 异常处理路径:错误情况极少发生,主流程应优先优化
- 内存分配失败检查:正常情况下分配成功,失败是小概率事件
- 循环中的边界检查:大多数迭代都不触发退出条件
例如:
if (__builtin_expect(ptr == nullptr, 0)) {
return -1; // 极少发生,放在次要执行路径
}
这里提示编译器 ptr 为 nullptr 的可能性极低,因此正常执行路径不会跳转,提升指令缓存和预测效率。
实际优化效果
现代 CPU 依赖分支预测来保持流水线高效运行。如果预测错误,会造成性能损失。虽然硬件预测器已经很强大,但在某些可预见的模式中,程序员比 CPU 更了解数据分布。
使用 __builtin_expect 可以影响编译器生成的汇编代码顺序。通常,“预期为真”的分支会被安排成直行代码,而“预期为假”的分支则通过跳转实现,从而减少不必要的跳转指令执行。
但要注意:在多数普通代码中,这种优化效果不明显,甚至可能被现代预测器抵消。过度使用反而影响代码可读性。
常用宏封装
Linux 内核等项目中常定义宏来简化使用:
#define likely(x) __builtin_expect(!!(x), 1)
#define unlikely(x) __builtin_expect(!!(x), 0)
然后写成:
if (unlikely(Error)) {
// 错误处理
}
if (likely(ptr)) {
// 正常流程
}
这种方式既清晰又高效,广泛用于内核和高性能库中。
基本上就这些。合理使用 __builtin_expect 能在关键路径上带来微小但累积的性能提升,尤其适合底层系统开发。对一般应用而言,优先关注算法和数据结构优化更有效。