C++11 中的常量表达式中是否允许使用逗号运算符？

在回答的过程中这个问题关于SO https://stackoverflow.com/questions/16563114/are-these-null-pointers-or-are-they-pointers-to-address-0/16564608?noredirect=1#comment23807331_16564608对于 C++11，我意识到在 C++03（以及 C）中，在 a 中明确禁止使用逗号运算符。常量表达式.

C++03 标准关于常量表达式的第 5.19/1 段说：

[...] 特别是，除了 sizeof 表达式、函数、类对象、指针或 不得使用引用，以及赋值、递增、递减、函数调用或逗号运算符应 不被使用.

然而，在 C++11 中，最后一部分提到逗号运算符似乎消失了。虽然 C++11 标准第 5.19/2 段明确规定了赋值、递增、递减和非constexpr函数调用表达式不应作为 a 的子表达式出现常量表达式，逗号运算符的使用似乎不再被禁止。

例如，以下程序在 GCC 4.7.2 和 Clang 3.3 上可以正常编译std=c++11（除了编译器警告说逗号运算符无效并且x and arr变量未使用）：

int main()
{
    constexpr int x = (0, 42);
    int arr[(0, 42)];
}

然而，必须说的是，即使下面的程序也可以很好地编译-std=c++03选项（在 Clang 和 GCC 上），这显然是not正确的是，上面引用了 C++03 标准：

int main()
{
    int arr[(0, 42)];
}

问题：

关于常量表达式中是否允许使用逗号运算符，C++03 和 C++11 之间是否存在差异，或者我是否遗漏了某些内容？

作为一个额外的（非建设性的）问题，我有兴趣知道为什么逗号运算符不能在 C++03 的常量表达式中使用。

1. 是的，我相信这是 C++03 和 C++11 之间的变化。我相信这样做的大致原因是您提到的——没有特别充分的理由逗号运算符不能成为常量表达式的一部分。

2. 我相信 C++03 中的规则源自 C 中的规则（C90，§6.4）：

常量表达式不得包含赋值、递增、递减、函数调用或逗号运算符，除非它们包含在 a 的操作数中。sizeof操作员。

至于为什么在 C 的常量表达式中禁止使用逗号运算符，我只能推测。我的直接猜测是确保这样的定义：

int x[5, 2];

……会被拒绝。如果允许，它可能会导致程序员错误地认为他定义了一个 5x2 元素数组（总共 10 个元素），而实际上（如果允许使用逗号运算符）他实际上定义了x只有 2 个元素（并且5实际上被完全忽略了）。

至于为什么 C++ 委员会认为这是比 C 委员会更可接受的风险，我猜这可以归结为一个相当简单的情况：C 几乎没有提供替代方案，因此数组被大量使用。另一方面，C++ 提供了这两种功能std::array and std::vector，极少数情况下有很多理由使用“原始”数组，因此出现问题的可能性要小得多。