c++ - 异常声明中的派生对象类型是否意外？

Question

在 C++ 中，在异常声明说明符中，如果我声明了一个基类，然后抛出了一个派生类，这是一个意外异常吗？

Answer 1

在 C++ 中，在异常声明说明符中，如果我声明了一个基类，然后抛出了一个派生类，这是一个意外异常吗？

不，这是允许的。

参考： C++03 15.4 异常规范

第 6 段：

一个异常规范可以包含多次相同的类型，并且可以包含通过继承相关的类，即使这样做是多余的。异常规范还可以包括类 std::bad_exception (18.6.2.1)。

第 8 段有一个相关的例子
：

[Example:
class X { };
class Y { };
class Z: public X { };
class W { };
void f() throw (X, Y)
{
    int n = 0;
    if (n) throw X(); // OK
    if (n) throw Z(); // also OK    <------- Example of the exact scenario you posted
    throw W(); // will call unexpected()
}
—end example]

---

请注意，异常规范被认为是失败的实验，大多数编译器都没有正确实现它们。所以避免（而不是）使用它们。

Answer 2

我知道这是可怕的非答案，但请不要使用异常规范：

http://www.gotw.ca/publications/mill22.htm

引用相关部分：

道德#1：永远不要编写异常规范。

道德＃2：除了可能是一个空的，但如果我是你，我什至会避免。

#2 的警告是 C++11 中的“noexcept”。