More Effective C++ Item14：明智运用exception specifications

标签：callback   定义   cal   effective   另一个   做了   声明   spec   机制   

使用exception specifications你必须非常仔细去确保，函数调用的子函数、注册的回调函数不会违背约定。而设计模板内部的异常更难确保。

设计回调机制的时候，如果调用方规定了不抛出异常，就必须确保注册进来的函数均不会抛出异常，书上给出了这样的做法：

typedef void(*CallBackPtr)(
    int eventXLocation,
    int eventYLocation,
    void *dataToPassBack
    ) throw();

并以CallBackPtr类型注册函数。SM大大自己也提到，标准不允许typedef内出现exception specifications，而这是许多编译器心照不宣的做法。

VC++的做法是这样的：VC++有这样一个extended attribute syntax叫做__declspec，声明函数时加上__declspec(nothrow)就可以有和throw()一样的效果了。MSDN上给的例子https://msdn.microsoft.com/en-us/library/49147z04.aspx：

#define WINAPI __declspec(nothrow) __stdcall

并指出对于大量声明函数很方便。

编译器并不为exception specifications负责！最多给个警告，剩下就都是运行时的事情了。

运行时抛出不在exception specifications之列的异常会调用unexpected函数，条款14推荐的做法之一是利用set_unexpected重定义unexpected，抛出一个自定的“未知异常”，并在所有的exception specifications加入这个东西。但是亲测VS2015的set_unexpected并不会正确表现。

另一个做法就是将新的unexpected函数写为直接throw;出去，这样会转而抛出std::bad_exception，再将这个列入exception specifications即可。而这样高层也许做了很多准备迎接异常也会被底层的“好意”而浪费，这需要的就是工程上的统一了。

More Effective C++ Item14：明智运用exception specifications

标签：callback   定义   cal   effective   另一个   做了   声明   spec   机制   

原文地址：http://www.cnblogs.com/jily/p/6389338.html