Copy propagation（拷贝传播/复制传播）是一种编译器优化：当程序中出现“把一个变量的值复制给另一个变量”的赋值（如 b = a）后，编译器会在后续使用中尽可能把对 b 的引用替换为对 a 的引用，从而减少不必要的变量使用与赋值，并为进一步优化（如常量传播、死代码删除）创造条件。该术语在不同语境下也可能被更广义地使用，但最常见指上述编译优化。
/kpi prpen/
Copy propagation can remove redundant assignments in simple code.
拷贝传播可以在简单代码中去除多余的赋值。
After performing copy propagation, the optimizer often enables dead code elimination because some temporary variables become unused.
在执行拷贝传播之后，优化器通常会更容易进行死代码删除，因为一些临时变量会变得不再被使用。
copy 源自拉丁语 copia（“丰富、供给”），在英语中发展出“副本、复制”的含义；propagation 来自动词 propagate（传播、扩散），源于拉丁语 propagare（“繁殖、扩展”）。合在一起，“copy propagation”字面意思是“把复制关系向前传播”，对应编译器中“把 b=a 这样的等价关系传播到后续使用点”的做法。
Select Language