throw操作究竟是真正的异常对象被繁殖还是一个复制品被构造出来

 C++ Code 

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59

#pragma once

#include <string>
#include <iostream>

class CMyException
{
public:
    int info()const {  return _iValue; }
    void Set(int n) { _iValue = n; }

private:
    int _iValue; // 异常值
};

/*
* @Func : 测试：throw操作究竟是真正的异常对象被繁殖还是一个复制品被构造出来.h
*
* @测试方法：在catch块中改变异常对象的值，通过观察原来的值及对象的地址，判断是否发生了改变
*
* @测试结果及分析
* (1) 当catch中的形参为
*            const CMyException &ex
*            CMyException &ex
*            CMyException ex
* 时，输出信息如下
            tye块中异常值为：1，地址为002DF8D4
            catch块中异常值为：2，地址为002DF8C8
            非异常块中异常值为：1，地址为002DF8D4
* 从输出信息可以看出，在上述三种情况下，原来的值未发生改变，因此有一个复制品被构造出来了
* (2) 当catch中的形参为
*            CMyException *ex
* 时，输出信息如下
             tye块中异常值为：1，指针地址为001AF94C
             catch块中异常值为：2，指针地址为001AF940
             非异常块中异常值为：2，指针地址为001AF94C
* 从输出信息可以看出，在这种情况下，也有一个指针的复制品被构造出来了（地址发生该表了），但是对象的值的改变被保留下来了
*
* @说明：throw语句会复制构建抛出的对象，因此如果需要记录在catch语句块中的改变，需将抛出类型设为对象指针
*/
inline void Test_Throw(){
    CMyException ex;
    CMyException *pEx = &ex;
    ex.Set(1); // 值设为1
    try{
        std::cout << "tye块中异常值为：" << ex.info() << "，指针地址为" << &ex << std::endl;
        throw ex; // 此处，以ex为初值构建了一个异常对象(Exception Object)
    }
    catch (CMyException ex) // 此处的参数形式决定了在下面这个catch块中的改变是否会应用于EO
                            // 只有在一个catch子句评估完毕并且知道它不会再抛出exception之后，真正的
                            // 异常对象才会被销毁
    {
        ex.Set(2); // 改变值，在后面观察上面定义的ex的值是否发生了改变
        std::cout << "catch块中异常值为：" << ex.info() << "，指针地址为" << &ex << std::endl;
    }
    std::cout << "非异常块中异常值为：" << ex.info() << "，指针地址为" << &ex << std::endl;
}

本站仅提供存储服务，所有内容均由用户发布，如发现有害或侵权内容，请点击举报。