如何处理定义为 noexcept 的函数引发的异常？

Question

据说定义一个函数为noexcept会让编译器做一些优化来提升程序，如果函数需要抛出，编译器会抑制优化。

这是我的简单 sn-p：

void func() noexcept(true){
    std::vector<int> vec{2, 4, 6, 8}; // vec is a vector of 4 ints
    std::cout << vec.at(5); // throws
}

int main(){

    try{
        func();
    }
    catch(std::exception const& e){
        std::cout << e.what() << '\n';
    }
    catch(...){
        //
    }

}

• 为什么我无法捕获异常？我确定是因为noexcept 异常规范。那么，如果一个函数被标记为noexcept 但抛出了异常，如何捕获它的异常而不是让程序调用std::terminate() 来结束程序呢？

Answer 1

为什么我无法捕捉到异常？

因为函数是noexcept。这正是它的意思。声明一个函数noexcept 是一个承诺，不会从函数中抛出任何东西。因此，编译器不需要生成异常处理代码。如果该承诺被破坏，则无法处理异常，唯一合理的方法是终止。

如果一个函数被标记为 noexcept 但抛出异常会发生什么

如果noexcept函数抛出异常，则终止进程。

以及如何捕获它的异常而不是让程序调用 std::terminate() 来结束程序？

无法捕获noexcept 函数抛出的异常。您的选择是：

• 接受如果发生这种情况，进程将被终止。
• 不要让noexcept 函数抛出异常，从而避免终止。请注意，扔进去是可以的，只要不扔东西。
• 不要将抛出的函数声明为noexcept，以便您处理异常。