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

前段时间，我偶然发现了 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++ 前端，我不再那么确定了。尤其是因为 msvc 会拒绝它，而 g++/clang++ 则不会。

• 我刚刚给出的代码是有效的 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）。