`(表达式, 左值) = 右值`在 C 或 C++ 中是有效的赋值吗？为什么有些编译器接受/拒绝它？

Question

不久前，我偶然发现了 C 构造（例如

(expr0, expr1, expr2)

）如何求值的想法（请参阅 “逗号运算符 , 做什么？” 了解更多上下文）。

我已经开始对此进行试验，特别是在类似函数的宏内部，最近发现了一些编译器拒绝但其他编译器接受的代码。它看起来类似于以下代码片段：

#include <stdio.h>

int main(void)
{
    int arr[] = {0};
    (1, arr[0]) = 30;  // <--- potentially (in)valid code
    printf("%d\n", arr[0]);
    return 0;
}

如您所见，为了使其起作用，必须将

(1, arr[0])

评估为左值

arr[0]

，否则无法进行赋值。但是，我不确定上述行为是否有效。它“有道理”，我发现了它的用途，但我也明白为什么编译器开发人员会拒绝它。

上面的代码被 gcc、clang 和 msvc 拒绝（注意，msvc 主要是一个 C++ 编译器，而 gcc 和 clang 是 C 前端）：

$ gcc main.c
main.c: In function ‘main’:
main.c:6:21: error: lvalue required as left operand of assignment
    6 |         (1, arr[0]) = 30;
      |                     ^

$ clang main.c -Wno-unused-value
main.c:6:14: error: expression is not assignable
    6 |         (1, arr[0]) = 30;
      |         ~~~~~~~~~~~ ^
1 error generated.

$ cl main.c /nologo
main.c
main.c(6): error C2106: '=': left operand must be l-value

为了比较，g++、clang++ 和 tcc 都可以使用上述代码（请注意，tcc 是 C 编译器，而 g++ 和 clang++ 是 C++ 前端）：

$ tcc main.c && ./a.out
30

$ g++ main.c && ./a.out
30

$ clang++ main.c -Wno-unused-value -Wno-deprecated && ./out
30

我还尝试了一些不同的命令选项，例如显式将 msvc 设置为在

/std:c++latest

和

/std:c99

模式下运行，或者为 gcc/clang/g++/clang++ 设置不同的

-std

，但它没有改变任何内容。

起初，我认为这是 tcc 中的一个错误，因为它是唯一不拒绝“错误”代码的 C 编译器，但后来我检查了 C++ 前端，我不再那么确定了。特别是因为与 g++/clang++ 不同，msvc 拒绝它。

• 我刚刚提供的代码是有效的 C 或 C++，还是两者兼而有之？
• C/C++ 标准是否描述了此处应该发生的情况？
• 哪些编译器是对的/错的？ （tcc和msvc看起来很奇怪）

作为参考，我在 x86_64 Linux 上，使用 gcc/g++ 14.2.1、clang 18.1.8、msvc 19.40.33811（通过 wine 运行）和 tcc 0.9.28rc (mob@08a4c52d)。

Answer 1

在C中，代码无效。正如 N3096 6.5.17 所说，

然后计算正确的操作数；结果 有其类型和值。129

注释 129 说：

逗号运算符不会产生左值。

因此，它是一个“非左值”（即右值），不能用作左值。

对于 C++，另一方面，根据

[expr.comma]

结果的类型和值是右操作数的类型和值；结果与其右操作数具有相同的值类别，

由于它与右操作数具有相同的值类别，因此它将是左值并且有效。

---

请注意，您的代码在 MSVC 中可以很好地编译为 C++ 文件。默认情况下，MSVC（或更具体地说 CL）会将 .c 文件视为 C，将 .cpp 文件视为 C++。看这里，左边的编译器是MSVC强制编译为C代码，右边的编译器是MSVC编译为C++

Answer 2

对于 C：根据 N3096 (PDF)，§ 6.3.2.1 第 2 段（第 48 页）：

除非它是

sizeof

运算符的操作数、或 typeof 运算符、一元

&

运算符、

++

运算符、

--

运算符、

.

运算符的左操作数或赋值运算符，不具有数组类型的左值被转换为存储在指定对象中的值（并且不再是左值）；这称为左值转换。

在您的示例中，

arr[0]

是

,

运算符的操作数，因此应该失去其左值性；所以 tcc 是错误的，其他 C 编译器是正确的。

Answer 3

你的括号放错地方了。

(1,arr)[0]

应该可以工作。