2023-2-19-什么是noexcept

最新推荐文章于 2025-04-27 15:22:04 发布

原创最新推荐文章于 2025-04-27 15:22:04 发布 · 405 阅读

CC 4.0 BY-SA版权

文章标签：

12 篇文章

订阅专栏

noexcept关键字用于告知编译器函数不会抛出异常，允许更优的代码生成。如果noexcept函数抛出异常，程序将直接终止。它常用于移动构造函数、移动赋值运算符和析构函数，以提升性能。条件性的noexcept使用允许在特定条件下保证无异常，如示例中的swap函数实现。

什么是noexcept

该关键字告诉编译器，函数中不会发生异常,这有利于编译器对程序做更多的优化。
如果在运行时，noexecpt函数向外抛出了异常（如果函数内部捕捉了异常并完成处理，这种情况不算抛出异常），程序会直接终止，调用std::terminate()函数，该函数内部会调用std::abort()终止程序。

C++中的异常处理是在运行时而不是编译时检测的。为了实现运行时检测，编译器创建额外的代码，然而这会妨碍程序优化。

使用noexcept表明函数或操作不会发生异常，会给编译器更大的优化空间。然而，并不是加上noexcept就能提高效率，步子迈大了也容易扯着蛋。
以下情形鼓励使用noexcept：

移动构造函数（move constructor）
移动分配函数（move assignment）
析构函数（destructor）。这里提一句，在新版本的编译器中，析构函数是默认加上关键字noexcept的。下面代码可以检测编译器是否给析构函数加上关键字noexcept

单独使用noexcept，表示其所限定的swap函数绝对不发生异常。然而，使用方式可以更加灵活，表明在一定条件下不发生异常。

   void swap(Type& x, Type& y) noexcept(noexcept(x.swap(y)))    //C++11
    {
        x.swap(y);
    }