C++ :try 语句块和异常处理

jinchanchan

C++ 异常处理机制：try、catch 和 throw
异常处理是 C++ 中处理运行时错误的机制，通过 ​分离正常逻辑与错误处理 提升代码可读性和健壮性。

​1. 基本结构
异常处理由三个关键字组成：

​try：包裹可能抛出异常的代码块。
​catch：捕获并处理特定类型的异常。
​throw：主动抛出异常对象。

try {

    // 可能抛出异常的代码

    if (error_condition) {

        throw exception_object; // 抛出异常

    }

} catch (ExceptionType1 &e) {

    // 处理 ExceptionType1 类型异常

} catch (ExceptionType2 &e) {

    // 处理 ExceptionType2 类型异常

} catch (...) {

    // 捕获所有未处理的异常（不推荐滥用）

}

​2. 异常处理流程
注意：catch(...)捕获所有异常，但无法获取异常信息，通常用于最后兜底。

​抛出异常：当throw执行时，程序立即终止当前代码块，开始查找匹配的catch块。
​栈展开​（Stack Unwinding）：
从抛出点开始，逐层退出函数调用栈，直到找到匹配的catch块。
退出时，当前作用域的局部对象会被析构（依赖RAII机制）。
​匹配catch块：
catch块按声明顺序匹配异常类型。
若未找到匹配的catch块，调用std::terminate()终止程序。

​3. 标准异常类
C++ 标准库定义了一组异常类（需包含 <stdexcept>）：

C++ :try 语句块和异常处理

示例：使用标准异常

<p>#include <stdexcept></p><p>#include <vector></p><p> </p><p>void checkIndex(const std::vector<int>& vec, int index) {</p><p>    if (index < 0 || index >= vec.size()) {</p><p>        throw std::out_of_range("索引越界");</p><p>    }</p><p>}</p>

​4. 自定义异常类
通过继承 std::exception 定义特定错误类型：

<p>#include <exception></p><p>#include <string></p><p> </p><p>class MyException : public std::exception {</p><p>public:</p><p>    MyException(const std::string& msg) : msg_(msg) {}</p><p>    const char* what() const noexcept override {</p><p>        return msg_.c_str();</p><p>    }</p><p>private:</p><p>    std::string msg_;</p><p>};</p><p> </p><p>// 使用自定义异常</p><p>throw MyException("自定义错误消息");</p>

<p>noexcept 关键字</p><p>​声明函数不抛出异常：</p><p>void safe_function() noexcept {</p><p>    // 保证不会抛出异常</p><p>}</p>

​移动构造函数/析构函数：建议标记为 noexcept，避免容器操作（如 std::vector 扩容）时回退到低效拷贝。
​noexcept 运算符：检查表达式是否可能抛出异常。

bool is_noexcept = noexcept(safe_function()); // true

​5. 捕获异常的最佳实践
​按派生类到基类顺序捕获：确保更具体的异常优先处理。
​通过引用捕获：避免对象切片（尤其对多态异常类）。
​处理已知异常：避免滥用 catch (...)。
​优先使用标准异常类：如std::runtime_error，而非基本类型。
​按顺序捕获异常：先捕获派生类，再捕获基类。
​避免空catch块：至少记录错误信息。
​资源管理用RAII：如std::unique_ptr、std::lock_guard。
​限制异常使用：仅处理严重错误，避免性能损耗。

<p>#include <iostream></p><p>#include <fstream></p><p>#include <stdexcept></p><p> </p><p>class FileReader {</p><p>public:</p><p>    FileReader(const std::string& filename) : file_(filename) {</p><p>        if (!file_.is_open()) {</p><p>            throw std::runtime_error("无法打开文件: " + filename);</p><p>        }</p><p>    }</p><p>    // 使用RAII自动关闭文件</p><p>    ~FileReader() noexcept = default;</p><p> </p><p>    void read() {</p><p>        // 读取文件内容（可能抛出异常）</p><p>    }</p><p> </p><p>private:</p><p>    std::ifstream file_;</p><p>};</p><p> </p><p>int main() {</p><p>    try {</p><p>        FileReader reader("nonexistent.txt");</p><p>        reader.read();</p><p>    } catch (const std::runtime_error& e) {</p><p>        std::cerr << "错误: " << e.what() << std::endl;</p><p>    } catch (...) {</p><p>        std::cerr << "未知错误" << std::endl;</p><p>    }</p><p>    return 0;</p><p>}</p>

​6. 重新抛出异常
在 catch 块中可重新抛出当前异常（保留原始异常信息）：

<p>catch (const std::exception &e) {</p><p>    std::cerr << "记录错误: " << e.what() << std::endl;</p><p>    throw; // 重新抛出异常，供上层处理</p><p>}</p>

​7. 异常安全（Exception Safety）​
确保代码在异常发生时仍保持数据一致性，分三个等级：

C++ :try 语句块和异常处理

实现强保证的示例：

<p>void updateData() {</p><p>    auto backup = data_; // 备份原始数据</p><p>    try {</p><p>        modifyData();     // 可能抛出异常的操作</p><p>    } catch (...) {</p><p>        data_ = backup;   // 失败时恢复备份</p><p>        throw;</p><p>    }</p><p>}</p>

​8. 异常处理与资源管理（RAII）​
通过 ​资源获取即初始化（RAII）​ 自动释放资源（如内存、文件句柄），避免异常导致泄漏：

<p>#include <memory></p><p>#include <fstream></p><p> </p><p>void processFile(const std::string& filename) {</p><p>    std::ofstream file(filename); // 文件自动管理</p><p>    if (!file) {</p><p>        throw std::runtime_error("无法打开文件");</p><p>    }</p><p>    // 使用 file 对象，即使抛出异常也会自动关闭文件</p><p>}</p>

​9. 综合示例

<p>#include <iostream></p><p>#include <stdexcept></p><p> </p><p>class NetworkError : public std::runtime_error {</p><p>public:</p><p>    NetworkError() : std::runtime_error("网络连接失败") {}</p><p>};</p><p> </p><p>void connectToServer() {</p><p>    bool connectionFailed = true;</p><p>    if (connectionFailed) {</p><p>        throw NetworkError();</p><p>    }</p><p>}</p><p> </p><p>int main() {</p><p>    try {</p><p>        connectToServer();</p><p>    } catch (const NetworkError &e) {</p><p>        std::cerr << "错误: " << e.what() << std::endl;</p><p>        // 尝试重连或终止程序</p><p>    } catch (const std::exception &e) {</p><p>        std::cerr << "其他错误: " << e.what() << std::endl;</p><p>    }</p><p>    return 0;</p><p>}</p>

​10. 注意事项
​析构函数中的异常：析构函数默认应为 noexcept，若抛出异常可能导致程序终止。
​性能开销：异常处理比返回错误码略慢，但现代编译器优化后差异较小。
​适用场景：适合处理不可恢复的错误（如文件缺失、内存不足）。

​11. 总结

C++ :try 语句块和异常处理