函数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++免费学习笔记（深入）”；
- 如果
new int[100]抛出std::bad_alloc，普通写法根本捕获不到 - 如果基类构造函数或某个成员对象的构造函数抛异常，也发生在函数体外
- 函数try块是唯一能“罩住”初始化列表 + 函数体的机制
函数try块的限制和注意事项
它功能强大，但有明确约束，容易误用：
- 只能用于函数定义（不能用于函数声明或lambda）
-
catch中不能通过return返回函数预期类型值（比如构造函数的catch里不能写
return X{}） -
一旦catch执行完毕，若未显式重新抛出异常，会自动再次抛出原异常（即隐式
throw;） - 对于非构造函数，函数try块极少使用——因为普通try已足够；它的核心价值就在构造/析构场景
与异常安全的关联：基本保证 vs 强保证
函数try块本身不等于异常安全，但它为实现强异常安全保证（strong exception safety guarantee）提供了基础工具：
- 在初始化失败时，能确保对象不会处于半构造状态（编译器会自动调用已成功构造的成员/基类的析构函数）
- 配合RAII（如智能指针、容器），可避免资源泄漏：即使
p(new int[100])失败，前面已构造成功的成员仍会被正确析构 - 真正安全的设计还需配合：不抛异常的析构函数、noexcept移动操作、资源预分配等
基本上就这些。函数try块看起来冷门，但在写可靠库代码、自定义容器或需严格资源管理的类时，是绕不开的底层支撑机制。
