noexcept 关键字

noexcept 是什么?

noexcept 是自 C++11 引入的新特性,指定函数是否可能会引发异常,以下是 noexcept 的标准语法:

noexcept-expression:

    noexcept

    noexcept(** *constant-expression* **)

constant-expression 是一个 bool 类型的常量表达式,是一种异常规范(exception specification),属于C++的语言特性,表示是否会发生异常。

noexcept 等效于 noexcept(true)

noexcept(true) 或者 noexcept 表示函数不会抛出或者传递异常,如果函数发生异常,将调用 std::terminate 立即终止程序。

noexcept(false) or 或者不使用 noexcept (析构函数或释放函数默认声明为 noexcept), 表示函数所有可能的异常都会被抛出.

应该使用 nonexcept 的情形

建议将所有不会抛出异常(包括以后)的函数声明为 noexcept

当函数声明为 noexcept 后,编译器能够在一些不同的上下文环境中产生更加高效的代码。

不应该使用 nonexcept 的情形

函数可以标记为 noexcept 当且仅当内部调用的所有函数也都直接或者间接的标记为 noexcept 或者 const

编译器没有义务检查所有层级代码是否会抛出异常到 noexcept 函数。

如果标记了 noexcept 的函数确实抛出了异常,那么std::terminate将会被立即调用,并且不能保证函数内部的对象能够被析构。

比起优化,正确性更为重要。

当你在最开始声明一个函数为 noexcept, 而后又反悔想要去掉 noexcept 标记,那么你将会影响到调用端的代码。

示例

下面的函数被标记为有条件的 noexcept:函数是否为 noexcept 取决于 noexcept 的子句表达式是否为 noexcept

例如,有两个包含 Widget 对象的数组,交换两个数组的函数是否为 noexcept 取决于 交换两个数组中元素的函数是否为 noexcept,即,交换两个 Widget 对象是否为 noexcept

因此 Widget 对象 swap 的实现决定了 Widget 数组的交换函数是否为 noexcept

同样地,包含 Widgets 的 std::pair 对象的交换函数是否应该为 noexcept 取决于交换两个 Widget 对象是否为 noexcept

上层的数据结构操作可以为 noexcept 仅当下层的数据结构操作为 noexcept。这就促使你,只要允许,就尽可能地提供 noexcept 的函数。

template <class T, size_t N>
void swap(T (&a)[N], T (&b)[N]) noexcept(noexcept(swap(*a, *b))); template <class T1, class T2>
struct pair {

void swap(pair& p) noexcept(noexcept(swap(first, p.first)) && noexcept(swap(second, p.second)));

};

总结

  • noexcept 是函数接口的一部分,这意味着调用者会依赖它。
  • noexcept 函数可优化性要高于 non-noexcept 函数。
  • noexcept 用在数据移动,交换,内存释放函数,析构函数中会更有价值。
  • 大多数函数本质上是属于 non-noexcept 的。

扩展

在 C++17 之前还有一种异常规范 (dynamic exception pecification) throw(optional_type_list)

C++17 之后 throw(optional_type_list) 已被移除(除了 throw()),throw() 等同于 noexcept

应该避免使用 throw(optional_type_list) 或者 throw()

