使用 noexcept 我们需要知道什么?
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 我们需要知道什么?的更多相关文章
- C++11异常处理 noexcept
1.简介 在C语言中,如果程序的运行出现异常.错误,我们想提供方案处理这些异常时,我们面临许多问题,如: (1)C语言没有提供统一(标准)的方式来处理错误: (2)无法保证错误会被正确的处理: (3) ...
- C++11 带来的新特性 (3)—— 关键字noexcept
1 关键字noexcept 从C++11开始,我们能看到很多代码当中都有关键字noexcept.比如下面就是std::initializer_list的默认构造函数,其中使用了noexcept. co ...
- 为什么移动构造要使用noexcept
vector::push_back操作,保证了如果过程中出现异常,vector不会发生变化. push_back过程中,可能会因为已有内存空间不够,申请新的内存,同时把原内存中已有的元素,放到新申请的 ...
- Item 14: 如果函数不会抛出异常就把它们声明为noexcept
本文翻译自modern effective C++,由于水平有限,故无法保证翻译完全正确,欢迎指出错误.谢谢! 博客已经迁移到这里啦 在C++98中,异常规范(exception specificat ...
- c++11 noexcept修饰符
c++11 noexcept修饰符 #define _CRT_SECURE_NO_WARNINGS #include <iostream> #include <string> ...
- noexcept(c++11)
1.概念 1)c++中的异常处理是在运行时而不是编译时检测的,为了实现运行时检测,编译器可能会创建额外的异常处理代码,然而这会妨碍程序优化 2)noexcept说明符:若修饰函数(紧跟在参数列表后面) ...
- C++2.0新特性(三)——<=default,=delete、alias(别名)、noexcept、override、final、以及和const对比>
一.=default,=delete 1.首先我们要回顾一下类默认函数的概念: C++中,当我们设计与编写一个类时,若不显著申明,则类会默认为我们提供如下几个函数: (1)构造函数(A()).(2)析 ...
- c++ 从vector扩容看noexcept应用场景
c++11提供了关键字noexcept,用来指明某个函数无法--或不打算--抛出异常: void foo() noexcept; // a function specified as will nev ...
- C++11 noexcept 关键字用法学习
最近学习和写了一个 mint 的板子 ,其中用到了 noexcept 关键字,对这个关键字不太熟悉,便学习一下刘毅学长的文章. C++98 中的异常规范(Exception Specification ...
随机推荐
- uni-app阻止事件向父级冒泡
在官网找到的就只有这个方法,但是我放在app项目里并不支持,所以就想到vue的阻止事件冒泡的方法,现在分享,免得大家踩坑 <view class="parent" @ ...
- Java 使用线程池执行若干任务
在执行一系列带有IO操作(例如下载文件),且互不相关的异步任务时,采用多线程可以很极大的提高运行效率.线程池包含了一系列的线程,并且可以管理这些线程.例如:创建线程,销毁线程等.本文将介绍如何使用Ja ...
- 对于k8s微服务的性能测试监控平台搭建
之前有写过对于传统项目的性能测试监控,但是对于目前市场占比已经很低,大部分项目使用k8s,今天讲一下对于k8s如何去监控. 对于k8s的监控我们所有的操作都要在master下进行. 一.部署grafa ...
- 【渲染引擎】Blender的2021年最佳渲染引擎(上)
Blender最终摆脱了"古怪的孩子"的装束,并穿上了更为严肃和受人尊敬的" 3D强者". 它已在业界获得广泛认可,许多工作室和艺术家正在将其纳入他们的产品线. ...
- Spring Security OAuth2.0认证授权五:用户信息扩展到jwt
历史文章 Spring Security OAuth2.0认证授权一:框架搭建和认证测试 Spring Security OAuth2.0认证授权二:搭建资源服务 Spring Security OA ...
- 【Redis3.0.x】数据类型
Redis3.0.x 数据类型 五大数据类型 String(字符串) string 是 redis 最基本的类型.可以理解成与 Memcached 一模一样的类型,一个 key 对应一个 value. ...
- 总结下MySql优化。防止数据灾难的发生。
在PHP开发中用到的数据库中MySql是最牛逼的数据库,没有之一--^_^ 相比Sqlite个人最喜欢的特性就是"支持多线程,充分利用 CPU 资源",不像Sqlite那样,动不动 ...
- Payment Spring Boot 1.0.4.RELEASE 发布,最易用的微信支付 V3 实现
Payment Spring Boot 是微信支付V3的Java实现,仅仅依赖Spring内置的一些类库.配置简单方便,可以让开发者快速为Spring Boot应用接入微信支付. 欢迎ISSUE,欢迎 ...
- 修改机器的hostname
vi /etc/sysconfig/network hostname=你想设置的主机名 不重启器的情况下使显示名称变成 hostname 主机名
- 【函数分享】每日PHP函数分享(2021-1-19)
substr 函数返回字符串的一部分.注释:如果 start 参数是负数且 length 小于或等于 start,则 length 为 0. string substr (string $string ...