__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。编译器会据此优化代码布局，将“预期成立”的分支作为主路径生成，减少因错误预测导致的流水线停顿。
最常用的场景是配合条件判断，比如：
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 能在关键路径上带来微小但累积的性能提升，尤其适合底层系统开发。对一般应用而言，优先关注算法和数据结构优化更有效。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
