1. C++异常机制总览
1.1 语言层面的 try/catch/throw
在 C++ 中，异常处理通过 try、catch、throw 三个关键字实现。try 块包裹可能抛出异常的代码，异常在抛出后通过栈展开进行传播，直到被某个 catch 块捕获。throw 用于显式抛出异常对象。
理解核心点：异常传递遵循静态类型匹配，只有可捕获的类型或其基类型会进入对应的 catch 块。若没有捕获，程序会调用 terminate，进程因此终止。
#include <iostream>
#include <stdexcept>void mayFail(bool fail){if(fail) throw std::runtime_error("失败");
}
int main(){try {mayFail(true);} catch (const std::exception& ex){std::cout << "捕获异常: " << ex.what() << std::endl;}return 0;
}
1.2 异常传播与栈展开
当异常抛出时，运行时系统会执行 栈展开（stack unwinding），逐层销毁局部对象，以确保资源正确释放。对象的析构函数会在 unwinding 过程中被调用，这对 RAII 是关键保障。
要点包括：仅抛出可捕获的类型，尽量避免在析构函数中抛出异常，否则会调用 terminate。理解这一点对设计稳定的异常边界非常重要。
2. 标准异常类的继承结构
2.1 std::exception 基类及其核心方法
所有标准库异常均继承自 std::exception，它提供了纯虚的接口 what()，用于返回异常的描述信息。通过继承 std::exception，自定义异常可以实现一致的捕获策略。
常见做法是让自定义异常继承自 std::runtime_error 或 std::logic_error 的分支，以区分运行时错误与逻辑错误，并统一由 catch(const std::exception& e) 捕获。
#include <exception>
#include <string>class MyError : public std::exception {
public:explicit MyError(std::string msg) : m_msg(std::move(msg)) {}const char* what() const noexcept override { return m_msg.c_str(); }
private:std::string m_msg;
};
2.2 逻辑异常与运行时异常的分支
标准库把异常分为两大类：逻辑异常（logic_error）和 运行时异常（runtime_error），前者通常表示程序设计错误，如越界访问、非法参数；后者表示运行时条件变化导致的错误，如资源不可用、IO 错误。
派生的具体类型如 std::out_of_range、std::invalid_argument、std::runtime_error、std::range_error 等，适合语义化捕获与处理。通过合适的层级，可以在上层统一捕获一个大类异常，同时对不同子类做不同处理。
2.3 自定义异常的继承策略与实践
在实际项目中，通常不会单独为每种错误都新建一个独立类型，而是根据语义将其分层，例如将领域错误放在一组自定义的领域异常家族中，并让它们尽量派生自 std::exception 或 std::runtime_error。这使得错误信息可通过 what() 提供描述，并能被统一捕获。
实现要点包括：确保异常 spoilage 最小化、不要抛出无意义的基础类型异常，以及如果需要跨层边界传递信息，考虑在派生类中增加错误码或附加字段。
3. 实战要点与设计要点
3.1 异常安全性等级与设计原则
在设计函数接口时，应该明确 异常安全性等级，包括 强保证（strong exception safety）、基本保证（basic guarantee）与 无异常（no-throw）保证。强保证要求在出现异常时不会改变任何状态；基本保证至少保持不破坏对象的不变性；无异常则表示该函数在任何情况下都不抛出。
通过使用 RAII、避免在资源获取阶段抛错、以及对容器操作的异常安全性分析，可以实现更可靠的接口。下面的例子演示通过移动语义和异常安全的容器更新来实现强保证。
#include <vector>
#include <utility>bool insertWithStrongGuarantee(std::vector<int>& vec, int value){std::vector<int> tmp = vec;// 可能抛出tmp.push_back(value);// 若无异常时间，替换原容器，确保原容器要么完全更新，要么不变vec = std::move(tmp);return true;
}
3.2 捕获策略与异常边界
推荐的做法是尽量通过 catch(const std::exception& e) 捕获，避免按值捕获以防止切割（slicing）并触发对象的拷贝与多态性丢失。若需要对特定类型进行专门处理，可以在更高层级再具体捕获。
设计要点还包括：对外暴露的异常类型要稳定，避免在 ABI 外部频繁变更。合理使用 noexcept 标记低风险函数，以帮助编译器做优化并减少异常传递的成本。
4. 异常与资源管理（RAII）
4.1 利用智能指针和 RAII 封装资源
资源管理与异常处理本质上是同一目标：在异常发生时仍然保持资源正确释放。RAII（资源获取即初始化）通过对象的生命周期来管理资源，确保析构函数在栈展开时被调用，从而释放资源。
示例中的 std::unique_ptr、std::shared_ptr、以及自定义的 RAII 封装都是减少内存泄漏与资源泄漏的利器。在异常情况下，它们会自动触发析构，释放所持有的资源。以下代码展示一个简化的 RAII 封装用法。
#include <memory>
#include <cstdio>class FileHandle {
public:FileHandle(const char* name) { file = std::fopen(name, "r"); }~FileHandle() { if (file) std::fclose(file); }
private:FILE* file = nullptr;
};void process(const char* name){FileHandle fh(name);// 可能抛出异常if(!fh) throw std::runtime_error("打开文件失败");// 继续处理
}
5. 常见误区与调试技巧
5.1 在析构函数中抛出异常的禁忌
析构函数中的异常会在栈展开过程中与正在处理的异常冲突，导致调用 terminate，因此析构函数应避免抛出异常，必要时应捕获内部异常并进行静默处理或记录日志。
正确做法是在可抛出操作之外完成清理，将清理工作放在析构函数之外，或者使用 noexcept(true) 的显式标记以表达不抛出异常的意图。
5.2 日志与诊断的最佳实践
在异常发生时记录关键信息有助于诊断，但要避免在异常路径中引发进一步错误。优先使用 尝试捕获后记录，并确保不会在日志写入中引发新的异常。
常用做法包括：统一的异常日志格式、包含堆栈信息和上下文，以及对外暴露的错误码以便调用方进行分类处理。
