__builtin_expect 是编译器提示而非性能优化指令，仅通过调整汇编分支顺序可能带来0–5%性能变化，但易因误用导致负优化；应限于明显偏向分支、配合PGO或C++20 [[likely]] 使用。
__builtin_expect 是什么，它真能加速代码吗？
不能。它不改变程序逻辑，也不直接提升性能，只是给编译器一个提示：某个分支大概率会走哪条路。GCC/Clang 会据此调整生成的汇编顺序（比如把大概率路径放前面，减少跳转），但效果高度依赖具体 CPU 架构、分支频率和代码上下文。实际性能提升常为 0–5%，极端情况下甚至因指令重排导致缓存失效而变慢。
怎么写才让 __builtin_expect 生效
必须用在 if 或 switch 的条件表达式中，且只能包装整型表达式（通常是 0 或非 0）。常见写法是：if (__builtin_expect(condition, 1)) 表示“condition 很可能为真”；if (__builtin_expect(condition, 0)) 表示“condition 很可能为假”。
-
__builtin_expect第二个参数只能是编译期常量整数（如0、1），不能是变量或宏展开后非字面量的值 - 不要套在函数调用外层，比如
if (__builtin_expect(foo(), 1))—— 这会让foo()总是执行，失去短路意义，且提示无效 - 优先用于明显偏向的分支，例如空指针检查：
if (__builtin_expect(ptr == nullptr, 0))；而非x % 2 == 0这类概率接近 50% 的判断
容易被忽略的陷阱
最常见错误是误以为它能“强制预测”，结果写出反模式代码：
- 在循环内反复使用
__builtin_expect包裹同一个变量（如while (__builtin_expect(flag, 1))）—— 编译器通常已对循环做充分优化，手动提示反而干扰自动分析 - 和
[[likely]]/[[unlikely]]混用（C++20）—— 二者语义重叠，同时出现时以 attribute 为准，__builtin_expect被忽略，且 clang/gcc 对混合支持不一致 - 跨平台代码里无条件使用 —— MSVC 不支持该 builtin，需用
#ifdef __GNUC__或#ifdef __clang__保护 - 用在调试构建（
-O0）下 —— 此时编译器基本不优化分支布局，提示完全无效
有没有更安全的替代方案
有。现代 C++ 更推荐用标准方式表达意图：
立即学习“C++免费学习笔记（深入）”；
- 明确的分支偏好：用
[[likely]]和[[unlikely]]（C++20），语义清晰且可被所有支持 C++20 的编译器理解 - 重构消除分支：比如用查表、位运算或模板特化代替运行时判断（如
std::is_constant_evaluated()替代手写 constexpr 分支） - Profile-guided optimization（PGO）：用
-fprofile-generate+-fprofile-use让编译器基于实测数据优化，比手工提示更可靠
除非你在写 Linux 内核模块或嵌入式驱动，且已通过 perf 确认某处分支延迟是瓶颈，否则别碰 __builtin_expect。它不是性能开关，是最后手段的微调工具。
