c++11中的noexcept关键字

 更新时间:2022年07月20日 10:33:52   作者:却道天凉_好个秋  
这篇文章主要介绍了c++11中的noexcept关键字,具有很好的参考价值,希望对大家有所帮助。如有错误或未考虑完全的地方,望不吝赐教

c++11中noexcept关键字

1. 概念

noexcept关键字是c++11之后新增的。该关键字会告诉编译器,被修饰的函数不会发生异常,这有利于编译器对程序做更多的优化。

2. 两种形式

1)noexcept

2)noexcept(expression)

noexcept(true) 表示被修饰的函数不抛出异常,noexcept(false) 表示被修饰的函数会抛出异常。

3. 异常处理

//例1
bool Compare(int x, int y) throw()   //C++11之前
{
    return x > y;
}
 
//例2
bool Compare(int x, int y) noexcept(noexcept(x > y))  //C++11
{
    return x > y;
}

例2用到了noexcept运算符,表示,如果x > y不发生异常,则Compare函数不会发生异常。

4. 实现原理

noexecpt函数向外抛出了异常(如果函数内部捕捉了异常并完成处理,这种情况不算抛出异常),程序会直接终止,调用std::terminate()函数,该函数内部会调用std::abort()终止程序。

5. 使用场景

1)移动构造函数

2)移动分配函数

3)析构函数

4)叶子函数

c++11关键字noexcept替代throw

相比于断言适用于排除逻辑上不可能存在的状态,异常通常是用于逻辑上可能发生的错误。

在异常处理的代码中,程序员有可能看到过如下的异常声明表达形式:

void excpt_func() throw(int, double) { ... }

在excpt_func函数声明之后,我们定义了一个动态异常声明throw(int, double),该声明指出了excpt_func可能抛出的异常的类型。事实上,该特性很少被使用,因此在C++11中被弃用了(参见附录B),而表示函数不会抛出异常的动态异常声明throw()也被新的noexcept异常声明所取代。

noexcept形如其名地,表示其修饰的函数不会抛出异常。不过与throw()动态异常声明不同的是,在C++11中如果noexcept修饰的函数抛出了异常,编译器可以选择直接调用std::terminate()函数来终止程序的运行,这比基于异常机制的throw()在效率上会高一些。这是因为异常机制会带来一些额外开销,比如函数抛出异常,会导致函数栈被依次地展开(unwind),并依帧调用在本帧中已构造的自动变量的析构函数等。

noexcept修饰符有两种形式

  • 一种就是简单地在函数声明后加上noexcept关键字。比如:void excpt_func() noexcept; 
  • 另外一种则可以接受一个常量表达式作为参数,如下所示:void excpt_func() noexcept (常量表达式); 

常量表达式的结果会被转换成一个bool类型的值。该值为true,表示函数不会抛出异常,反之,则有可能抛出异常。这里,不带常量表达式的noexcept相当于声明了noexcept(true),即不会抛出异常。

在C++98中,new可能会包含一些抛出的std::bad_alloc异常。

void* operator new(std::size_t) throw(std::bad_alloc);  
void* operator new[](std::size_t) throw(std::bad_alloc);  

而在C++11中,则使用noexcept(false)来进行替代。  

void* operator new(std::size_t) noexcept(false);
void* operator new[](std::size_t) noexcept(false);  

当然,noexcept更大的作用是保证应用程序的安全。比如一个类析构函数不应该抛出异常,那么对于常被析构函数调用的delete函数来说,C++11默认将delete函数设置成noexcept,就可以提高应用程序的安全性。 

void operator delete(void*) noexcept;
void operator delete[](void*) noexcept;  

而同样出于安全考虑,C++11标准中让类的析构函数默认也是noexcept(true)的

另外:

void fun (); // 能抛出任何类型的异常
void fun () throw(except1,except2,except3) // 后面括号里面是一个异常参数表,本例中只能抛出这3中异常
void fun () throw()   // 参数表为空,不能抛出异常

以上为个人经验,希望能给大家一个参考,也希望大家多多支持脚本之家。

相关文章

  • C++ 指向类成员的指针

    C++ 指向类成员的指针

    指向类成员的指针总的来讲可以分为两大类四小类(指向数据成员还是成员函数,指向普通成员还是静态成员)
    2020-03-03
  • C++实现STL容器的示例

    C++实现STL容器的示例

    本文主要介绍了C++实现STL容器的示例,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2022-02-02
  • 使用C语言实现字符串逆序操作案例

    使用C语言实现字符串逆序操作案例

    这篇文章主要介绍了使用C语言实现字符串逆序操作案例,本文包含使用C语言的两种方法去实现,递归和非递归,以下就是详细内容,需要的朋友可以参考下
    2021-07-07
  • C语言实现简单贪吃蛇小游戏

    C语言实现简单贪吃蛇小游戏

    这篇文章主要为大家详细介绍了C语言实现简单贪吃蛇小游戏,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2020-09-09
  • 通过stringstream实现常用的类型转换实例代码

    通过stringstream实现常用的类型转换实例代码

    在本篇文章里小编给大家分享了关于通过stringstream实现常用的类型转换实例代码内容,需要的朋友们可以参考下。
    2020-04-04
  • C语言非递归后序遍历二叉树

    C语言非递归后序遍历二叉树

    这篇文章主要为大家详细介绍了C语言非递归后序遍历二叉树,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2017-10-10
  • C语言自定义类型的保姆级讲解

    C语言自定义类型的保姆级讲解

    这篇文章主要给大家介绍了关于C语言自定义类型的保姆级讲解,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
    2021-03-03
  • C++中new/delete与malloc/free的区别小结

    C++中new/delete与malloc/free的区别小结

    本文主要介绍了C++中new/delete与malloc/free的区别小结, malloc、free是C中的库函数 new、delete 是C++当中的操作符,读者可以更好地理解C++中内存管理的方式和优势
    2023-08-08
  • VC实现五子棋游戏的一个算法示例

    VC实现五子棋游戏的一个算法示例

    这篇文章主要介绍了VC实现五子棋游戏的一个算法示例,对于学习数据结构与算法的朋友有一定的借鉴价值,需要的朋友可以参考下
    2014-08-08
  • C++连接数据库SqlServer、MySql、Oracle、Access、SQLite、PostgreSQL、MongoDB、Redis

    C++连接数据库SqlServer、MySql、Oracle、Access、SQLite、PostgreSQL、Mong

    C++是一种通用的编程语言,可以使用不同的库和驱动程序来连接各种数据库,以下是一些示例代码,演示如何使用 C++ 连接 SQL Server、MySQL、Oracle、ACCESS、SQLite 、 PostgreSQL、MongoDB、Redis数据库
    2024-08-08

最新评论