C++异常处理机制详解与示例代码

结果与目标：构建健壮的错误处理

程序运行时可能遭遇语法之外的错误（如除零、内存不足），传统返回码方式难以层层传递且易被忽略。利用C++异常机制，可以将错误控制流与非正常业务逻辑分离，提高代码的可维护性和安全性。

准备条件：核心关键字与流程

C++异常处理基于三个核心关键字：

• throw：检测到错误时主动抛出异常对象或错误信息。
• try：包裹可能引发异常的代码块，用于设置“异常监测区”。
• catch：紧跟在try之后，用于捕获并处理特定类型的异常。可以使用...捕获所有类型。

真实操作顺序：自定义异常类与测试逻辑

第1步：定义自定义异常类

为了更好地携带错误上下文，通常继承或自定义异常类。以下是一个包含错误码的简单实现：

#include <iostream>
#include <string>

class MyException {
public:
    int m_errorId;

    // 构造函数
    MyException(int errorId) : m_errorId(errorId) {
        std::cout << "MyException is called\n";
    }

    // 拷贝构造函数：抛出时创建临时对象需要调用此函数
    MyException(const MyException& other) : m_errorId(other.m_errorId) {
        std::cout << "Copy construct is called\n";
    }

    // 析构函数
    ~MyException() {
        std::cout << "~MyException is called\n";
    }

    void getErrorId() const { std::cout << "Error ID: " << m_errorId << "\n"; }
};

注意：必须实现拷贝构造函数，因为当使用值传递抛出异常时，编译器需要复制异常对象以传递给catch块。

第2步：实现异常抛出（throw）的不同策略

在try块中，可以根据场景选择不同的抛出方式。以下是三种常见模式及其影响：

策略A：抛出局部对象（值传递）

void testValueThrow() {
    try {
        MyException ex(101); // 栈上构造
        throw ex;            // 触发拷贝构造，将副本传出到异常栈
    } catch (MyException e) {
        std::cout << "Caught value exception\n";
    }
}

此过程会调用两次拷贝构造：一次是throw创建临时副本，一次是catch接收副本。性能开销较大，不推荐处理大对象。

策略B：抛出对象指针（地址传递）

void testPointerThrow() {
    try {
        MyException ex(102);
        throw &ex;           // 抛出地址，无拷贝开销
    } catch (MyException* e) {
        std::cout << "Caught pointer exception\n";
        e->getErrorId();
        // delete e; // 注意：如果ex在栈上，此处delete会导致双重释放！
    }
}

风险提醒：throw &ex;仅抛出引用/地址，不会发生拷贝，效率最高。但如果ex是在try块内部定义的栈对象，catch块执行完后不能delete它，否则程序崩溃。catch结束后，ex会随着try块的退出而析构。

策略C：抛出堆分配对象

void testHeapThrow() {
    try {
        MyException* p = new MyException(103);
        throw p;
    } catch (MyException* p) {
        std::cout << "Caught heap exception\n";
        delete p;      // 必须由catch负责清理内存
    }
}

这种模式要求手动管理内存。如果catch块中没有delete，将导致内存泄漏。

第3步：捕获异常（catch）与层级匹配

异常匹配严格按照类型进行，而非值。同时，catch语句的顺序至关重要，派生类（更具体的异常）必须放在基类之前。

try {
    // 可能引发异常的操作
} catch (MyException& ex) {
    // 推荐：使用const引用捕获，既避免拷贝又支持多态
    std::cout << "Handle specific error\n";
} catch (...) {
    // 通配符：捕获未预期的所有其他异常
    std::cerr << "Unknown exception occurred\n";
}

当使用引用（&）或指针（*）捕获时，可以利用多态性处理继承体系中的不同异常子类。若无匹配的catch，程序将终止并调用std::terminate。

完成判断：验证与资源安全

关键知识点与避坑指南

• 内存泄露检测：在调试阶段，可通过包含<crtdbg.h>并启用_CRTDBG_LEAK_CHECK_DF来监控堆内存泄漏，确保new出来的异常指针被正确delete。
• 构造函数中的异常：如果在类的构造函数中抛出异常，该对象的析构函数不会被调用。因此，必须在抛出前手动清理已申请的资源（如关闭文件、释放内存），否则会泄漏。
• 异常安全栈：从try进入throw的过程中，所有在try块内成功构造的局部对象都会按其逆序自动析构，这被称为RAII（资源获取即初始化）带来的异常安全保证。
• 接口声明：为了增强可读性，可以在函数原型中声明其抛出的异常类型：void func() throw(ExceptionType);。空的throw()表示不抛出任何异常。

简要总结

C++异常处理的核心在于通过throw将错误信号化，利用try...catch结构将其从主逻辑中解耦。对于性能敏感场景，推荐使用const Reference捕获异常；对于资源管理，务必警惕构造函数抛出时的析构跳过问题以及堆指针异常的手动清理责任。