异常传参

http://blog.youkuaiyun.com/weiyijiji/article/details/3002782

比如这段代码

void f(){

    excep e;

    throw e;

}

try{

 f();

}catch(excep &e){

 

}

运行一下，会调用一次ＣＯＰＹ构造函数．

＂这里的catch虽然参数为１个引用，但是事实上仍会调用e的ＣＯＰＹ构造函数＂．

这是确实的．

因为f()中的e是局部对象，超出作用域后，catch中并不能以引用形式来使用这个已经被销毁的对象．所以需要传递１个ＣＯＰＹ

给catch.这跟我们平时的直觉不同，因为引用作为参数一般是不需要传递ＣＯＰＹ的．

我感觉这种说法不是很好理解．我认为在这里catch仍是按函数传递引用参数一样，并没有做是么ＣＯＰＹ，而是在throw后（f结束前），ＣＯＰＹ就已经生成．就好象有个特定的地址，把异常都往这个地址上放（通过throw)，然后catch以这个地址上的数据作为参数来使用．那么这里的throw就象是１个函数了．它的返回值就是这个地址，而它的返回方式显然是按值返回．那么，可以理解的是就象普通函数一样，这里的ＣＯＰＹ构造函数是因为局部对象按值返回而生成的．

void f(){

    throw excep();

}

改一下函数就会发现，这里的函数就象１个函数的返回值优化，按值直接把异常对象放在返回的地址上．如果如此，那么这里就不需要调用ＣＯＰＹ构造函数，catch(execp &e)也只是象普通函数一样从这个地址上取参数．

运行一下，这里没有调用ＣＯＰＹ构造函数．

返回值优化确实能够很好的解释这个问题．