使用 noexcept 我们需要知道什么?的更多相关文章

  1. C++11异常处理 noexcept

    1.简介 在C语言中,如果程序的运行出现异常.错误,我们想提供方案处理这些异常时,我们面临许多问题,如: (1)C语言没有提供统一(标准)的方式来处理错误: (2)无法保证错误会被正确的处理: (3) ...

  2. C++11 带来的新特性 (3)—— 关键字noexcept

    1 关键字noexcept 从C++11开始,我们能看到很多代码当中都有关键字noexcept.比如下面就是std::initializer_list的默认构造函数,其中使用了noexcept. co ...

  3. 为什么移动构造要使用noexcept

    vector::push_back操作,保证了如果过程中出现异常,vector不会发生变化. push_back过程中,可能会因为已有内存空间不够,申请新的内存,同时把原内存中已有的元素,放到新申请的 ...

  4. Item 14: 如果函数不会抛出异常就把它们声明为noexcept

    本文翻译自modern effective C++,由于水平有限,故无法保证翻译完全正确,欢迎指出错误.谢谢! 博客已经迁移到这里啦 在C++98中,异常规范(exception specificat ...

  5. c++11 noexcept修饰符

    c++11 noexcept修饰符 #define _CRT_SECURE_NO_WARNINGS #include <iostream> #include <string> ...

  6. noexcept(c++11)

    1.概念 1)c++中的异常处理是在运行时而不是编译时检测的,为了实现运行时检测,编译器可能会创建额外的异常处理代码,然而这会妨碍程序优化 2)noexcept说明符:若修饰函数(紧跟在参数列表后面) ...

  7. C++2.0新特性(三)——<=default,=delete、alias(别名)、noexcept、override、final、以及和const对比>

    一.=default,=delete 1.首先我们要回顾一下类默认函数的概念: C++中,当我们设计与编写一个类时,若不显著申明,则类会默认为我们提供如下几个函数: (1)构造函数(A()).(2)析 ...

  8. c++ 从vector扩容看noexcept应用场景

    c++11提供了关键字noexcept,用来指明某个函数无法--或不打算--抛出异常: void foo() noexcept; // a function specified as will nev ...

  9. C++11 noexcept 关键字用法学习

    最近学习和写了一个 mint 的板子 ,其中用到了 noexcept 关键字,对这个关键字不太熟悉,便学习一下刘毅学长的文章. C++98 中的异常规范(Exception Specification ...

随机推荐

  1. go跳出多层循环的几种方式

    前言 比如这样的需求, 遍历一个 切片, 切片内容是切片1, 需求是判断切片1中某个是否有相应数据, 有就返回 正文 我们需要考虑的是在写两层遍历时如何在获取结果后结束这两层遍历 变量法 设置一个变量 ...

  2. 【Flutter】可滚动组件之滚动控制和监听

    前言 可以用ScrollController来控制可滚动组件的滚动位置. 接口描述 ScrollController({ // 初始滚动位置 double initialScrollOffset = ...

  3. Dubbo 配置的加载流程

    配置加载流程 在SpringBoot应用启动阶段,Dubbo的读取配置遵循以下原则 Dubbo支持了多层级的配置,按照预先定义的优先级自动实现配置之间的覆盖,最终所有的配置汇总到数据总线URL后,驱动 ...

  4. python学习笔记 | 国内常用源镜像地址

    各镜像列表 清华:https://pypi.tuna.tsinghua.edu.cn/simple 阿里云:http://mirrors.aliyun.com/pypi/simple/ 中国科技大学 ...

  5. Java开发手册之工程结构

    1.在线上生产环境,JVM 的 Xms 和 Xmx 设置一样大小的内存容量,避免在 GC 后调整堆大小带来的压力. 2.给 JVM 环境参数设置-XX:+HeapDumpOnOutOfMemoryEr ...

  6. Java开发手册之安全规约

    1.用户敏感数据禁止直接展示,必须对展示数据进行脱敏.例如手机号.银行卡号等,中间要用*隐藏. 2.发贴.评论.发送即时消息等用户生成内容的场景必须实现防刷.文本内容违禁词过滤等风控策略,一般是用验证 ...

  7. 【Oracle】想查询相关的v$视图,但是提示表或视图不存在解决办法

    原因是使用的用户没有相关的查询权限导致 解决办法: grant select  any dictionary to 用户;    --这个权限比较大 这个权限是最低的要求,但是可以访问到v$相关视图 ...

  8. 集成多种协议、用于 USB-A 和 TYPE-C 双端口输出的快充协议芯片IP2726

    1. 特性  支持 1A1C  支持 USB-A 和 TYPE-C 双端口输出  单口输出支持全部快充协议  双口同时插入时降压到 5V  快充规格  集成 QC2.0/QC3.0/QC4/QC4+输 ...

  9. Python 中 lru_cache 的使用和实现

    在计算机软件领域,缓存(Cache)指的是将部分数据存储在内存中,以便下次能够更快地访问这些数据,这也是一个典型的用空间换时间的例子.一般用于缓存的内存空间是固定的,当有更多的数据需要缓存的时候,需要 ...

  10. 前端知识(一)05 axios-谷粒学院

    目录 一.axios的作用 二.axios实例 1.复制js资源 2.创建 axios.html 3.引入js 4.启动课程中心微服务 5.编写js 6.html渲染数据 7.跨域 8.使用生命周期函 ...