在恒定初始器中使用逗号操作员的明显GCC错误

Question

我在CCC中弄乱了CCC中的一个明显的错误：

#include <stdio.h>

int y = (1, 2);
int main()
{
  return 0;
}

在GCC中给出错误：初始化器元素在Clang中工作正常时不是常数。正如预期的那样，将声明放入main（）函数中也可以与两个编译器一起使用。

括号是必要的，因为除其他地方，而在不称赞逗号操作员方面是正确的。

尽管GCC代码片段看起来像这样：

    3 | int y = (1, 2);
      |         ^

括号并不是问题。 int y =（1 + 2）;正常工作。

我知道逗号运算符在不变的表达中永远不需要，因为永远不应该有任何副作用，但是GCC将其视为错误仍然很奇怪，而不仅仅是打印警告：表达结果未使用（（这也是如此）。

这是一个错误吗？

Answer 1

根据标准，逗号操作员为不允许以恒定表达方式 ，但Clang在大多数（但不是全部）上下文中承认这一点。例如：

int a = (1,2); //accepts

int b[(1,2)]; // warns: VLA folded to constant size array

_Static_assert((1,2), "oops!"); // fails

struct 
{
   int c : (1,2); // accepts
   int d [(1,2)]; // warns: VLA folded to constant size array

} e;

enum { FOO = (1,2) }; //accepts

int _Alignas((2,16)) f; // fails

int* g = (1,0); // warns: integer to pointer conversion
                // so this is not a null pointer constant,
                // but still a constant expression (because the 
                // initialisation is accepted)!

live

GCC拒绝所有这些结构。

该标准确实允许实现接受其他形式的恒定表达式不过，但是尚不清楚是否应该记录这些其他形式，或者应该如何在不同的情况下接收它们。

有一个 clang bug 关于clang有时会以恒定表达方式允许的clange clang。