C++异常基础知识点

最新推荐文章于 2024-07-24 19:18:02 发布

yam_sunshine

最新推荐文章于 2024-07-24 19:18:02 发布

阅读量230

点赞数 1

分类专栏： C++ 文章标签： C++异常

本文链接：https://blog.csdn.net/yam_sunshine/article/details/89068919

版权

C++ 专栏收录该内容

28 篇文章 1 订阅

订阅专栏

一、C语言传统的处理错误的方式

1、终止程序：例如assert，但是这种处理异常的方式太粗暴，如果发生内存错误，除0错误时就会终止程序。

2、返回错误码：这种错误需要程序员自己去查找对应的错误。例如系统很多库的接口函数都是通过把错误码放到error中，表示错误。

3、C标准库中setjmp和longjmp来处理异常，但是这种方式不常用，了解即可。

二、C++异常概念

异常是一种处理错误的方式，当一个函数发现自己无法处理的错误时就可以抛出异常，让函数的直接或间接调用者处理这个错误。

1、throw:当问题出现时，程序会抛出一个异常。这是通过使用throw关键字来完成的。

2、catch:异常处理程序中捕获异常，可以有多个catch进行捕获。

3、try:try块中的代码标识将被激活的特定异常，它的后面通常跟着一个或多个catch块。

需要注意的是，如果youyige 块抛出一个异常，捕获异常的方法会使用try和catch关键字。try块中放置可能抛出异常的代码，try块中的代码被称为保护代码。下面演示一下try/catch语句的语法格式：

try
{
	//保护的标识代码
}
catch (exception e1)
{
	//catch块
}
catch (exception eN)
{
	//catch块
}

三、异常的使用

1.1、异常的抛出和捕获

异常的抛出和匹配原则

1、异常是通过抛出对象引发的，该对象的类型决定了应该激活哪个catch的处理代码；

下面用一段代码解释一下这个原则：

int main()
{
	try
	{
		throw 5;
		char* p = new char[0x7fffffff];
		cout << (void*)p << endl;
	}
	catch (const exception& e)
	{
		cout << e.what() << endl;
	}
	catch (int i)
	{
		cout << i << endl;
	}
	system("pause");
	return 0;
}

输出结果：

由于抛出的异常是int类型的，所以由输出结果可以看出char*p开辟空间造成的异常并没有被捕获，反而直接跳转到捕获的int，由次也说明了上述第一个异常匹配原则。

2、被选中的处理代码是调用链中与该对象类型匹配且离抛出异常位置最近的那一个。

下面用一段代码演示一下：

void func1()
{
	try
	{
		throw string("error");
	}
	catch (const string& str)
	{
		cout << str <<__LINE__<< endl;
	}
	
}
int main()
{
	try
	{
		func1();
	}
	catch (const exception& e)
	{
		cout << e.what() << endl;
	}
	catch (const string& str)
	{
		cout << str << endl;
	}
	catch (int i)
	{
		cout << i << endl;
	}
	system("pause");
	return 0;
}

输出结果：

由此可以看出捕获的异常是离throw最近的且对象类型匹配的。

3、抛出异常对象后，会生成一个异常对象的拷贝，因为抛出的的异常对象可能是一个临时对象，所以会生成一个拷贝对象，这个拷贝的临时对象会在被catch以后销毁。

以一段代码举例说明：

try
	{
		string str("error");
		throw str;
	}
	catch (const string& str)
	{
		cout << str <<__LINE__<< endl;
	}

上述代码中的str是一个临时对象，属于try作用域，被抛出时会拷贝一份传给下面的catch，而在catch捕获完异常之后，这个拷贝对象才会销毁。

4、catch(...)可以捕获任意类型的异常，但是这种情况不知道catch捕获的异常是什么。

5、实际中抛出和捕获的匹配原则有个例外，并不都是类型完全匹配，例如可以抛出的派生类对象，使用基类捕获。

在函数调用链中异常栈展开匹配原则

1、首先检查throw本身是否在try块内部，如果是再查找匹配的catch语句。如果有匹配的，则跳到catch的地方进行处理。

2、没有匹配的catch则退出当前函数栈，继续在调用函数的栈中进行查找匹配的catch。

3、如果到达main函数的栈，依旧没有匹配的，则终止程序。上述这个沿着调用链查找匹配的catch字句的过程称为栈展开。所以实际中我们最后都要加一个catch(...)捕获任意类型的异常，否则当有异常没有捕获时，程序就会直接终止。

4、找到匹配的catch字句并处理后，会继续沿着catch字句后面继续执行。

1.2异常的重新抛出

有可能单个的catch不能完全处理一个异常，在进行一些矫正处理后，希望再交给更外层的调用函数来处理，catch则可以通过重新抛出将异常传递给更上层的函数进行处理。

上面这句话读起来有些绕口，所以呢我通过分析除0错误的代码首先来说明为什么要进行异常的重新抛出：

double Division(int a,int b)
{
	if (b == 0)
	{
		throw "Division by zero condicyion";
	}
	return double(a) / double(b);
}
void func()
{
	int* p = new int[10];
	int len, time;
	cin >> len >> time;
	cout << Division(len, time) << endl;
	delete[] p;
    cout << p << endl;
}
int main()
{
	try
	{
		func();
	}
	catch (const char* errmsg)
	{
		cout << errmsg << endl;
	}
	system("pause");
	return 0;
}

输出结果：