c++ - 常量表达式中的条件运算符

Question

我在 MSVC 10 中尝试了以下代码片段，它工作正常。

enum
{
  FOO = (sizeof(void*) == 8 ? 10 : 20)
};

int main()
{
  return FOO;
}

我想知道的是:当所有操作数都是常量表达式时，C++ 标准(最好是 C++98)是否允许我在常量表达式中使用条件运算符，或者这是 Microsoft 的怪癖/扩展？

Answer 1

这是完全有效且合理的标准 C++。

三元条件运算符构成一个表达式，如果它的操作数是，则该表达式是一个常量表达式。

标准引用是 C++11 5.19/2:

A conditional-expression is a core constant expression [...]

请注意，到 5.16 为止，三元条件表达式是一种条件表达式。其他类型是 2 == 3。