函数 try 块

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

C++ 语言

 

异常

throw 表达式

函数 try 块

try/catch 块

noexcept 说明符(C++11)

noexcept 运算符(C++11)

动态异常说明(C++17 前)

 

建立围绕整个函数体的异常处理块。

语法

函数 try 块是一种 函数体 的替代语法形式，它是函数定义的一部分。

try 构造函数初始化器(可选) 复合语句 处理块序列

构造函数初始化器	-	成员初始化器列表，只能用于构造函数
复合语句	-	花括号环绕的语句序列，它组成函数体
处理块序列	-	一或多个 catch 子句的序列

解释

函数 try 块将一系列 catch 子句与整个函数体，以及成员初始化器列表（如果用于构造函数）关联起来。从函数体中的任何语句，或（对于构造函数）从任何成员或基类的构造函数，或（对于析构函数）从任何成员或基类的析构函数中抛出的所有异常，以与常规 try 块中抛出的异常时相同方式，将控制转移到 处理块序列 中。

#include <iostream>
#include <string>
 
struct S {
    std::string m;
    S(const std::string& str, int idx) try : m(str, idx) {
        std::cout << "S(" << str << ", " << idx << ") 构造完成，m = " << m << '\n';
    } catch(const std::exception& e) {
        std::cout << "S(" << str << ", " << idx << ") 失败：" << e.what() << '\n';
    } // 此处有隐含的 "throw;"
};
 
int main() {
    S s1{"ABC", 1}; // 不抛出（索引在范围内）
    try {
        S s2{"ABC", 4}; // 抛出（越界）
    } catch (std::exception& e) {
        std::cout << "S s2... 抛出了一个异常：" << e.what() << '\n';
    }
}

在进入任何构造函数上的函数 try 块的 catch 子句前，所有完整构造的成员和基类都会被销毁。

如果函数 try 块在委托构造函数上，而它调用的非委托构造函数成功完成，但之后该委托构造函数的函数体抛出了异常，那么此对象的析构函数将在进入函数 try 块的任何 catch 子句之前完成。

(C++11 起)

在进入析构函数上的函数 try 块的任何 catch 子句之前，所有基类和非变体成员均已被销毁。

如果用于构造函数或析构函数上的函数 try 块的 catch 子句访问了基类或对象的非静态成员，那么行为未定义。

构造函数的函数 try 块中的每个 catch 子句都必须以抛异常终止。如果控制抵达这种异常处理的尾部，那么当前异常被如同用 throw; 来自动重抛。在构造函数的函数 try 块的任何 catch 子句中都不能使用 return 语句。

抵达析构函数的函数 try 块的 catch 子句末尾，也如同用 throw; 来自动重抛当前异常，但可以使用 return 语句。

对于所有其他函数，如果函数返回类型是（可有 cv 限定的）void，那么抵达 catch 子句末尾等价于 return;，否则行为未定义。

注解

函数 try 块的主要目的是应对从构造函数中的成员初始化器列表抛出的异常，进行记录并重抛，修改异常对象并重抛，抛出一个不同的异常，或终止程序。析构函数或常规函数很少用到它们。

函数 try 块不会捕获从按值传递的函数形参的复制/移动构造函数和析构函数中抛出的异常：这些异常是在调用方的语境抛出的。

线程的顶层函数的函数 try 块不会捕获从线程局部对象的构造函数和析构函数（但除了函数作用域的线程局域对象的构造函数）中抛出的异常。

(C++11 起)

类似地，main() 函数的函数 try 块不会捕获从静态对象的构造函数和析构函数（但除了函数局域静态对象的构造函数）中抛出的异常。

函数形参（但并非在函数自身中声明的任何对象）的作用域和生存期延续到 处理块序列 的结尾。

int f(int n = 2) try {
   ++n; // 使函数形参自增
   throw n;
} catch(...) {
   ++n; // n 处于作用域中且仍然指代函数形参
   assert(n == 4);
   return n;
}