讲师中心 微信公众号
AI工具推荐 视频效率加速

C++中的常量折叠(Constant Folding)是什么?(如何影响编译优化)

酷芳大大_4604

酷芳大大_4604

发布时间:2026-02-16 16:21:09

|

601人浏览过

|

来源于php中文网

原创

常量折叠是编译期对constexpr表达式或字面量组合直接求值的过程,如int x = 2 + 3 * 4被替换为14,不生成运行时运算指令,要求所有操作数为编译期已知常量且运算符支持常量求值。

c++中的常量折叠(constant folding)是什么?(如何影响编译优化)

常量折叠在编译期就完成计算,不是运行时行为

常量折叠是编译器对 constexpr 表达式或字面量组合直接求值的过程,比如 int x = 2 + 3 * 4; 在目标代码里根本不会出现乘法和加法指令,而是直接替换成 14。它不依赖运行时环境,也不触发任何函数调用或对象构造——只要所有操作数都是编译期已知的常量,且运算符支持常量求值(如算术、位运算、逻辑非等),编译器就会做。

常见错误现象:你以为写了 const int a = rand() % 10; 就能被折叠?不行。rand() 不是常量表达式,这行连编译都过不了(C++11 起)。即使写成 const int a = 5;,若没参与后续计算,也可能被优化掉,不等于“发生了折叠”。

  • 只作用于纯右值常量表达式,const 变量本身不够,必须是 constexpr 或字面量组合
  • 数组大小、模板非类型参数、static_assert 条件都依赖它;没它,这些地方根本没法写确定值
  • 浮点字面量折叠可能受 -ffloat-store 或 /fp:strict 影响,结果未必和运行时一致

哪些表达式能被常量折叠?看 constexpr 规则就行

C++ 标准规定:能放进 constexpr 函数体或变量初始化中的表达式,基本都能被折叠。但要注意边界——比如 sizeof(int)、alignof(double)、字面量字符串长度 sizeof("abc") - 1 都行;而 std::sqrt(4.0) 不行(除非你用的是 C++23 的 std::sqrt 特化版本,且编译器支持)。

使用场景很实际:写模板元编程时,std::array<int n></int> 的 N 必须是常量折叠结果;switch 的 case 值也必须能折叠,否则编译报错 case label does not reduce to an integer constant。

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

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载
  • 1 ✅ 折叠为 <code>1048576;1 (<code>n 是变量) ❌ 不折叠
  • "hello"[0] ✅ 折叠为 'h';s[0](s 是 std::string) ❌ 不行,std::string 不是字面量类型
  • __builtin_popcount(0b1010) 在 GCC/Clang 中通常可折叠,但属于扩展,跨编译器不保

开启 -O2 后它自动发生,但别指望它“修复”你的 const 写法

常量折叠是优化的副产品,不是独立开关。你不需要手动启用,只要用了支持的语法(constexpr、字面量、整型常量表达式),且开了优化(-O1 及以上),它就在那儿。但很多人误以为写个 const int x = 10; 就万事大吉——其实 const ≠ 编译期常量,尤其当它绑定到非常量左值时:

int y = 5;
const int x = y; // x 不是常量表达式,不能用于数组维度或 template 参数

性能影响几乎为零:它发生在编译前端,不增加构建时间,反而减少生成指令数。兼容性方面,C++11 起完全标准化,但旧代码里大量用 #define 模拟折叠,现在应优先用 constexpr。

  • constexpr int f() { return 42; } 定义后,f() 在任何上下文都可折叠
  • constinit(C++20)可确保变量在编译期初始化,但它不保证表达式本身可折叠,只是防止动态初始化
  • 调试时看不到折叠过程:反汇编里找不到原始表达式,只有结果值,容易让人困惑“我写的计算去哪了”

容易被忽略的坑:字符串字面量拼接和用户定义字面量

