C++ Primer 5th笔记（chap 18 大型程序工具）noexcept

1. 通过提供 noexcept 说明 ( noexcept specification ) 指定某个函数不会抛出异常。其形式是关键字 noexcept 紧跟在函数的参数列表后面

{// 紧跟在函数的参数列表后面// 该说明应该在函数的尾置返回类型之前// 在成员函数中，noexcept说明符应该出现在const以及引用限定之后// 而在final,override,或者虚函数的=0之前。void recoup(int) noexcept;//不会抛出异常void alloc(int);//可能会抛出异常//noexcept要么出现在该函数的所有声明和定义语句中//要么一次也不出现。//我们也可以在函数指针的声明和定义中指定noexcept//在typedef或类型别名中不能出现noexcept
}

对于一个函数来说， noexcept 说明要么出现在该函数的所有声明语句和定义语句中，要么一次也不出现。

该说明应该在函数的尾置返回类型之前。
也可以在函数指针的声明和定义中指定 noexcept。
在 typedef 或类型别名中则不能出现 noexcept。
在成员函数中， noexcept 说明符需要跟在 const 及引用限定符之后，而在 final、 override 或虚函数的=0 之前

1.1 违反异常说明

编译器并不会在编译时检查noexcept说明。如果在一个函数中说明了noexcept的同时又含有throw语句，或者调用可能抛出异常的其他函数，编译器将会顺序编译通过，并不会因为这种违反异常说明滚的情况而报错。（又可能会有编译器会提出警告）

// 尽管该函教明显违反了异常说明， 但它仍然可以顺利编译通过
void f ( ) noexcept //承诺不会抛出异常
{throw exception ( ); / / 违反了异常说明
}

因此可能会出现一个函数既声明了不会抛出异常，而又抛出了异常。此时，一旦抛出异常，程序就会调用terminate以确保遵守不在运行时抛出异常的承诺。上述过程对是否执行栈展开没有约定。
因此noexcept用在两种情况。

我们确认函数不会抛出异常
我们根本不会处理该异常

1.2 异常说明的实参

noexcept 说明符接受一个可选的实参，该实参必须能转换为 bool 类型：如果实参是 true，则函数不会抛出异常；如果实参是 false, 则函数可能抛出异常：

void recoup (int) noexcept (true); / / recoup 不会抛出异常
void alloc (int ) noexcept ( false);/ / alloc 可能抛出异常

1.3 noexcept 运算符 (noexcept operator)

noexcept 运算符是一个一元运算符，它的返回值是一个 bool 类型的右值常量表达式，用于表示给定的表达式是否会抛出异常
和sizeof一样，noexcept也不会对该表达式求值。

