c++的异常处理机制（try、catch、throw）

在C++中，异常处理机制通过try、catch和throw来管理程序运行时的错误情况。异常处理机制使得程序能够在出现错误时优雅地恢复或处理错误，而不是让程序崩溃。以下是关于C++异常处理的详细讲解

1. throw 关键字

throw用于抛出异常。异常是一个表示错误或异常情况的对象。当代码中出现问题时，可以使用throw来创建一个异常对象并将其抛出。

示例:

#include <iostream>
#include <stdexcept> // std::runtime_error

void mightGoWrong() {
    bool errorOccurred = true; // 假设发生了错误
    if (errorOccurred) {
        throw std::runtime_error("Something went wrong");
    }
}

int main() {
    try {
        mightGoWrong();
    } catch (const std::exception& e) {
        std::cout << "Caught an exception: " << e.what() << std::endl;
    }
    return 0;
}

2. try 关键字

try块用于包含可能会抛出异常的代码。如果try块中的代码抛出了异常，那么控制流将转移到相应的catch块来处理该异常。

示例:

#include <iostream>

void mightGoWrong() {
    throw std::runtime_error("An error occurred");
}

int main() {
    try {
        mightGoWrong(); // 可能抛出异常
    } catch (const std::exception& e) {
        std::cout << "Caught exception: " << e.what() << std::endl;
    }
    return 0;
}

3. catch 关键字

catch用于捕获try块中抛出的异常。catch块指定了要捕获的异常类型，并处理该异常。可以定义多个catch块来捕获不同类型的异常。

示例:

#include <iostream>
#include <stdexcept>

void mightGoWrong() {
    throw std::runtime_error("Runtime error occurred");
}

int main() {
    try {
        mightGoWrong();
    } catch (const std::runtime_error& e) {
        std::cout << "Caught runtime_error: " << e.what() << std::endl;
    } catch (const std::exception& e) {
        std::cout << "Caught exception: " << e.what() << std::endl;
    }
    return 0;
}

异常处理机制的工作流程

1. 抛出异常: 当throw语句被执行时，程序会创建一个异常对象并将其抛出。控制流将立即转移到try块外的catch块中。

2. 捕获异常: catch块负责捕获和处理异常。它根据异常的类型和参数，决定如何处理异常。catch块可以捕获具体类型的异常，也可以捕获基类异常（如std::exception）。

3. 异常传播: 如果try块中抛出的异常没有被相应的catch块捕获，异常会沿着调用栈向上传播，直到找到匹配的catch块为止。如果在栈的顶端仍然没有捕获到该异常，程序将终止。

自定义异常

可以创建自定义异常类，继承自标准异常类（如std::exception）或其他异常类。

示例:

#include <iostream>
#include <exception>

class MyException : public std::exception {
public:
    const char* what() const noexcept override {
        return "MyException occurred";
    }
};

void mightGoWrong() {
    throw MyException();
}

int main() {
    try {
        mightGoWrong();
    } catch (const MyException& e) {
        std::cout << "Caught MyException: " << e.what() << std::endl;
    } catch (const std::exception& e) {
        std::cout << "Caught exception: " << e.what() << std::endl;
    }
    return 0;
}

异常安全

• 基本保证: 程序在异常发生时，能保证程序状态的一致性。

• 强保证: 在异常发生时，程序的状态与没有异常时完全相同。

• 无异常保证: 函数在任何情况下都不会抛出异常。

在C++中，异常处理机制使得程序可以更优雅地处理运行时错误，通过适当的try、catch和throw使用，可以提高程序的健壮性和容错能力。