• C++ 异常被捕捉后还能恢复执行?
  • 发布于 2个月前
  • 364 热度
    0 评论
  • 柠檬酸
  • 13 粉丝 58 篇博客
  •   

目前的异常处理机制是,一旦异常被抛出(throw)之后,原来的执行流程就会跳转到异常捕获(catch)代码块中,两者可能经历了多次堆栈展开。那么捕获异常后能不能恢复到抛出异常的点并继续执行?这个问题在 C++ 之父 Bjarne Stroustrup 设计异常处理机制之初就被考虑和详细讨论过了。


捕捉异常后,如果想继续执行抛出异常后面紧接着的代码,需要清晰知道抛出点的上下文信息,否则就无法保证继续执行的正确性。然而,抛出点的上下文信息对于 catch 语句块来说是很难获取的,这就带来了恢复执行的不确定性。


如果继续一意孤行,为了解决不确定性,那么就需要加入大量的辅助代码,来维持抛出点和异常捕获点的联系。这种强连接性,破坏了目前异常处理机制的解耦特性,维护起来也会变得非常困难。

因此,C++ 设计之初就否定了在异常处理机制中加入恢复执行的可能性。在实际的编程实践中,如果程序设计人员不希望程序业务流程被突然打断,可以在抛出异常之前先检查并尝试解决问题,只有在确实无法解决问题的情况下才抛出异常。


下面是一个简单的例子,演示了如何在抛出异常之前先尝试解决问题:
bool checkAndFixProblem() {
    // try to fix problem
    // return true;

    // fix problem fail
    return false;
}

void mightGoWrong() {
    if (!checkAndFixProblem()) {
        throw std::runtime_error("Something went wrong and couldn't be fixed");
    }
}

int main() {
    try {
        mightGoWrong();
        std::cout << "This line will not be executed if exception is thrown"
            << std::endl;
    } catch (const std::runtime_error& e) {
        std::cerr << "Caught an exception: "
            << e.what() << std::endl;
    }
    std::cout << "Program continues after catching the exception"
        << std::endl;
    return 0;
}
在上面的代码中,当调用函数 mightGoWrong() 时,如果将要抛出异常,先利用函数 checkAndFixProblem() 尝试修复问题,只有在修复失败的情况下才会抛出异常。如果修复成功,程序将继续原有的流程。
假设修复成功,那么程序输出:
This line will not be executed if exception is thrown
Program continues after catching the exception
假设修复失败,那么程序输出:
Caught an exception: Something went wrong and couldn't be fixed
Program continues after catching the exception

这种方式的代码更易于理解和维护,避免了异常处理中不必要的复杂性和不确定性。


异常处理的设计哲学
异常处理机制的设计哲学强调了代码的可读性、可维护性以及对异常情况的明确处理。抛出异常是一种信号,表明程序遇到了无法自动解决的问题,需要调用方来决定如何处理。在这种设计哲学下,恢复到抛出点并继续执行被认为是不合适的,因为这会增加代码的复杂性,并且容易导致不可预测的行为。
用户评论