C++ 异常类型及其生命周期

秒速五厘米 2023-10-18 18:21 72阅读 0赞

有一个悬而未决的问题，看了代码值得探讨一下~~

针对最后问题的解答：不要认为析构函数调用后，就真的吃掉了你的内存，析构函数只不过告诉你这部分内存现在不再是某一个对象独占的了，你有权访问它，但其它人也有权修改它，在别人没修改之前，访问得到的值依然不变而已。

如果捕获方式使用对象指针的类型：那么

对于throw &test\_class()这种异常的抛出方式，其生命周期不会延续到异常的处理阶段，抛出异常后即会被析构，使用对象指针的方式捕获到的不过是一个野指针，虽然依旧可以访问，**但风险非常大（野指针）**（解释在上面）。

对于throw new test\_class()，那么就需要new在堆上分配内存，手动进行内存的释放**（有一点点小麻烦：底层函数new，上层函数delete）**。

**综上，使用对象指针的类型进行异常对象的捕获非常不合适，建议使用引用的方式进行捕获**

#include<iostream>
    using namespace std;
    
    class test_class
    {
    public:
    	test_class() {
    		cout << "默认构造函数" << endl;
    	}
    	test_class(const test_class& obj)
    	{
    		cout << "拷贝构造函数" << endl;
    	}
    	~test_class()
    	{
    		cout << "析构函数" << endl;
    	}
    	int m = 128;
    };
    
    //交换字符串
    void swap_string(char* src, char* des)
    {
    	if (src == NULL)
    	{
    		throw 1;
    	}
    	if (des == NULL)
    	{
    		throw "目标字符串为空";
    	}
    	if (*src == 'a')
    	{
    		//这里抛出类类型比较特殊，注意写法，类名直接加括号
    		//throw test_class();
    		//想要不进行复制操作，可以用其引用或者指针类型进行捕捉，指针类型的捕捉可以用new的
    		throw &test_class();
    		//throw new test_class();
    	}
    }
    
    int main()
    {
    	char *src = "abcdefg";
    	char des[100];
    	try
    	{
    		swap_string(src, des);
    	}
    	//方式1：类型捕获
    	catch (int)
    	{
    		cout << "类型捕获，抛出的异常对象不可用" << endl;
    	}
    	//方式2：异常对象捕获，依据的是类型的严格匹配（方式1和方式2如果在类型上一致则不能共存）
    	//error C2312: “int”: 由“int”在行 47 上捕获
    	/*catch (int a)
    	{
    		cout << "异常对象捕获，依据的是类型的严格匹配 捕获对象为:" <<a<< endl;
    	}*/
    	//异常类型1：捕获指针类型（对应抛出字符串时的情况）
    	catch (char* a)
    	{
    		cout << "捕获指针类型" << a << endl;
    	}
    	//异常类型2：捕获引用类型
    	catch (char& a)
    	{
    		cout << "捕获引用类型" << a << endl;
    	}
    	//异常类型3：捕获自定义对象类型(此步骤会调用拷贝构造函数进行对象的拷贝)
    	catch (test_class a)
    	{
    		cout << "捕获自定义对象类型" << endl;
    	}
    	//异常类型4：捕获自定义对象引用类型（对象的引用 和对象的本身不能共存）
    	// error C2315: “test_class &”: 引用由“test_class”在行 67 上捕获
    	/*catch (test_class& a)
    	{
    		cout << "捕获指针类型" << endl;
    	}*/
    	//异常类型5：捕获自定义对象指针类型
    	catch (test_class* a)//(此步骤捕获对象的地址或者是new出来对象的指针，针对new需要手动delete，所以一般不使用它)
    	{
    		cout << "捕获指针类型" << endl;
    		cout << a->m << endl;
    	}
    	//这里可能是最新版本的优化问题，在使用 &test_class()进行指针捕获时，运行即可看出其构造函数与析构函数已经被执行了
    	//这就意味着传过来的指针是一个野指针了，但是我尝试一下调用a->m仍能得到正确的值，不知道是不是编译器优化的问题
    	//当做悬而未决的问题吧
    	catch (...)
    	{
    		cout << "其他类型异常" << endl;
    	}
    	system("pause");
    	return 0;
    }