C++中的函数try块是什么？C++构造函数异常处理详解【异常安全】

函数try块专门用于包裹整个函数体（含构造函数成员初始化列表），解决初始化阶段异常无法捕获的问题；其catch中不能return，未重抛则隐式再抛出原异常。

函数try块（function-try-block）是C++中一种特殊的try-catch语法，**专门用于包裹整个函数体（包括构造函数的成员初始化列表）**，主要解决构造函数在初始化阶段抛出异常时无法捕获的问题。

函数try块的基本语法

它不是把函数体用普通try包起来，而是将try关键字直接放在函数定义开头，紧跟在参数列表之后、函数体左大括号之前，并且必须配对一个或多个catch子句：

class X {
    int* p;
public:
    X() try : p(new int[100]) {  // 成员初始化列表也在try范围内
        // 构造函数函数体
    }
    catch (const std::bad_alloc&) {
        // 可以记录日志、转换异常、或重新抛出
        throw std::runtime_error("X construction failed");
    }
};

登录后复制

注意：函数try块的catch中**不能直接返回值**（因为函数尚未“进入”正常执行路径），通常只能做清理、日志、异常转换或重新抛出。

为什么构造函数特别需要函数try块？

普通函数里，你可以在函数体内任意位置写try/catch。但构造函数的成员初始化列表（initializer list）在函数体执行前就运行——而这段代码**无法被普通try块覆盖**：

立即学习“C++免费学习笔记（深入）”；

标签： 工具 ai c++ 为什么