C++是一种支持异常处理机制的编程语言，它允许程序在运行时检测并处理错误情况，而无需通过传统的返回错误码方式。这种机制通过抛出和捕获异常来实现，使得代码更加简洁和易于维护。
异常抛出是异常处理机制的起点。当程序在运行时遇到无法处理的错误情况时，可以通过抛出异常来通知其他部分的程序进行处理。C++中可以使用`throw`关键字来抛出异常。
例如：
throw std::runtime_error("无法打开文件");
上面的代码抛出了一个类型为`std::runtime_error`的异常，并附带了一个错误消息。异常可以是任何类型的对象，但通常建议使用标准库提供的异常类型，如`std::exception`及其派生类。
异常捕获是通过`try-catch`语句来实现的。`try`块包含可能抛出异常的代码，而`catch`块则用于捕获并处理这些异常。
例如：
try {
// 可能抛出异常的代码
} catch (const std::runtime_error& e) {
// 处理std::runtime_error类型的异常
std::cerr << "捕获到异常: " << e.what() << std::endl;
} catch (...) {
// 处理所有其他类型的异常
std::cerr << "捕获到未知异常" << std::endl;
}
在上面的代码中，如果`try`块中的代码抛出了`std::runtime_error`类型的异常，那么它将被第一个`catch`块捕获并处理。如果抛出了其他类型的异常，那么它将被第二个`catch`块捕获。注意，最后一个`catch`块使用了省略号（`...`），它表示捕获所有类型的异常。
当异常被抛出时，程序会立即停止当前代码的执行，并开始寻找匹配的`catch`块来捕获并处理该异常。这个搜索过程会从当前作用域开始，逐步向上层作用域扩展，直到找到匹配的`catch`块或者达到程序的顶层（通常是`main`函数的末尾）。
如果在整个搜索过程中都没有找到匹配的`catch`块，那么程序将调用`std::terminate`函数来终止执行。这个函数会调用`std::abort`来终止程序，并生成一个核心转储文件（如果系统支持）。
在早期的C++标准中，异常规范用于指定函数可以抛出的异常类型。但是，由于这种机制存在一些问题，因此在C++11中已经被废弃，并在C++17中被完全移除。
例如（C++98/03风格）：
void foo() throw(int, std::bad_alloc);
上面的代码表示函数`foo`只能抛出`int`和`std::bad_alloc`类型的异常。但是，由于这种机制的限制性和复杂性，现代C++代码通常不再使用异常规范。
C++的异常处理机制提供了一种强大而灵活的方式来处理程序中的错误情况。通过合理地使用`throw`、`try`和`catch`关键字，可以编写出更加健壮和易于维护的代码。