Effective C++: noexcept

最新推荐文章于 2023-04-09 15:38:02 发布
最新推荐文章于 2023-04-09 15:38:02 发布
阅读量124 收藏
点赞数
原文链接：https://my.oschina.net/SHIHUAMarryMe/blog/683754
版权
本文深入探讨C++11引入的noexcept关键字，解释其在指定函数是否抛出异常中的作用，以及C++17对其所做的增强。通过多个示例演示noexcept如何影响函数行为，并介绍其在类析构函数中的默认应用。
摘要由CSDN通过智能技术生成

2019独角兽企业重金招聘Python工程师标准>>> hot3.png

在正式进入正题之前我们需要了解一点别的知识: 函数签名(function signature).

    具体请参阅这里: http://blog.csdn.net/weiwangchao_/article/details/7165467

 

  • 自从C++11起提供了关键字noexcept,用来指明某个函数无法或不打算抛出异常.

另外需要注意的是noexcept(expression)中:

expression的值必须是编译时就得到的(during compling).

例如:

void foo()noexcept;

声明了foo()不打算抛出异常。

但是如果foo()内有异常未被处理，也就是说在我们指定了noexcept的情况下foo()仍然抛出了异常，程序会被终止，然后std::terminal()会调用std::abort().(调用std::abort()也就带来了一个问题，会立刻终止该函数，停止程序，而不做任何清理).

还有需要注意的是noexcept,不会造成stack unwinding(栈展开),也就是说可以表现不抛出异常而不需要额外的开销.

我们再开看一个例子:

像 void foo() noexcept中的noexcept,其实相当于noexcept(true).也就是说我们可以指定一个条件。如果noexcept(false)那么表明有抛出异常的可能。

pair& operator=(pair&& p)noexcept(std::is_nothrow_move_assignable<T1>::value &&
                                  std::is_nothrow_move_assginable<T2>::value);

上面的例子中用到了#include<type_traits>中的std::is_nothrow_move_assignable(用来检查针对传入的类型时候存在一个不抛出异常的移动赋值运算符(move-assgin)

demo1(可以编译通过):

#include <iostream>
#include <exception>

void func1(const int& number)
{
	throw std::runtime_error{ "funct1 error!" };
}

int main()
{
	func1(10);

	return 0;
}

 

demo2(会产生编译警告,错误的写法实际中不要这么用):

#include <iostream>
#include <exception>

void func1(const int& number)noexcept
{
	throw std::runtime_error{ "funct1 error!" };
}

int main()
{
	func1(10);

	return 0;
}

 

demo3(编译通过,但需要特别注意的是，这也是错误的):

#include <iostream>
#include <exception>

void func1(const int& number)noexcept //noexcept(true)
{
	try {
		throw std::runtime_error{ "funct1 error!" };

	}catch (const std::runtime_error& error) {
		std::cerr << error.what() << std::endl;
	}

	std::cout << "<---------------------->" << std::endl;
}

int main()
{
	func1(10);

	return 0;
}

 

  • 从C++17开始noexcept成为了函数类型(function type)的一部分,但它不是函数签名(function signature)的一部分.

demo1:

//尽管异常级别不同，但是由于noexcept只作为function type的一部分，比不能用来overload.
//就像函数返回类型(function return type)一样,也不能用来作为重载的依据.
void f() noexcept;
void f(); // error: different exception specification

 

demo2:

void ft(); // potentially-throwing
void (*fn)() noexcept = ft; // error

 

demo3:  针对虚函数

struct B {
   virtual void f() noexcept;
   virtual void g();
   virtual void h() noexcept = delete;
};
struct D: B {
   void f();              // ill-formed: D::f is potentially-throwing, B::f is non-throwing
   void g() noexcept;     // OK
   void h() = delete;     // OK
};

 

  • noexcept从C++17开始除了可以指定一个函数不throw异常外(相当于C++11之前的throw()),还提供了限制异常的扩散.具体如何限制呢？

demo1:

#include <iostream>


using namespace std;


void Throw() { throw 1; } 
void NoBlockThrow() { Throw(); } 
void BlockThrow() noexcept { Throw(); }//注意指定了noexcept
void BlockThrowNoException()noexcept { throw 1; }

