C语言编译时x=9的左值是否替换为地址？为何&x=9非法？

首先要明确：左值的核心不是地址，而是“可被修改的内存对象”，编译后的汇编行为和C语言的语法规则是两个层面的东西，不能混为一谈。

为什么x=9合法？ #

当你写x=9时，x作为可修改左值，在编译阶段编译器会关联到它对应的内存地址，但这不是“把x替换成地址”——而是C语言定义左值的语义是“指代一块可写的内存区域”，赋值操作的本质是把右值的内容写入左值所指代的内存区域。对应的汇编确实是“将9存入x的地址”，但这是编译器对左值语义的实现，不是左值本身变成了地址。

为什么&x=9非法？ #

&x是右值，它是一个临时的、表示x内存地址的常量值（本质是个整数），它并不指代任何可修改的内存对象。C语言的赋值运算符=要求左操作数必须是可修改的左值——你不能给一个“数值”赋值，就像你不能写5=9一样，&x和5本质都是右值，不具备被赋值的资格。

补充：语法规则与编译实现的区别 #

你觉得两者汇编指令应该相同，但C语言的语法规则是在编译前约束代码合法性的。编译器只会处理符合语法的代码，&x=9从语法上就违反了左值要求，根本到不了生成汇编的阶段。而x=9符合语法，编译器才会将其翻译为“写入对应地址”的汇编指令。

举个直观的例子：int *p = &x; *p=9，这里*p是左值（它指代p指向的内存对象），所以赋值合法；而&x只是用来初始化p的右值，你同样不能写&x = p，道理是一样的。

内容的提问来源于stack exchange，提问作者forstack overflowizi