C++异常处理深度解析：try-catch全方位指南

原创于 2025-06-11 13:41:48 发布 · 477 阅读

6 ·

CC 4.0 BY-SA版权

文章标签：

#c++ #开发语言

在C++开发中，异常处理是构建健壮应用程序的基石。本文将全面剖析try-catch机制，助你写出更安全的代码！

一、异常处理基础概念

1.1 什么是异常？

异常指程序运行时发生的非正常情况（如除零错误、空指针访问、文件不存在等）。C++通过try-throw-catch机制提供结构化异常处理方案。

1.2 异常处理流程

在try块中放置可能抛出异常的代码
使用throw关键字抛出异常对象
通过catch块捕获并处理特定类型异常

try {
    // 可能抛出异常的代码
    if (error) throw MyException("Error occurred!");
} 
catch (const MyException& ex) {
    // 处理MyException类型异常
    cerr << ex.what() << endl;
}

二、try-catch核心用法详解

2.1 基本捕获语法

try {
    // ... 可能抛出异常的代码
} 
catch (ExceptionType1& e) {
    // 处理ExceptionType1异常
} 
catch (ExceptionType2& e) {
    // 处理ExceptionType2异常
}

2.2 捕获所有异常

使用省略号(...)捕获所有未处理的异常：

try {
    // ... 可能抛出异常的代码
} 
catch (...) {
    cerr << "Unknown exception caught!" << endl;
    // 注意：无法获取异常对象信息
}

2.3 标准异常类捕获

C++标准库定义了<stdexcept>中的异常类：

异常类型	触发场景
`std::logic_error`	程序逻辑错误
`std::runtime_error`	运行时错误
`std::out_of_range`	索引越界
`std::bad_alloc`	内存分配失败

使用示例：

try {
    vector<int> v(5);
    cout << v.at(10);  // 抛出std::out_of_range
} 
catch (const std::out_of_range& e) {
    cerr << "Range error: " << e.what() << endl;
} 
catch (const std::exception& e) {
    cerr << "Standard exception: " << e.what() << endl;
}

三、高级异常处理技巧

3.1 自定义异常类

创建继承自std::exception的异常类：

class NetworkException : public std::runtime_error {
public:
    NetworkException(const string& msg, int code)
        : std::runtime_error(msg), errorCode(code) {}
    
    int getErrorCode() const { return errorCode; }

private:
    int errorCode;
};

// 使用示例
throw NetworkException("Connection timeout", 1008);

3.2 异常重新抛出

在catch块中重新抛出当前异常：

try {
    // ... 可能抛出异常的代码
} 
catch (...) {
    // 部分处理逻辑
    throw;  // 重新抛出原始异常对象
}

3.3 noexcept关键字

标记函数保证不抛出异常：

void safeFunction() noexcept {
    // 此函数承诺不会抛出异常
}

// C++11后可以带条件
void mayThrow() noexcept(false) {
    // 可能抛出异常的函数
}

四、异常处理最佳实践

按异常类型从具体到一般排序catch块

try {
    // ...
} 
catch (const FileIOException& e) {
    // 处理具体异常
} 
catch (const std::exception& e) {
    // 处理一般异常
}

避免在析构函数中抛出异常

~MyClass() noexcept {
    // 析构函数应使用noexcept
}

使用RAII管理资源

void safeFileOperation() {
    ifstream file("data.txt");
    if (!file) throw FileOpenException();
    
    // 文件会自动关闭，即使发生异常
}

异常与性能权衡
- 异常处理在未触发时几乎无开销
- 抛出异常的成本较高，避免用于常规控制流

五、异常安全等级

安全等级	说明
基本保证	发生异常时对象处于有效状态，无资源泄漏
强保证	操作要么完全成功，要么回滚到操作前状态（事务语义）
不抛保证	函数承诺不抛出任何异常

实现强保证示例：

void strongGuaranteeExample() {
    auto temp = new Resource;    // 先操作临时对象
    // ... 可能失败的操作
    delete oldResource;          // 成功后替换旧资源
    oldResource = temp;
}

总结

异常处理是C++构建健壮系统的核心机制。关键要点：

优先使用标准异常类型
自定义异常应继承std::exception
catch块按从具体到一般排序
利用RAII实现自动资源管理
注意不同异常安全等级的实现

"好的异常处理不是事后补救，而是系统设计时的重要考量。" —— Bjarne Stroustrup

通过合理使用try-catch机制，你的C++代码将具备更强的容错能力和可维护性。当遇到意外情况时，优雅地处理异常而非让程序崩溃，是专业开发者的重要素养。

【扩展阅读】

《Effective C++》Item 25：考虑写出不抛异常的swap函数
《C++标准库》第9章：异常处理
GSL（Guidelines Support Library）中的异常安全工具