C++异常处理与临时副本

首先以一个简单的程序开头如下:
#include
using namespace std;

void test(int& a,int& b)
{
        int c;
        if(a==b)
        {
               cout<<"now a==b!"<<endl;
                throw a;
                cout<<"test p is :"<<&a<<endl;
                cout<<"this whill not process!!"<<endl;
        }
        else
        {
                c=a+b;
                cout<<a<<"<>"<<b<<endl;
                cout<<"a+b="<<c<<endl;
        }
}
int main(void)
{
        for(int a=0,b=10;a<10;a++,b--)
        {
                cout<<"main p is: "<<&a<<endl;
                try
                {
                        test(a,b);
                }
                catch(int& a)
                {
                        cout<<"catch program hint!!"<<endl;
                        cout<<"catch p is"<<&a<<endl;
                        continue;
                }
        }
}  
 
主要是3个关键字
try{}    --用于指定异常可能被激活打代码块
catch{}  --异常处理程序
throw{}  --类似于执行返回语句,类似return,后面的语句将不执行,但是和return不同是
           他是返回到一个类型匹配的catch处理语句,如果有多个匹配的catch处理语句,则
           按照顺序第一个catch语句生效。


比如:
#include
using namespace std;


void test(int& a,string& b);
void testb(string& b);
void testa(int& a);


int main(void)
{
        int a;
        string b;
        cin>>a;
        cin>>b;
        cout<<&a<<endl;
        cout<<&b<<endl;
        try
        {
                test(a,b);
        }
        catch(int& a)
        {
                cout<<"2th catch a values:"<<a<<" a's="" pionter="" is="" :"<<&a<<endl;                 return 1;
        }
        catch(string& b)
        {
                b="test1";
                cout<<b<<endl;
                cout<<&b<<endl;
                return 2;
        }
        return 0;
}


void test(int& a,string& b)
{


        if(a>0)
        {
                try
                {
                        testa(a);
                        testb(b);
                }
                catch(int& a)
                {
                        cout<<"1th catch a values:"<<a<<endl;
                        a=a+1;
                        cout<<"test:"<<&a<<endl;
                        throw a;
                }
        }
        cout<<"test() int: "<<a<<" string:="" "<<b<<endl; }


void testa(int& a)
{


        if(a==1)
        {
          a=a+1;
          cout<<"testa:"<<&a<<endl;
                throw a;
        }
}


void testb(string& b)
{
        if(b=="test")
        {
                throw b;
        }
}
这种情况下如果testb 中 b=="test"将触发异常,但是throw b和test中catch(int& a)并不匹配,他会直接找到上层main中的
catch(string& b)
异常处理程序
但是testa 中a==1触发异常,它会首先触发test中的catch(int& a)异常处理程序因为类型匹配,然后throw到上层main中的异常
处理程序catch(int& a)


来看一下这个程序的输出:
1
test
0x7ffd45151eac
0x7ffd45151eb0
testa:0x7ffd45151eac
1th catch a values:2
test:0x1c960f0
2th catch a values:3 a's pionter is :0x1c96180


这一次输入为1 test 显然是先进行了a++然后调用了testa函数同时返回异常到test中输出为 1th catch a values:2,然后a++,然后后面的语句就不执行了
也就是testb(b)和cout<<"test() int: "<<a<<" string:="" "<<b<<endl;不会执行,因为testa中的throw直接到了catch块,然后catch 中同样执行了throw到了main函数的catch块catch(int& a),到了
        catch(int& a)
        {
                cout<<"2th catch a values:"<<a<<" a's="" pionter="" is="" :"<<&a<<endl;                 return 1;
        }
输出了为2th catch a values:3 a's pionter is :0x1c96180


我们这里清楚看到在测试函数中,我使用的都是&a引用,但是在throw的时候却传递全部是都是副本,本来a的地址为0x7ffd45151eac然后传入到testa这个触发函数中,
函数throw a返回的实际上是一个副本给了test 中的处理函数catch,这时候a的地址为0x1c960f0,然后再次test throw a同样返回的是一个副本给了main函数中的catch地址为
0x1c96180,可见虽然我用的是引用但是throw返回确实是副本而不是一般理解的址传递,但是这里引用的特性的没有丢失也就是如果是基类地址任然可以
指向基类地址或者继承类地址。
这里要注意既然测试函数中throw的是副本,那么我的test中a=a+1实际上已经不是更改原有的a的值的因为原有的a的地址是0x7ffd45151eac,然而
test中a的地址是0x1c960f0,这次a=a+1并没有改变原有main中a的地址,如下:
稍稍修改一下
 29     catch(int& a)
 30     {
 31 
 32         cout<<"2th catch a values:"<<a<<endl;
 33     }
 34     catch(string& b)
 35     {
 36 
 37         b="test1";
 38         cout<<b<<endl;
 39     }
 40     cout<<"main a values:"<<a<<endl;
 41     return 0;
 42 }
让程序异常处理后继续执行,我们看到main中a的值还是2并不是3,原因就在于刚才说的,throw传递的是一个副本并不是原有的值,但是第一次传递给
testa的时候任然是传入的地址所以a相当于只修改了一次并非两次。
输出如下:
1th catch a values:2
2th catch a values:3 
main a values:2 

</a<<endl;
</b<<endl;
</a<<endl;
</a<</a<</endl;
</a<</endl;
</a<<endl;
</endl;
</b<<endl;
</a<</endl;
</endl;
</endl;
</endl;
</endl;
</c<<endl;
</b<<endl;
</a<<"<></endl;
</endl;
</endl;
上一篇:C++ new 和异常


下一篇:接口的多继承和实现