如何处理定义为 noexcept 的函数抛出的异常？

问题描述

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

这是我的简单片段：

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() 来结束程序？

解决方法

为什么我无法捕获异常？

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

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

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

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

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

• 接受如果发生这种情况，流程将被终止。
• 不要让 noexcept 函数抛出异常，从而避免终止。请注意，扔进去没问题，只要什么都不扔出去。
• 不要将抛出为 noexcept 的函数声明为允许您处理异常。