eg. noexcept (recoup (i) ) // 如果 recoup 不抛出异常则结果为 true; 否则结果为 falsenoexcept (e)
当 e 调用的所有函数都做了不抛出说明且 e 本身不含有 throw 语句时， 上述表达式为
true； 否贝lj noexcept (e> 返回 falsevoid f ( ) noexcept (noexcept (g ( > ) ); //f 和 g 的异常说明一致
如果函数 g 承诺了不会抛出异常， 则 f 也不会抛出异常； 如果 g 没有异常说明符， 或者 g
虽然有异常说明符但是允许抛出异常， 则 f 也可能抛出异常

1.4 异常说明与指针、虚函数和拷贝控制

1.4.1 指针

函数指针及该指针所指的函数必须具有一致的异常说明。

如果我们为某个指针做了不抛出异常的声明，则该指针将只能指向不抛出异常的函数。
如果我们显式或隐式地说明了指针可能抛出异常，则该指针可以指向任何函数，即使是承诺了不抛出
异常的函数也可以

// recoup和pf1都承诺不会抛出异常
// alloc可能会抛出错误
void (*pf)(int) noexcept = recoup;
void (*pf2)(int) = recoup;//正确
pf = alloc;//错误，
pf2 = alloc;//正确

1.4.2 虚函数

如果一个虚函数承诺了它不会抛出异常，则它后续的派生类的虚函数也必须做出同样的承诺。
如果基类的虚函数允许抛出异常时，我们可以设置派生类对应的函数不能抛出异常，当然也可以是允许抛出异常

class Base {public:virtual double f1(double) noexcept;// 显式和隐式地指出可能会抛出异常virtual int f2() noexcept(false);virtual void f3();
};class D : public Base {public:double f1(double);//错误，没有指明是noexceptint f2() noexcept(true);//正确，虽然基类的是可能抛出异常的void f3() noexcept;//正确，同上
};

1.4.3 拷贝控制成员

当编译器合成拷贝控制成员时，同时也生成一个异常说明符。
如果对所有成员和基类的所有操作都承诺了不会抛出异常，则合成的成员是noexcept的。
如果合成成员调用的任意一个函数可能会抛出异常，则合成的成员是noexcept(false)的。
-我们定义了一个析构函数，但是没有为它提供异常说明，编译器将会合成一个，合成的异常说明符将与假设编译器为类合成的析构函数时所得的异常说明一致。

C++ Primer 5th笔记（chap 18 大型程序工具）noexcept相关推荐

C++ Primer 5th笔记（chap 18 大型程序工具）使用命名空间成员
1. 3种方法 using 声明命名空间的别名( namespace alias) using 指示( using directive) 1.1 命名空间的别名 namespace cplusplu ...
C++ Primer 5th笔记（chap 18 大型程序工具）多重继承之构造函数、析构函数
1. 继承的构造函数与多重继承如果从多个基类中继承了相同的构造函数(即形参列表完全相同),则程序将产生错误 struct Basel {Basel () = default;Basel (const ...
C++ Primer 5th笔记（chap 18 大型程序工具）重载与命名空间
1. using 声明或 using 指示能将某些函数添加到候选函数集 2. 对于接受类类型实参的函数来说, 其名字查找将在实参类所属的命名空间中进行.在这些命名空间中所有与被调用函数同名的函数都将被 ...
C++ Primer 5th笔记（chap 18 大型程序工具）类、命名空间与作用域
1. 命名空间内部名字的查找规则由内向外依次查找每个外层作用域. 外层作用域也可能是一个或多个嵌套的命名空间, 直到最外层的全局命名空间查找过程终止. 只有位于开放的块中且在使用点之前声明的名字才被 ...
C++ Primer 5th笔记（chap 18 大型程序工具）未命名的命名空间unnamed namespace
1. 定义关键字 namespace 后紧跟花括号括起来的一系列声明语句 1.1 生命周期未命名的命名空间中定义的变量拥有静态生命周期: 它们在第一次使用前创建, 并且直到程序结束才销毁未命名的 ...
C++ Primer 5th笔记（chap 18 大型程序工具）内联命名空间 (inline namespace)
1. inline必须出现在命名空间第一次出现的地方 inline namespace FifthEd {//... }//后续再打开命名空间的时候可以写inline也可以不写 namespace F ...
C++ Primer 5th笔记（chap 18 大型程序工具）命名空间
1. 问题:命名空间污染 namespace pollution 多个库将名字放置在全局命名空间 1.1 一般人的解决方法起长名字 eg. class cplusplus_primer_Query ...
C++ Primer 5th笔记（chap 18 大型程序工具）异常处理
1. 异常处理 ( exception handling) 允许程序中独立开发的部分能够在运行时就出现的问题进行通信并做出相应的处理. 异常使得我们能够将问题的检测与解决过程分离开来. 程序的一部分负 ...
C++ Primer 5th笔记（chap 18 大型程序工具）构造函数与虚继承
1. 继承体系中的每个类都可能在某个时刻成为" 最低层的派生类". 只要我们能创建虚基类的派生类对象, 该派生类的构造函数就必须初始化它的虚基类. Bear::Bear (std: ...

C++ Primer 5th笔记（chap 18 大型程序工具）noexcept

C++ Primer 5th笔记（chap 18 大型程序工具）noexcept相关推荐

最新文章

热门文章