2.1.1 唯一赋值规则与版本化命名

文档摘要

2.1.1 唯一赋值规则与版本化命名在编译器的血脉深处，有一条铁律从未动摇：每个变量，在静态单赋值（SSA）形式中，有且仅有一个定义点；而每一次对该变量的使用，都精确地指向那个唯一的定义。这不是教科书里一句轻飘飘的定义，而是现代优化编译器得以施展拳脚的基石——它把“变量”从一个随时间漂移、被反复擦写的内存槽位，升华为一个带版本号的不可变值（immutable value with version）。当你写下，SSA 不会容忍这种自相矛盾的“重写”；它会说：不，这是两个不同的东西—— 和，它们之间没有覆盖关系，只有数据依赖。这就是 2.1.1 所承载的重量：唯一赋值规则与版本化命名。