学习笔记：noexcept

        exception是C++的信息传送机制，一般的用于报告坏消息，比如破产通知书，消防停业整改通知书等。也不排除有人用它当快递用，送录取通知书等好消息。exception系统的高效在于，它是P2P传送的，第一个P点的人想传送一个什么东西，就调用 throw a; 第二个P点的人想接收，就调用catch (A a); 好像是透传的，自动的一样。传统的方法是，1）接力法：多层嵌套的函数一层层返回，每一层都要处理上层的返回信息，中转接力，直到最终达到某个外层函数能处理妥当那个错误为止。2) 公告法：设置一个全局变量比如errno，让调用者自己去看公告牌。如果不看公告牌，后果自负。3）装傻法：装作什么也没发生，直到这个错误向外抛送到现实世界中，某个客户少了一百万元，投诉到央视曝光。exception系统配合RAII系统，使正常流程简洁清晰，错误处理责任明确，资源管理傻瓜式。

       exception是个好东西，此机制要求100%结案率，一个错误都不能放过。很多人都遇到过uncaught exception问题，就是漏了一个异常，程序退出了。这是好事，倒逼着程序员穷尽所有错误可能，不能装傻装不知道。即使catch(...)，也绝不能对这种情况等闲视之，否则错误终有一天显露于天下（例如客户账户少了一百万）。

       为了不漏补exception，首先必须知道可能会发生哪些。程序员最初希望通过一个“异常声明”，提示给函数使用者。     

void foo(int x) throw(A,B,C);

       throw(A,B,C) 就是一个有关本函数可能抛出的exception的声明。说foo函数，可能抛A类型，B类型，C类型的例外。

void bar() throw(float,double,char){
    throw 'c';
}

void maa() throw(double, short){
    throw 'c';
}


void foo() throw (float,double,char,short,int){
    bar();
    int i=0;
    throw i;
}

int main()
{
    try{ foo(); }
    catch(...){}

    return 0;
}

       情况更复杂了，假如foo函数要调用bar函数，foo函数的作者要先考察bar的exception specification.  合并到自己的exception specification。假设foo函数引用了10个函数，foo的作者就要把那10个函数的“常异规范”合并，排重。这是一个很枯燥，易出错的人工过程。如果遗漏，重复，编译器不做提示。这种情况，在include头文件时遇到过，但是预处理器能很好的处理。可惜，没有工具支持“异常规范”的管理，因此是程序员的巨大负担，也因此没人使用这种“异常规范”。甚至某些编译器厂商都拒绝实现它。比如微软的VC，一直就忽悠说下一个版本支持，但是一直没支持，一直坚持到老版本的异常规范被deprecated了。微软真是赚大了。

       新的标准是 noexcept。只对异常的存在性做声明：要么存在： noexcept(false) ，要么不存在：noexcept(true) 。这种方式简单多了，因此能被程序员接受