在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++11中使用noexcept可以有效地阻止异常的传播与扩散。我们可以看看下面这个例子,如下代码:
#include <iostream> using namespace std; void Throw() { throw 1; } void NoBlockThrow() { Throw(); } void BlockThrow() noexcept { Throw(); } int main() { try { Throw(); } catch(...) { cout << "Found throw." << endl; // Found throw. } try { NoBlockThrow(); } catch(...) { cout << "Throw is not blocked." << endl; // Throw is not blocked. } try { BlockThrow(); // terminate called after throwing an instance of 'int' } catch(...) { cout << "Found throw 1." << endl; } }
而noexcept作为一个操作符时,通常可以用于模板。比如:
template <class T>
void fun() noexcept(noexcept(T())) {}
比如在C++98中,存在着使用throw()来声明不抛出异常的函数。
template<class T> class A { public: static constexpr T min() throw() { return T(); } static constexpr T max() throw() { return T(); } static constexpr T lowest() throw() { return T(); } ...而在C++11中,则使用noexcept来替换throw()。
template<class T> class A { public: static constexpr T min() noexcept { return T(); } static constexpr T max() noexcept { return T(); } static constexpr T lowest() noexcept { return T(); } ...
而在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)的。当然,如果程序员显式地为析构函数指定了noexcept,或者类的基类或成员有noexcept(false)的析构函数,析构函数就不会再保持默认值。我们可以看看下面的例子,如下代码:
#include <iostream> using namespace std; struct A { ~A() { throw 1; } }; struct B { ~B() noexcept(false) { throw 2; } }; struct C { B b; }; int funA() { A a; } int funB() { B b; } int funC() { C c; } int main() { try { funB(); } catch(...){ cout << "caught funB." << endl; // caught funB. } try { funC(); } catch(...){ cout << "caught funC." << endl; // caught funC. } try { funA(); // terminate called after throwing an instance of 'int' } catch(...){ cout << "caught funA." << endl; } }
转载自: http://book.51cto.com/art/201306/400316.htm