来自异常声明的派生对象类型是否意外

Is a derived object type from the exception declaration unexpected?

本文关键字：对象 类型 是否 意外 派生 异常 声明      更新时间：2023-10-16

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

在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]

请注意，异常规范被视为失败的实验，大多数编译器未正确实现它们。所以避免（宁愿不要）使用它们。

我知道

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

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

引用相关部分：

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

道德#2：除了可能空的，但如果我是你，我甚至会避免。

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

相关文章：