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. 构造函数中可以抛出异常。但是要注意到：如果构造函数因为异常而退出，那么该类的析构函数就得不到执行。所以要手动销毁在异常抛出前已经构造的部分。