前段时间,我偶然发现了 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)。