4.1.2 常量折叠与常量传播 (Constant Folding/Propagation)

文档摘要

4.1.2 常量折叠与常量传播 (Constant Folding/Propagation) 常量折叠与常量传播，不是编译器教科书里沉睡的术语，而是每天在你敲下、Rust 的、甚至前端 Vite 构建时悄然奔涌的暗流。它不声张，却让一段在生成机器码前就化作；它不炫技，却让中那行日志彻底蒸发——连符号表都不留痕迹。这不是“优化”，这是确定性世界的裁决权移交：把本该由运行时承担的计算，提前交付给编译期；把本该由执行路径承载的分支，压缩为静态布尔常量。而这份移交，必须精准、可验证、可回溯——稍有不慎，就会把折叠成（溢出未定义行为），或把错误传播为（忽略内存别名）。