int main()
{

	//case 1: 能够catch到.
	try {
		Throw();
	}
	catch (...) {
		cout << "Found throw." << endl; 
	}


	//case 2: 能够catch到.
	try {
		NoBlockThrow();
	}
	catch (...) {
		cout << "Throw is not blocked." << endl; 
	}


	//case 3: 不能catch到.
	try {
		BlockThrow(); 
	}
	catch (...) {
		cout << "Found throw 1." << endl;
	}


	//case 4: 不能catch到.
	try {
		BlockThrowNoException();
	}
	catch (...) {
		cout << "Found throw 1." << endl;
	}

	return 0;
}

 

  • 而同样出于安全考虑，自C++11标准中让类的析构函数默认也是noexcept(true)的(无论是我们自己定义的还是default)。当然，如果显式地为析构函数指定了noexcept(false)或者类的基类或成员有noexcept(false)的析构函数，析构函数就不会再保持默认值。

demo1:所有成员函数均为default

输出均为: true

#include <iostream>




class Test1
{
public:
	//Test1() {}
	//Test1(const Test1&) noexcept(false)/*= default;*/ {}
	//Test1(Test1&&) noexcept(false) {}

	//Test1& operator=(const Test1&) = default;
	//Test1& operator=(Test1&&) = default;
	//~Test1() = default;
};


int main()
{
	Test1 test1;
	std::cout << std::boolalpha;

	//输出均为: true;
	std::cout << noexcept(Test1{}) << std::endl
		<< noexcept(std::declval<Test1>().~Test1()) << std::endl
		<< noexcept(Test1{ std::declval<Test1>() }) << std::endl
		<< noexcept(Test1{ test1 }) << std::endl
		<< noexcept(Test1{}.operator=(test1)) << std::endl
		<< noexcept(Test1{}.operator=(std::declval<Test1>())) << std::endl;


	return 0;
}

 

 

demo2:  自定义析构函数(destroy)

产生编译警告，且无法catch到exception.

#include <iostream>




class Test1
{
public:
	~Test1()
	{
		throw 1;
	}
};


int main()
{

	try {
		Test1 test;

	}
	catch (...)
	{
		std::cout << "Catched the exception!" << std::endl;
	}


	return 0;
}

 

demo3: 自定义构造函数(constructor)，但是需要注意的是copy/move-constructor, copy/move-operator=都是default的！

#include <iostream>




class Test1
{
public:
	Test1() {}
	//Test1(const Test1&) noexcept(false)/*= default;*/ {}
	//Test1(Test1&&) noexcept(false) {}

	//Test1& operator=(const Test1&) = default;
	//Test1& operator=(Test1&&) = default;
	//~Test1() = default;
};


int main()
{
	Test1 test1;
	std::cout << std::boolalpha;

	std::cout << noexcept(Test1{}) << std::endl                                                         //false
		<< noexcept(Test1{ std::declval<Test1>() }) << std::endl
		<< noexcept(Test1{ test1 }) << std::endl
		<< noexcept(Test1{}.operator=(std::declval<Test1>())) << std::endl             //false
		<< noexcept(Test1{}.operator=(test1)) << std::endl                                      //false
		<< noexcept(std::declval<Test1>().~Test1()) << std::endl;


	return 0;
}

 

demo4:成员的析构函数potentially-throw

#include <iostream>


struct Test
{
	~Test()noexcept(false) {}
};

class Test1
{
private:
	Test t;

public:
	//Test1() {}
	//Test1(const Test1&) noexcept(false)/*= default;*/ {}
	//Test1(Test1&&) noexcept(false) {}

	//Test1& operator=(const Test1&) = default;
	//Test1& operator=(Test1&&) = default;
	~Test1() = default;
};


int main()
{
	Test1 test1;
	std::cout << std::boolalpha;

	std::cout << noexcept(Test1{}) << std::endl                                                         //false
		<< noexcept(Test1{ std::declval<Test1>() }) << std::endl
		<< noexcept(Test1{ test1 }) << std::endl
		<< noexcept(Test1{}.operator=(std::declval<Test1>())) << std::endl             //false
		<< noexcept(Test1{}.operator=(test1)) << std::endl                                      //false
		<< noexcept(std::declval<Test1>().~Test1()) << std::endl;                          //false


	return 0;
}
  •  template with noexcept operator

