C++异常处理

异常处理(exception handling)

C++ 异常处理概述

异常处理是C++提供的一种机制，用于处理运行时错误，使得程序可以从异常情况中恢复，而不是直接崩溃或产生不可预测的行为。C++的异常处理机制基于三个关键字：try，catch 和 throw。

为什么需要异常处理？

在编写复杂程序时，处理错误和异常情况是不可避免的。例如：

• 访问空指针。
• 数组越界。
• 除零错误。
• 文件打开失败。

传统上，错误处理通常依赖于返回错误代码或设置错误标志。但这种方法容易被忽视，且代码可读性差。异常处理通过引入更结构化的方式来捕获和处理错误，提高了代码的可维护性和鲁棒性。

C++ 异常处理的基本语法

1. try-catch 块

在C++中，异常处理通常使用 try-catch 块来捕获和处理异常：

try {
    // 可能抛出异常的代码
} catch (const std::exception& e) {
    // 异常处理代码
}

• try块：包含可能会抛出异常的代码。如果在 try 块中的代码抛出异常，程序会立即跳转到相应的 catch 块。
• catch块：捕获异常并处理异常。可以有多个 catch 块，针对不同类型的异常进行不同处理。

2. throw 关键字

throw 关键字用于在检测到异常情况时抛出异常：

throw std::runtime_error("An error occurred");

可以抛出各种类型的异常，常见的包括标准库提供的异常类，如 std::exception、std::runtime_error、std::out_of_range 等。也可以抛出用户自定义的异常类型。

C++ 异常处理的详细使用

1. 捕获不同类型的异常

在C++中，异常可以是任何类型的对象。因此，catch 块可以匹配特定类型的异常：

try {
    // 可能抛出异常的代码
} catch (int e) {
    std::cout << "Caught an integer exception: " << e << std::endl;
} catch (const std::runtime_error& e) {
    std::cout << "Caught a runtime error: " << e.what() << std::endl;
} catch (...) {
    std::cout << "Caught an unknown exception" << std::endl;
}

• 捕获基本类型：可以捕获抛出的基本类型，如 int、char 等。
• 捕获标准异常：通常捕获标准库中派生自 std::exception 的异常类。这些类都有一个 what() 方法，用于获取异常的描述信息。
• 捕获所有异常：使用省略号 ... 捕获所有未明确定义类型的异常。

2. 标准异常类

C++ 标准库提供了一系列的异常类，这些类都派生自 std::exception。常用的标准异常类包括：

• std::exception: 所有标准异常的基类。
• std::runtime_error: 表示程序运行时的逻辑错误。
• std::logic_error: 表示程序逻辑上的错误，如非法参数。
• std::out_of_range: 表示访问超出范围的异常。

示例：

try {
    throw std::out_of_range("Index out of range");
} catch (const std::out_of_range& e) {
    std::cerr << "Exception caught: " << e.what() << std::endl;
}

3. 自定义异常

用户可以定义自己的异常类型，通常是继承自 std::exception 或其派生类：

class MyException : public std::exception {
public:
    const char* what() const noexcept override {
        return "My custom exception occurred";
    }
};

try {
    throw MyException();
} catch (const MyException& e) {
    std::cerr << e.what() << std::endl;
}

4. noexcept 关键字

在C++11引入了 noexcept 关键字，用于标记函数不抛出异常。如果一个函数标记为 noexcept，但抛出了异常，程序会调用 std::terminate 终止程序。

void func() noexcept {
    // 这个函数保证不抛出异常
}

异常处理的高级特性和注意事项

1. 异常安全性（Exception Safety）

编写异常安全的代码是C++中的一个重要概念。异常安全性通常分为三种级别：

• 基本保证（Basic Guarantee）：程序在异常后仍然保持有效状态，不存在资源泄露。
• 强保证（Strong Guarantee）：如果发生异常，程序的状态会回滚到异常发生前的状态。
• 不抛异常保证（No-throw Guarantee）：函数保证不会抛出任何异常。

例如，在使用RAII（资源获取即初始化）技术时，确保资源的自动释放可以帮助实现异常安全性。

2. RAII与智能指针

使用RAII的类（如 std::unique_ptr、std::shared_ptr）可以帮助管理资源（如内存、文件句柄等），确保在异常发生时资源被正确释放：

void process() {
    std::unique_ptr<int> p(new int(10));
    // 如果在这里抛出异常，unique_ptr会自动释放内存
}

3. 栈展开与资源泄露

当异常被抛出时，C++会进行栈展开（Stack Unwinding），逐层销毁作用域内的对象。因此，确保对象在析构函数中释放资源非常重要，否则可能导致资源泄露。

class Resource {
public:
    ~Resource() {
        // 释放资源
    }
};

void func() {
    Resource r;
    throw std::runtime_error("Error");
    // 栈展开时，r的析构函数会被调用，确保资源释放
}

4. 异常处理的开销

异常处理是有开销的，尤其是在嵌入式系统中，因此需要谨慎使用。尽量避免使用异常处理替代常规的错误处理机制，特别是在性能关键的代码中。

5. 析构函数中不要抛出异常

析构函数中不应抛出异常，因为在栈展开过程中，如果析构函数抛出异常，会导致 std::terminate 被调用，程序立即终止。为了避免这一问题，析构函数中应捕获并处理异常。

class MyClass {
    ~MyClass() {
        try {
            // 可能抛出异常的代码
        } catch (...) {
            // 处理异常
        }
    }
}

总结

C++中的异常处理机制提供了一种结构化的方法来捕获和处理运行时错误，保证程序的健壮性和可维护性。然而，异常处理需要谨慎使用，特别是在性能敏感的场景中。掌握异常处理的高级特性和最佳实践，将有助于编写更健壮和可维护的C++代码。