CPP的异常处理
在C++中，异常处理是一种错误处理机制，它允许程序在运行时遇到错误或异常情况时，能够以一种结构化和可控的方式做出响应。这通过三个关键字来实现：try、catch和throw。
try 块
try块包含可能抛出异常的代码。当try块中的代码抛出一个异常时，控制流会立即离开try块，并查找与之匹配的catch块。
cpp复制代码
|
try { |
|
// 这里是可能抛出异常的代码 |
|
throw std::runtime_error("An error occurred"); |
|
} |
throw 表达式
throw关键字用于抛出一个异常。它后面通常跟着一个表达式，该表达式的结果就是抛出的异常对象。异常对象可以是任何类型的对象，但通常是标准库异常类（如std::exception及其派生类）的实例。
cpp复制代码
|
throw std::runtime_error("An error occurred"); |
catch 块
catch块用于捕获并处理异常。catch块可以包含一个或多个异常处理程序，每个处理程序都指定它能够处理的异常类型。当异常被抛出时，程序会查找第一个能够处理该异常类型的catch块。
cpp复制代码
|
try { |
|
// ... 可能抛出异常的代码 ... |
|
} catch (const std::runtime_error& e) { |
|
// 处理 std::runtime_error 类型的异常 |
|
std::cerr << "Caught an exception: " << e.what() << std::endl; |
|
} catch (...) { |
|
// 处理所有其他类型的异常 |
|
std::cerr << "Caught an unknown exception" << std::endl; |
|
} |
在上面的例子中，第一个catch块专门用于处理std::runtime_error类型的异常，而第二个catch块（使用省略号...作为捕获类型）则是一个通配符，它可以捕获所有其他类型的异常。
异常规格
在C++中，函数可以有一个异常规格（exception specification），它指定了该函数可能抛出的异常类型。然而，从C++11开始，异常规格被重新设计为noexcept说明符，它指示函数不抛出任何异常。如果函数违反了其noexcept说明符并抛出了异常，程序会调用std::terminate函数来终止执行。
cpp复制代码
|
void myFunction() noexcept { |
|
// 这个函数承诺不抛出任何异常 |
|
} |
异常处理的优势
异常处理提供了以下几个优势：
· 错误传播：异常可以自动传播到调用栈的上层，无需显式地检查每个函数的返回值。
· 错误处理集中化：可以将错误处理代码集中在少数几个地方，而不是分散在程序的多个位置。
· 代码清晰：异常处理可以使正常流程的代码更加清晰，因为错误处理逻辑不会打断主要的逻辑流程。
注意事项
· 不要过度使用异常处理。异常应该用于处理异常情况，而不是用于控制程序的正常流程。
· 异常对象在抛出时会被复制，因此应确保异常对象支持复制操作。
· 在析构函数中，通常最好避免抛出异常，因为析构函数可能在异常处理过程中被调用，这可能导致程序终止。
· 使用noexcept说明符来指示函数不会抛出异常，可以提高性能并增强程序的健壮性。
