动态异常说明 (C++17 前)
列出函数可能直接或间接抛出的异常。
语法
throw( 类型标识列表(可选))
|
(1) | (C++11 中弃用) (C++17 中移除) | |||||||
类型标识列表 | - | 逗号分隔的类型标识列表,后附省略号(...)的类型标识表示包展开 (C++11 起) |
这种说明只能在作为类型为函数类型、函数指针类型、函数引用类型、成员函数指针类型的函数、变量、非静态数据成员的声明符的,顶层函数声明符上和形参的声明符或返回类型的声明符上出现。
void f() throw(int); // OK:函数声明 void (*pf)() throw (int); // OK:函数指针声明 void g(void pfa() throw(int)); // OK:函数指针形参声明 typedef int (*pf)() throw(int); // 错误:typedef 声明
解释
如果某个函数的声明将类型 T
列于其动态异常说明,那么该函数可以抛出该类型或从该类型派生的类型的异常。没有类型标识列表的动态异常说明(即 throw())是不抛出的。带有不抛出动态异常说明的函数不允许任何异常。
异常说明中不能出现不完整类型,除 cv void*
之外的到不完整类型的指针或引用,以及右值引用类型。如果使用数组和函数类型,那么它们会被调整到对应的指针类型。允许形参包。 (C++11 起)
动态异常说明不会被认为是函数类型的一部分。
如果函数抛出了没有列于其异常说明的类型的异常,那么调用函数 std::unexpected。默认的该函数会调用 std::terminate,但它可以(通过 std::set_unexpected)被替换成可能调用 std::terminate 或抛出异常的用户提供的函数。如果异常说明接受从 std::unexpected 抛出的异常,那么栈回溯照常持续。如果它不被接受,但异常说明允许 std::bad_exception,那么抛出 std::bad_exception。否则,调用 std::terminate。
潜在异常
每个函数 f
,函数指针 pf
,与成员函数指针 pmf
都拥有一个“潜在异常集合”,它由可能抛出的类型构成。所有类型的集合指示可能抛出任何异常。此集合定义如下:
f
、pf
或 pmf
的声明使用并非允许所有异常的 (C++11 前)动态异常说明,那么集合由列于该规定的所有类型组成。(C++11 起) |
注意:对于隐式声明的特殊成员函数(构造函数、赋值运算符和析构函数),以及对于继承的构造函数 (C++11 起),潜在异常的集合是它们会调用的所有函数的潜在异常集合的并集:非变体非静态数据成员、直接基类及适当场合的虚基类的构造函数/赋值运算符/析构函数(还包括默认实参表达式)
每个表达式 e
都拥有一个潜在异常集合。如果 e
是核心常量表达式,那么集合为空,否则集合是 e
的全部直接子表达式(包含默认实参表达式)的潜在异常集合的并集,再与下列取决于 e
的形式的另一个集合合并:
e
是一个函数调用表达式,令 g
代表被调用的函数、函数指针或成员函数指针,那么:
- 如果
g
的声明使用了动态异常说明,那么添加g
的潜在异常集合到集合;
- 如果
|
(C++11 起) |
- 否则,该集合是所有类型的集合。
(C++11 起) |
void f() throw(int); // f() 的集合是“int” void g(); // g() 的集合是所有类型的集合 struct A { A(); }; // “new A”的集合是所有类型的集合 struct B { B() noexcept; }; // “B()”的集合为空 struct D() { D() throw (double); }; // “new D”的集合是所有类型的集合
所有隐式声明的成员函数和继承的构造函数 (C++11 起)都拥有异常说明,选择如下:
- 如果潜在异常的集合是类型全集,那么隐式异常说明允许所有异常(该异常说明被认为存在,即使它不可用代码表达,且表现如同无异常说明) (C++11 前)是 noexcept(false) (C++11 起)。
- 否则,如果潜在异常的集合非空,那么隐式异常说明列出每个来自该集合的类型
- 否则,隐式异常说明是 throw() (C++11 前)noexcept(true) (C++11 起)。
struct A { A(int = (A(5), 0)) noexcept; A(const A&) throw(); A(A&&) throw(); ~A() throw(X); }; struct B { B() throw(); B(const B&) = default; // 异常说明是“noexcept(true)” B(B&&, int = (throw Y(), 0)) noexcept; ~B() throw(Y); }; int n = 7; struct D : public A, public B { int * p = new (std::nothrow) int[n]; // D 拥有下列隐式声明的成员: // D::D() throw(X, std::bad_array_new_length); // D::D(const D&) noexcept(true); // D::D(D&&) throw(Y); // D::~D() throw(X, Y); };
示例
#include <iostream> #include <exception> #include <cstdlib> static_assert(__cplusplus < 201700, "ISO C++17 不允许动态异常说明。"); 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(); // OK throw W(); // 将调用 std::unexpected() } int main() { std::set_unexpected([] { std::cout << "预料外的异常!" << std::endl; // 需要清除缓冲区 std::abort(); }); f(); }
输出:
预料外的异常!
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
DR | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
CWG 25 | C++98 | 在拥有不同异常说明的指向成员的指针间赋值或初始化的行为未指明 | 应用与函数指针和函数引用相同的限制 |
CWG 1351 | C++98 C++11 |
不考虑隐式异常说明中的默认实参(C++98)与默认成员初始化器(C++11) | 考虑它们 |
CWG 2191 | C++98 | typeid 表达式的潜在异常集合可以包含 bad_typeid ,即使不能抛出它
|
只有在能抛出时包含它 |
参阅
noexcept 说明符(C++11)
|
指定函数是否抛出异常 |