函数模板(function template)在声明(declare)中如果带有noexcept operator,在声明这个函数的时候是不会实例化(instantiate)异常级别的(当然可以通过特例化来完成强行异常指定),只有在需要(in needed)的时候才会.

demo 1:

#include <iostream>

struct A{
};

struct B{
    int x;
};

template<typename T>
void func()noexcept(sizeof(T) >= 4)
{
    std::cout << "test" << std::endl;
}

typedef void (*forA)()noexcept(false);
typedef void (*forB)()noexcept(true);

int main()
{
    forA a = func<A>;
    forB b = func<B>;

    return 0;
}

  

转载于:https://my.oschina.net/SHIHUAMarryMe/blog/683754

weixin_34319817
关注
【再回首Python之美】【异常处理】try-except
蔚蓝的天空Tom
02-07 8074
使用方法直接跳看：推荐使用的异常处理流程；推荐的内建函数的封装函数异常处理必要性     为了保证程序的健壮性，将可能出现异常退出的代码用try……except来处理捕获异常的各种方法    1.捕获所有异常print "\r\n=======try-except=========" try: open('unexistFile') except: print "failed to...
Effective Modern C++ noexcept
风吟
02-07 162
我们知道关于函数发射异常这件事，真正重要的信息是他会不会发射异常。在C++11中，无条件的为函数声明noexcept就是为了不会发射异常的函数而准备的。函数是否要加上如此声明，事关接口的设计。当我们知道函数不会发射异常但却没有为函数加上noexcept，这就是接口规格设计存在缺陷。 为不会发射异常的函数加上noexcept，可以让编译器生成更好的代码（也就是说对代码会进行优化）。在带有noexc...
C++的throw抛出异常机制
ArtAndLife的博客
08-22 1万+
关于C++的“抛出异常”机制： 关键点： （1）throw是将抛出的表达式的值拷贝到“异常对象”中，catch则是根据异常对象进行参数匹配并处理异常； （2）throw可一次性跳出多层函数调用，直到最近一层的try语句，称为“栈展开”； （3）catch捕获时是将异常对象与catch参数的进行 类型比较，而不是值比较，所以只要类型相同，就可以进入catch中处理。（例如throw抛出一个int类型的值，catch(int &i)就可以对其进行处理；或者throw抛出一个类对象，catch(Base&
C++11多线程
qq_48201696的博客
12-30 1067
C++11多线程 C++11标准，头文件thread,可用于简单地创建一个可单独执行的执行单元，用gcc编译器在编译的时候因为Linux标准库中是不默认包含pthread.a静态库的，需要在编译选项后面添加-lpthread选项 # 比如程序为main.cpp,要生成main_exe可执行文件 # gcc命令为 # 需要在后面添加lpthread选项 g++ -o main_exe main.cpp -lpthread 构造函数 thread用于创建一个单线程的对象类型为thread`，可用其定义
depthai_cpp_example编译报错
最新发布
I_m_Gagaga的博客
04-09 187
depthai_cpp_example编译报错
Effective Modern C++:改善C++11和C++14的42个具体做法(中文版 + 英文版)
10-30
《Effective Modern C++:改善C++11和C++14的42个具体做法(影印版)(英文版)》中包括以下主题：剖析花括号初始化、noexcept规范、完美转发、智能指针make函数的优缺点；讲解std∷move，std∷forward，rvalue引用和...
Effective Modern C++：类型推导与最佳实践
"Effective Modern C++ sample" 本书《Effective Modern C++》由著名C++专家Scott Meyers撰写，专注于介绍C++11和C++14标准中的新特性和最佳实践。第一章主要关注类型推导，包括模板类型推导、自动类型推导、...
More Effective C++
10-10
《More Effective C++》是Bjarne Stroustrup所著的经典C++编程指南，它针对已经熟悉C++基础的开发者，提供了35个设计和编程准则，以帮助他们编写更高效、更健壮的代码。这本书是C++程序员进一步提升技能的必备读物。...
Effective.Modern.C++.zip
09-14
C++ programming (i.e., C++98) require revision for software development in modern C++ Effective Modern C++ follows the proven guideline-based, example-driven format of Scott Meyers' earlier books, but...
Effective Modern C++.7z
05-23
11. **异常安全保证（Exception Safety）**：C++11鼓励编写异常安全的代码，比如提供noexcept关键字声明函数不抛异常，以及确保在异常发生时，资源能得到正确释放。 12. **统一初始化（Uniform Initialization）**...
Linux 命令
Free Bar
09-03 8675
linux 查看系统信息命令是linux初学者必备的基础知识, 这些命令也非常有用, 因为进入linux第一件事就可能是首先查看系统信息, 因此必要的系统的学习一下这些linux系统信息命令还是非常有必要的! 下面给除了各linux发行版比较常用的系统信息查询的命令, 大家可以参考, 同时也可以测试学习, 必要的时候man, 一定要学学使用man命令, 呵呵 # uname -a #
std的terminate函数
FinixLei的专栏 (https://github.com/FinixLei)
05-29 1万+
原文： http://en.cppreference.com/w/cpp/error/terminate 本文翻译比较晦涩，可以只是大致了解下，也可以参考原文。
C++11 多线程支持之std::thread
逗神大人的博客
01-03 2万+
从C++11开始，C++标准库已经支持了线程库了，其实在底层，仍旧使用的是平台相关的线程API 有了std::thread之后，我们就不用在不同的平台使用不同的API了，比如Unix平台使用pthread， windows平台使用WinSDK的CreateThread了，接口使用去掉了平台差异性，使得项目开发具有更好的移植性1. std::thread的使用方法A. 所需头文件#include <
c++ map底层实现原理_GCC中unordered_(multi)set/map的实现原理 （Part 1 继承体系)
weixin_39836898的博客
11-25 635
写在前面（本专栏仅是个人笔记本，可能有错漏部分）哈希容器一共有4种，unordered_set, unordered_multiset, unordered_map, unordered_multimap。GCC试图在一个模板类_Hashtable中实现4种容器。这使得_Hashtable的代码变得较为复杂。如何做到一个模板表达4种容器呢？libstdc++的做法是将哈希容器公有的代码抽取出来，写...
noexcept详细讲解
半壶老酒
03-02 1万+
相比于断言适用于排除逻辑上不可能存在的状态，异常通常是用于逻辑上可能发生的错误。在C++98中，我们看到了一套完整的不同于C的异常处理系统。通过这套异常处理系统，C++拥有了远比C强大的异常处理功能。在异常处理的代码中，程序员有可能看到过如下的异常声明表达形式：void excpt_func() throw(int, double) { ... }    在excpt_func函数声明之后，我
C++11 noexcept
热门推荐
程序员Link
01-10 2万+
C++11 引入了noexcept，它有两类作用：noexcept 指定符和noexcept 运算符。 一noexcept 指定符 1 含义：指定函数是否抛出异常。 2 两类语法： noexcept (1) 同noexcept(true) noexcept(expression) (2) 3 解释 C++17起： 规定noexcept是函数类型的一部分，并可以作为...
《C++11标准库》3.1.7关键字 noexcept
weixin_60351940的博客
04-22 596
C++11提供了关键字 noexcept，用来指明某个函数无法—或不打算抛出异常。例如： void foo() noexcept; 声明了 foo() 不打算抛出异常。若有异常未在 foo() 内被调用—亦即如果 foo() 抛出异常，程序会被终止，然后 std::terminate() 被调用并默认调用 std::abort() 。 noexcept 瞄准了空异常明细所显示的许多问题。 运行期检验：C++异常明细仍是被检验于运行期而非编译期，所以它无法对程序员保证每个异常都被处理。
C++11 元编程 判断是否有std::hash＜T＞特例并提供hash函数通用实现
10km的专栏
12-14 5454
std::hash的用途std::hash是C++11提供的一元函数模板，用于向标准库提供返回数据类型T哈希值(hash value)的哈希函数(hash function)。 std::hash只是定义了一个一元操作符operator(),接受一个T类型的参数，返回一个size_t类型的哈希值, C++11为所有基本类型(basic types)都提供了特例化实现： C
c++11特性
weixin_30254435的博客
08-16 305
0. 简介 在c++11标准中, 语言本身和标准库都增加了很多新内容. 里面的某些特性, 会让你在代码编写时更优雅. 我的环境: 系统: ubuntu16.04 g++版本: g++5.4.0 使用c++11特性编译时需加参数 -std=gnu++11 或 -std=c++11 1. 特性 1.1 nullptr NULL可以直接赋值给bool, int,...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值