带有 void 操作数的 C++ 条件运算符

Question

我试图理解 C++ 标准（ISO/IEC 14882:2003，较新的版本基本相同）的以下摘录：

5.16 条件运算符

2 如果第二个或第三个操作数的类型（可能是 cv 限定的）void，则左值到右值 (4.1)、数组到指针 (4.2) 和函数到指针 (4.3) 标准转换在第二个执行 和第三个操作数，...

我倾向于认为在这种情况下，当操作数是函数调用时，操作数的类型被认为是（尽管不是）函数返回类型。如果是这样，那么就会产生一个 void 类型的示例。

我还认为，在这种情况下，也可以推测 throw 表达式具有 void 类型，与 throw 操作数的类型无关。那将是另一个例子。

我的两个假设对吗？还有其他情况吗？
非常感谢

Answer 1

关于 throw，是的，没有结果，所以类型为 void 与 throw 操作数的类型无关。我不确定它是如何相关的，所以这个问题看起来很奇怪。

关于函数，如果操作数是函数调用，我不知道为什么你说操作数的类型不是函数返回类型。还会是什么？它是操作数是函数（与函数调用相反）的地方，函数到指针的转换将开始。

条件运算符的结果类型取决于其操作数的类型。 我认为围绕其中一个操作数为 void 的特殊语言只是条件运算符的结果为 void，因此有关可能执行不同类型操作数转换的规则无关紧要。