三元运算符中的throw表达式

Question

根据ISO/IEC 14882:2011，我们不能在三元运算符的第二个和第三个操作数中都使用throw表达式:

5.16条件运算符[expr.cond]

2 如果第二个或第三个操作数的类型为 void，则对第二个和第三个操作数执行左值到右值 （4.1）、数组到指针 （4.2） 和函数到指针 （4.3） 的标准转换，并且以下之一应成立： — 第二个或第三个操作数（但不是两个）是抛出表达式 （15.1）;结果属于另一个的类型，并且是 prvalue。— 第二个和第三个操作数都有类型空;结果的类型为 void，并且是 PR值。[ 注意：这包括两个操作数都是抛出表达式的情况。

为什么 Comeau 编译器和 gcc 都允许这段代码？

int main()
{
   true ? throw 0 : throw 1;
}

Answer 1

仔细阅读，标准并没有禁止它，它甚至在注释中提到了它。