在 C++ 中，如果 throw 是一个表达式，那么它的类型是什么？

Question

我在一次短暂访问 reddit 时发现了这一点：

http://www.smallshire.org.uk/sufficientlysmall/2009/07/31/in-c-throw-is-an-expression/

基本上，作者指出在 C++ 中：

throw "error"

是一个表达式。 实际上，C++ 标准在正文和语法中都相当清楚地阐明了这一点。 然而，不清楚（至少对我来说）的是表达式的类型是什么？ 我猜是“void”，但是对 g++ 4.4.0 和 Comeau 进行了一些实验，得到了以下代码：

    void f() {
    }

    struct S {};

    int main() {
        int x = 1;
        const char * p1 = x == 1 ? "foo" : throw S();  // 1
        const char * p2 = x == 1 ? "foo" : f();        // 2
    }

编译器对 //1 没有问题，但对 //2 却感到厌烦，因为 //2 中的类型条件运算符不同。 所以 throw 表达式的类型似乎不是 void。

那么它是什么？

如果您回答，请引用该标准来支持您的陈述。

---

事实证明，这与抛出表达式的类型无关，而与条件运算符如何处理抛出表达式有关 - 我当然不知道 今天之前就知道了。 感谢所有回复的人，特别是大卫·索恩利。

Answer 1

根据标准，5.16第2段第一点，“第二个或第三个操作数（但不是两者）是一个抛出表达式（15.1）；结果是另一个的类型，并且是一个右值。” 因此，条件运算符并不关心 throw 表达式是什么类型，而只会使用其他类型。

事实上，15.1 第 1 段明确指出“抛出表达式的类型为 void”。

Answer 2

“抛出表达式的类型为 void”

ISO14882 第 15 节

Answer 3

来自 [expr.cond.2]（条件运算符 ?:）：

如果第二个或第三个操作数的类型（可能是 cv 限定的）void，则左值到右值，
数组到指针和函数到指针的标准转换在第二个和
第三个操作数，并且以下之一应成立：

——第二个或第三个操作数（但不是两者）是一个 throw 表达式；
结果是另一个的类型，并且是一个右值。

——第二个和第三个操作数的类型都是void；
结果是 void 类型并且是右值。
[ 注意：这包括两个操作数都是 throw 表达式的情况。 ——尾注]

因此，使用 //1 你处于第一种情况，使用 //2 ，你违反了“以下其中一个应成立”，因为没有在这种情况下，他们中的一些人会这样做。

Answer 4

您可以使用打字打印机 为您吐出内容 ：

template<typename T>
struct PrintType;

int main()
{
    PrintType<decltype(throw "error")> a; 
}

基本上缺乏 < code>PrintType 将导致编译错误报告显示：

未定义模板的隐式实例化PrintType

因此我们实际上可以验证 throw 表达式的类型为 void （是的，提到的标准引号在其他答案中验证这不是特定于实现的结果 - 尽管 gcc 很难打印有价值的信息）