C++里面catch对于类型转换，限制比参数传递时候要多：
不可以进行标准算术转换和类的自定义转换：在函数参数匹配的过程中，可以进行很多的类型转换。但是在异常匹配的过程中，转换的规则要严厉。
标准算术转换，指的是 short转成int 等等。异常catch的时候，不允许转换，指的是匹配的时候，就不会匹配上。比如下面：
#include <iostream> #include <exception> #include <stack> using namespace std; int main() { std::cout << "Hello, World!" << std::endl; stack<int> stk; //stk.push(5); try { //stk.pop(); short s = 5; throw s; } /*catch(runtime_error exception1) { std::cout << exception1.what() << endl; }*/ catch(int &x) { std::cout << x << endl; } catch (...) { cout << "here catch" << endl; } return 0; }
输出：
here catch
意味着，int对于short的catch没有接住。
另外，异常处理机制的匹配过程是寻找最先匹配（first fit），函数调用的过程是寻找最佳匹配（best fit）。
拷贝代价
如果throw中抛出一个对象，那么无论是catch中使用什么接收（基类对象、引用、指针或者子类对象、引用、指针），在传递到catch之前，编译器都会另外构造一个对象的副本。也就是说，如果你以一个throw语句中抛出一个对象类型，在catch处通过也是通过一个对象接收，那么该对象经历了两次复制，即调用了两次复制构造函数。
一次是在throw时，将“抛出到对象”复制到一个“临时对象”（这一步是必须的），然后是因为catch处使用对象接收，那么需要再从“临时对象”复制到“catch的形参变量”中； 如果你在catch中使用“引用”来接收参数，那么不需要第二次复制，即形参的引用指向临时变量。
析构、构造函数
2. 析构函数应该从不抛出异常。如果析构函数中需要执行可能会抛出异常的代码，那么就应该在析构函数内部将这个异常进行处理，而不是将异常抛出去。
原因：在为某个异常进行栈展开时，析构函数如果又抛出自己的未经处理的另一个异常，将会导致调用标准库 terminate 函数。而默认的terminate 函数将调用 abort 函数，强制从整个程序非正常退出。
3. 构造函数中可以抛出异常。但是要注意到：如果构造函数因为异常而退出，那么该类的析构函数就得不到执行。所以要手动销毁在异常抛出前已经构造的部分。
具体可以看这一篇的说明：
http://www.cnblogs.com/zhyg6516/archive/2011/03/08/1977007.html
Linux的进程布局可以看：
http://www.cnblogs.com/charlesblc/p/6415916.html
具体讲，析构函数不能抛出异常，是因为只有析构函数抛出异常没问题，但是如果有其他函数抛出异常，并且调用了析构函数抛出异常的处理，那么会造成SEH的异常处理链的混乱。
构造函数可以抛出异常，但是不建议。
需要处理掉已经声明的内存，或者用RAII.
对于多线程，异常是安全的
对于每一个线程都有自己的 Thread Info/Environment Block. 维护自己的SEH结构。