常量传播是编译器在编译期将已知常量值代入变量引用处的优化技术，需满足变量为编译期常量、无副作用修改和表达式可静态求值，通过使用constexpr、避免地址暴露和启用高阶优化可促进该优化。
C++中的常量传播（Constant Propagation）是一种重要的编译期优化技术，它允许编译器在编译阶段将已知的常量值直接代入到使用该常量的地方，从而减少运行时计算，提升程序性能。这项优化通常与常量折叠（Constant Folding）协同工作，共同实现编译期值传递。
什么是常量传播？
常量传播指的是：当编译器能够确定某个变量在程序执行过程中始终等于一个常量值时，它会将该变量的所有引用替换为这个常量本身。这不仅减少了变量访问的开销，还可能触发更多优化，比如死代码消除或条件判断的静态求值。
例如：
const int x = 5; int y = x + 3;
编译器可以识别
x是常量，并在编译期将其值代入，于是
y = 5 + 3，进一步优化为
y = 8，整个表达式在编译期完成计算。
立即学习“C++免费学习笔记（深入）”；
编译期值传递的实现条件
要让常量传播和编译期值传递生效，代码需满足一些关键条件：
-
变量必须是编译期常量：使用
const
或constexpr
定义，且初始化值在编译期可知。 -
作用域内无副作用修改：即使变量被声明为
const
，如果其地址被传递给可能修改它的函数（如通过指针），编译器可能无法传播。 -
表达式必须可静态求值：涉及的运算必须能在编译期完成，例如不包含函数调用（除非是
constexpr
函数）。
示例：
constexpr int square(int n) {
return n * n;
}
constexpr int val = square(4); // 编译期计算，val = 16
int arr[val]; // 合法：val 是编译期常量
这里
square(4)在编译期被求值，
val成为常量表达式，可用于数组大小定义。
如何促进常量传播？
开发者可以通过以下方式帮助编译器更好地进行常量传播：
- 优先使用
constexpr
而非const
，明确表达“编译期可计算”的意图。 - 避免将常量地址暴露给不确定上下文，防止编译器因别名分析保守而放弃优化。
- 在模板元编程或
if constexpr
中利用编译期值进行分支裁剪。 - 启用高阶优化选项（如
-O2
或-O3
），确保编译器开启常量传播优化。
例如：
if constexpr (debug_mode) {
std::cout << "Debug enabled\n";
}
当
debug_mode是编译期常量时，若为
false，整个代码块会被完全移除。
基本上就这些。常量传播虽然由编译器自动完成，但写出“可优化”的代码，才能真正发挥C++编译期计算的强大能力。不复杂但容易忽略。
