#include <iostream> #include <stdexcept> double divide(double numerator, double denominator) { if (denominator == 0) { throw std::invalid_argument("除数不能为零"); } return numerator / denominator; } int main() { try { double result = divide(10, 0); std::cout << "结果: " << result << std::endl; } catch (const std::invalid_argument& error) { std::cerr << "无效参数错误: " << error.what() << std::endl; } catch (const std::exception& error) { std::cerr << "标准异常: " << error.what() << std::endl; } catch (...) { std::cerr << "未知异常" << std::endl; } return 0; }

二、为什么使用异常处理

2.1 异常处理的优势

根据Microsoft Learn的资料，现代C++中优先使用异常的原因：

强制错误处理：异常会强制调用代码识别并处理错误状态
自动停止执行：未经处理的异常会停止程序执行
堆栈展开：异常跳转到调用堆栈中可以处理错误的位置
资源自动清理：异常堆栈展开机制会根据规则销毁范围内的所有对象
代码分离：在检测错误的代码与处理错误的代码之间实现明确分离

2.2 与传统错误处理方式的对比

传统C风格错误处理（返回错误代码或设置全局变量）的缺点：

需要调用方显式检查每个函数调用的返回值
如果调用方未处理错误代码，程序可能在不发出警告的情况下崩溃
错误处理代码与业务逻辑混杂，降低代码可读性

三、异常类型与设计

3.1 标准异常类

C++标准库提供了一系列标准异常类（定义在<stdexcept>头文件中），它们都继承自std::exception：

#include <stdexcept> #include <iostream> void example() { try { // std::logic_error的派生类 throw std::invalid_argument("无效参数"); // throw std::out_of_range("索引超出范围"); // throw std::domain_error("数学域错误"); // std::runtime_error的派生类 // throw std::range_error("范围错误"); // throw std::overflow_error("溢出错误"); // throw std::underflow_error("下溢错误"); } catch (const std::exception& e) { std::cerr << "捕获异常: " << e.what() << std::endl; } }

3.2 自定义异常类

对于应用程序特有的错误情况，可以定义自定义异常类：

#include <exception> #include <string> class InsufficientFundsException : public std::exception { private: std::string message_; double amount_; public: InsufficientFundsException(double amount, const std::string& message) : amount_(amount), message_(message) {} const char* what() const noexcept override { return message_.c_str(); } double getAmount() const { return amount_; } }; void withdraw(double balance, double amount) { if (amount > balance) { throw InsufficientFundsException(amount, "账户余额不足"); } // 执行取款操作 }

四、异常处理最佳实践

4.1 基本准则

根据Microsoft Learn的建议：

使用断言检查应始终为true或false的条件
使用异常检查可能发生的错误，如公共函数参数的输入验证错误
当处理错误的代码与检测错误的代码分离时，使用异常
对于每个可能引发或传播异常的函数，提供三项异常保证之一

4.2 异常安全保证

C++异常安全有三个级别：

强保证：操作要么完全成功，要么完全失败，没有副作用
基本保证：即使操作失败，程序仍处于有效状态，无资源泄漏
nothrow保证：操作不会抛出异常（使用noexcept关键字）

// 基本保证的实现示例 void performOperation() { std::lock_guard<std::mutex> lock(mutex_); // 确保互斥锁在异常时能够被释放 try { // 执行可能抛出异常的操作 } catch (...) { // 释放已经获取的资源 throw; // 重新抛出异常，通知调用者 } } // nothrow保证的实现示例 void nothrowFunction() noexcept { // 操作应该不抛出异常 }

五、RAII原则与资源管理

5.1 RAII原则介绍

RAII（Resource Acquisition Is Initialization）是C++中管理资源的基本策略，其核心思想是通过对象的生命周期来管理资源：当对象创建时获取资源，在对象销毁时释放资源。

class ResourceGuard { public: explicit ResourceGuard(Resource* res) : resource_(res) {} ~ResourceGuard() { if (resource_) { releaseResource(); } } private: Resource* resource_; void releaseResource() { // 实现释放资源的具体逻辑 } }; void useResource() { Resource* res = acquireResource(); ResourceGuard guard(res); // 构造函数中获取资源 // 使用资源 } // guard析构，自动释放资源

5.2 标准库中的RAII类

C++标准库提供了许多RAII类的实例：

#include <mutex> #include <fstream> #include <memory> void criticalSection() { std::mutex mtx; { std::lock_guard<std::mutex> lock(mtx); // RAII类自动锁定和解锁 // 执行临界区代码 } // lock析构，自动解锁 } void fileOperation() { std::ifstream file("data.txt"); // 自动打开文件 // 读取文件内容 } // file析构，自动关闭文件 void smartPointerExample() { std::unique_ptr<int> ptr(new int(42)); // 智能指针管理内存 // 使用ptr } // ptr析构，自动释放内存

六、异常处理的实际应用

6.1 输入验证

#include <stdexcept> #include <limits> #include <iostream> void MyFunc(int c) { if (c > std::numeric_limits<char>::max()) { throw std::invalid_argument("MyFunc argument too large."); } //... } int main() { try { MyFunc(256); // 引发异常 } catch (const std::invalid_argument& e) { std::cerr << e.what() << std::endl; return -1; } return 0; }

6.2 多异常类型处理

try { // 可能抛出多种异常的代码 } catch (const std::out_of_range& e) { // 处理索引超出范围异常 std::cerr << "范围错误: " << e.what() << std::endl; } catch (const std::invalid_argument& e) { // 处理无效参数异常 std::cerr << "参数错误: " << e.what() << std::endl; } catch (const std::exception& e) { // 处理所有其他标准异常 std::cerr << "标准异常: " << e.what() << std::endl; } catch (...) { // 处理所有其他未知异常 std::cerr << "未知异常" << std::endl; }