0

0

C++中如何通过__builtin_expect优化编译器分支预测成功率?(极致性能压榨)

尼克

尼克

发布时间:2026-03-13 18:45:31

|

450人浏览过

|

来源于php中文网

原创

__builtin_expect 是GCC/Clang提供给编译器的分支预测提示,非魔法,仅在热点路径、条件高度偏斜且CPU分支预测器强时可能提升性能;误用(如传非常量、副作用表达式、类型错误)会导致编译失败或逻辑错误,应谨慎实测验证。

c++中如何通过__builtin_expect优化编译器分支预测成功率?(极致性能压榨)

__builtin_expect 是什么,它真能提升性能?

它不是魔法,只是给编译器一个“这个分支大概率走哪边”的提示。GCC/Clang 会据此调整生成的汇编顺序(比如把 likely 分支放在紧跟 jmp 后面的位置),减少 CPU 分支预测失败带来的流水线冲刷。但效果高度依赖场景:热点路径上、条件极偏斜(比如错误处理只在 0.001% 情况触发)、且目标 CPU 有较强分支预测器时才可能测出差异;普通 if 或随机分布分支加了反而可能变慢。

怎么写才不白加:括号、类型、常量值必须严格匹配

__builtin_expect 只接受两个参数:exprlikely_value,且后者必须是编译期常量整数。常见翻车点:

  • 传变量或宏展开后非字面量的值 → 编译报错:error: second argument must be a constant integer
  • 表达式本身带副作用(如 __builtin_expect(x++, 1))→ x 会被求值两次(一次用于判断,一次用于后续逻辑),结果错乱
  • 误写成 __builtin_expect(condition, true)true 不是整数字面量,得用 10
  • if 搭配时漏掉外层括号 → if (__builtin_expect(x > 0, 1) == 1)if (__builtin_expect(x > 0, 1)) 多一次比较,白费力气

正确姿势:if (__builtin_expect(x > 0, 1)) { ... } 或封装成宏:#define likely(x) __builtin_expect(!!(x), 1)

哪些地方加了反而拖后腿?

不是所有 if 都适合套 __builtin_expect

AITDK
AITDK

免费AI SEO工具,SEO的AI生成器

下载

立即学习C++免费学习笔记(深入)”;

  • 循环内频繁执行、但分支概率接近 50/50 的判断(如遍历数组时 if (arr[i] & 1))→ 预测器本来就能跟上,加了没收益还增加指令长度
  • 函数入口的参数校验(如 if (!ptr)),如果调用方几乎总传合法指针,这里加 __builtin_expect(ptr, 1) 有意义;但如果该函数被多处调用、有的地方常传空指针,提示就失效甚至误导
  • 调试构建(-O0)下该内置函数被忽略,但代码仍要编译通过 → 别依赖它做逻辑控制,它只是优化提示
  • 跨平台代码(MSVC 不支持)→ 必须用宏包裹,否则 Linux 编译过、Windows 直接炸

验证有没有效果,别靠猜

加完不能只看编译是否通过,得实测:

  • perf stat -e branches,branch-misses ./a.out 对比加前加后分支失误率,下降 5%+ 才算有效果
  • 关注实际耗时(time 或高精度计时),尤其在热点函数里跑百万次迭代;单纯看 IPC 或 cycle 数容易受干扰
  • 换不同 CPU(比如 Skylake vs Zen3)再测一遍 —— 分支预测器设计不同,收益可能差 3 倍
  • 开启 -O2 或更高优化级,且确认未被 -fno-tree-loop-distribute-patterns 等开关抑制相关优化

真正影响性能的,往往是缓存局部性、指令级并行度或内存访问模式,__builtin_expect 只在分支预测成为瓶颈时才露一手。多数人花十分钟写的 if,不如花十分钟看一眼 perf report 里 hottest function 是哪个。

相关文章

数码产品性能查询
数码产品性能查询

该软件包括了市面上所有手机CPU,手机跑分情况,电脑CPU,电脑产品信息等等,方便需要大家查阅数码产品最新情况,了解产品特性,能够进行对比选择最具性价比的商品。

下载

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
java基础知识汇总
java基础知识汇总

java基础知识有Java的历史和特点、Java的开发环境、Java的基本数据类型、变量和常量、运算符和表达式、控制语句、数组和字符串等等知识点。想要知道更多关于java基础知识的朋友,请阅读本专题下面的的有关文章,欢迎大家来php中文网学习。

1567

2023.10.24

typedef和define区别
typedef和define区别

typedef和define区别在类型检查、作用范围、可读性、错误处理和内存占用等。本专题为大家提供typedef和define相关的文章、下载、课程内容,供大家免费下载体验。

119

2023.09.26

define的用法
define的用法

define用法:1、定义常量;2、定义函数宏:3、定义条件编译;4、定义多行宏。更多关于define的用法的内容,大家可以阅读本专题下的文章。

390

2023.10.11

if什么意思
if什么意思

if的意思是“如果”的条件。它是一个用于引导条件语句的关键词,用于根据特定条件的真假情况来执行不同的代码块。本专题提供if什么意思的相关文章,供大家免费阅读。

847

2023.08.22

scripterror怎么解决
scripterror怎么解决

scripterror的解决办法有检查语法、文件路径、检查网络连接、浏览器兼容性、使用try-catch语句、使用开发者工具进行调试、更新浏览器和JavaScript库或寻求专业帮助等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

492

2023.10.18

500error怎么解决
500error怎么解决

500error的解决办法有检查服务器日志、检查代码、检查服务器配置、更新软件版本、重新启动服务、调试代码和寻求帮助等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

382

2023.10.25

空指针异常处理
空指针异常处理

本专题整合了空指针异常解决方法,阅读专题下面的文章了解更多详细内容。

23

2025.11.16

function是什么
function是什么

function是函数的意思,是一段具有特定功能的可重复使用的代码块,是程序的基本组成单元之一,可以接受输入参数,执行特定的操作,并返回结果。本专题为大家提供function是什么的相关的文章、下载、课程内容,供大家免费下载体验。

499

2023.08.04

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

26

2026.03.13

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C# 教程
C# 教程

共94课时 | 11.3万人学习

C 教程
C 教程

共75课时 | 5.4万人学习

C++教程
C++教程

共115课时 | 21.7万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号