异常传参：１点认识

Ｃ＋＋异常机制是建立在Ｃ之上的．

try类似与setjmp(),throw类似与longjmp(),catch则是longjmp()到原栈的判断处理．

除去用户的自定义类型，２种方法实现的功能是差不多的．

对，关键就在与用户自定义类型．

对于内建变量，longjmp()后的值是否变化（还原）取决与变量存储的位置：寄存器或者内存．

volatile，全局，静态变量在longjmp()后的值并不会恢复到setjmp()之前．局部变量因为存储在寄存器中（优化的情况下），可以不受longjmp()的影响．

Ｃ函数在这里的缺陷是对于用户类型不能准确析构．

Ｃ＋＋中，throw和catch很象２个函数调用．

throw象是１个返回值对象的函数的内部代码，而catch则更象１个函数．

有人说catch象函数调用，却不是函数调用，因为它的传参机制和函数调用不同．

比如这段代码

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)也只是象普通函数一样从这个地址上取参数．

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

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