字符串字面量拼接("a" "b")是翻译阶段 6 的行为,早于常量折叠,所以它不算“折叠”,但效果类似。真正容易翻车的是用户定义字面量(UDL):只有带 constexpr 修饰的 UDL 才能参与折叠。

比如 123_km 若定义为 constexpr distance operator"" _km(long double v),那 123_km + 45_km 就可能折叠;但如果返回的是 std::string 或调用了 new,就彻底出局。

  • "abc"s + "def"s(std::string 字面量)❌ 不可折叠,因为 operator+ 不是 constexpr
  • std::string_view{"abc"} ✅ 可折叠,构造函数是 constexpr
  • 模板中用 sizeof...(Args) 是折叠,但 sizeof(T) 不是——它是编译期已知的,但不属于“折叠”,而是类型系统固有属性

最麻烦的是跨翻译单元:一个 constexpr 函数在 A.cpp 定义,在 B.cpp 调用,若没内联或未开启 LTO,某些编译器可能放弃折叠。这时候得靠 inline constexpr 或把定义放进头文件。

热门AI工具

更多
创客贴AI

创客贴AI是一款AI图像与设计工具,AI辅助的智能在线设计工具。

二狗PPT
二狗PPT Hot

一款AI演示文稿工具,主要用于专为中式职场打造的AI PPT生成工具,适合需要提升相关任务效率的用户。

讯飞智作

讯飞智作是一款AI视频创作工具,AI文本配音工具,数字人课程、营销视频制作。

Seko
Seko Hot

一款AI视频创作工具,主要用于商汤科技推出的创编一体的AI短视频创作Agent,适合需要提升相关任务效率的用户。

立刻MV
立刻MV Hot

立刻MV是一款AI文本写作工具,AI 音乐视频(MV)创作工具。

AionClaw
AionClaw Hot

AionClaw是一款面向办公、创作和编程任务的AI桌面智能体。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

相关专题

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

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

6244

2023.10.24

java基础知识汇总
java基础知识汇总

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

6244

2023.10.24

Go语言中的运算符有哪些
Go语言中的运算符有哪些

Go语言中的运算符有:1、加法运算符;2、减法运算符;3、乘法运算符;4、除法运算符;5、取余运算符;6、比较运算符;7、位运算符;8、按位与运算符;9、按位或运算符;10、按位异或运算符等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

3244

2024.02.23

php三元运算符用法
php三元运算符用法

本专题整合了php三元运算符相关教程,阅读专题下面的文章了解更多详细内容。

1852

2025.10.17

switch语句用法
switch语句用法

switch语句用法:1、Switch语句只能用于整数类型,枚举类型和String类型,不能用于浮点数类型和布尔类型;2、每个case语句后面必须跟着一个break语句,以防止执行其他case的代码块,没有break语句,将会继续执行下一个case的代码块;3、可以在一个case语句中匹配多个值,使用逗号分隔;4、Switch语句中的default代码块是可选的等等。

1071

2023.09.21

Java switch的用法
Java switch的用法

Java中的switch语句用于根据不同的条件执行不同的代码块。想了解更多switch的相关内容,可以阅读本专题下面的文章。

1437

2024.03.13

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

2338

2023.09.20

js 字符串转数组
js 字符串转数组

js字符串转数组的方法:1、使用“split()”方法;2、使用“Array.from()”方法;3、使用for循环遍历;4、使用“Array.split()”方法。本专题为大家提供js字符串转数组的相关的文章、下载、课程内容,供大家免费下载体验。

1838

2023.08.03

Uvicorn使用教程
Uvicorn使用教程

本专题汇总了Uvicorn使用教程与启动运行指南,涵盖其作为Python ASGI服务器的定位与特点,以及命令行启动(uvicorn main:app --reload)、参数配置(host/port/workers)、程序内嵌运行与Gunicorn结合部署等核心用法。同时整理了热重载调试、日志配置与生产环境部署优化等技巧,助你快速掌握Uvicorn的运行与配置。

0

2026.11.02

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习

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

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn