复合字面量始终为左值吗？C语言复合字面量属性的技术问询

核心结论 #

复合字面量始终是左值，这是C标准明确规定的，和上下文无关。

一、C标准中的左值定义：跳出"可寻址=左值"的误区 #

C标准（包括C23文档N3220）里没有"右值"的概念，只有左值和非左值的区分。左值的核心定义是：代表一个对象的表达式（能出现在赋值运算符左侧，但并非所有左值都允许被赋值，比如const修饰的左值）。

你提到的(register int) {47}是典型的"不可寻址的左值"——C标准允许这类左值存在：

• register存储类修饰的对象本身就无法通过&运算符取地址，但它依然是左值，因为它代表一个实际存在的对象（即使这个对象可能被优化到寄存器中）。
• 复合字面量的本质是创建一个无名对象，只要是对象，就属于左值范畴，不管它能不能被寻址。

二、编译器优化≠语义改变：标量复合字面量的表现 #

你在编译器上观察到(int) {47}和47的汇编输出一致，这是编译器优化的结果，而非语义上的等价：

• 语义层面，(int) {47}是一个无名的int类型对象（左值），而47是一个整数常量（非左值）。
• 当编译器发现这个无名对象的值不会被修改、也不需要寻址时，会直接把它替换成常量值以减少内存操作，但这并不改变它作为左值的本质。比如执行*(int*)&(int){47} = 100;（写法不推荐但语义合法）时，编译器就会为它分配内存，体现出左值的特性。

三、关于资料和大语言模型的分歧 #

• 《C Notes for Professionals》的说法是正确的：复合字面量的语义就是左值，不存在"上下文转为右值"的情况。
• 大语言模型的错误源于混淆了C和C的概念：C里有右值引用、纯右值等体系，复合字面量在C++中的表现和C不同，但C标准里没有这套规则，不能混为一谈。

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