【C++】异常

愿天垂怜2024-11-30 15:41

生命不可能有两次，但许多人连一次也不善于度过💓💓💓

目录

•✨说在前面

🍋知识点一：异常的概念及使用

[•🌰1. 异常的概念](#•🌰1. 异常的概念)

[•🌰2. 异常的抛出和捕获](#•🌰2. 异常的抛出和捕获)

[•🌰3. 栈展开](#•🌰3. 栈展开)

[•🌰4. 查找匹配的处理代码](#•🌰4. 查找匹配的处理代码)

[•🌰5. 异常重新抛出](#•🌰5. 异常重新抛出)

[•🌰6. 异常安全问题](#•🌰6. 异常安全问题)

•🌰7.异常规范

🍋知识点二：标准库的异常

[•🌰1. 异常的概念](#•🌰1. 异常的概念)

[• ✨SumUp结语](#• ✨SumUp结语)

•✨说在前面

亲爱的读者们大家好！💖💖💖，我们又见面了，之前几篇文章我们给大家介绍了解和使用C++11所引入的特性。如果大家没有掌握好相关的知识，上一篇篇文章讲解地很详细，可以再回去看看，特别是旋转的部分，复习一下，再进入今天的内容。

这一篇文章我们学习C++中异常的内容。C++是如何处理异常问题的呢？如果大家准备好了，那就接着往下看吧~

👇👇👇

💘💘💘知识连线时刻（直接点击即可）

【C++】C++11引入的新特性（1）

【C++】C++11引入的新特性（2）

🎉🎉🎉复习回顾🎉🎉🎉

博主主页传送门 ：愿天垂怜的博客

🍋知识点一：异常的概念及使用

•🌰1. 异常的概念

  1. 异常处理机制允许程序中独立开发的部分能够在运行时就出现的问题进行通信并做出相应的处理，异常使得我们能够将问题的检测与解决问题的过程分开，程序的一部分负责检测问题的出现，然后解决问题的任务传递给程序的另一部分，检测环节无须知道问题的处理模块的所有细节。

  2. C语言主要通过错误码的形式处理错误，错误码本质就是对错误信息进行分类编号，拿到错误码以后还要去查询错误信息，比较麻烦。异常时抛出一个对象，这个对象可以函数更全面的各种信息。

•🌰2. 异常的抛出和捕获

  1. 程序出现问题时，我们通过抛出(throw)一个对象来引发一个异常 ，该对象的类型以及当前的调用链决定了应该由哪个catch的处理代码来处理该异常。

  2. 被选中的处理代码是调用链中与该对象类型匹配且离抛出异常位置最近的那一个。根据抛出对象的类型和内容，程序的抛出异常部分告知异常处理部分到底发生了什么错误。

  3. 当throw执行时，throw后面的语句将不再被执行。程序的执行从throw位置跳到与之匹配的catch模块，catch可能是同一函数中的一个局部的catch，也可能是调用链中另一个函数中的catch，控制权从throw位置转移到了catch位置。这里还有两个重要的含义：1、沿着调用链的函数可能提早退出。2、一旦程序开始执行异常处理程序，沿着调用链创建的对象都将销毁。

  4. 抛出异常对象后，会生成一个异常对象的拷贝，因为抛出的异常对象可能是一个局部对象，所以会生成一个拷贝对象，这个拷贝的对象会在catch子句后销毁。（这里的处理类似于函数的传值返回）

•🌰3. 栈展开

  1. 抛出异常后，程序暂停当前函数的执行，开始寻找与之匹配的catch子句，首先检查throw本身是否在try块内部，如果在则查找匹配的catch语句，如果有匹配的，则跳到catch的地方进行处理。

  2. 如果当前函数中没有try/catch子句，或者有try/catch子句但是类型不匹配，则退出当前函数，继续在外层调用函数链中查找，上述查找的catch过程被称为栈展开。

  3. 如果到达main函数，依旧没有找到匹配的catch子句，程序会调用标准库的terminate函数终止程序。

  4. 如果找到匹配的catch子句处理后，catch子句代码会继续执行。

cpp 复制代码 
double Divide(int a, int b)
{
	try
	{
		//当b==0时抛出异常
		if (b == 0)
		{
			string s("Divided by zero condition!");
			throw s;
		}
		else
		{
			return ((double)a / (double)b);
		}
	}
	catch (const string& errid)
	{
		cout << errid << endl;
	}
	return 0;
}

void Func()
{
	int len, time;
	cin >> len >> time;
	try
	{
		cout << Divide(len, time) << endl;
	}
	catch (const char* errmsg)
	{
		cout << errmsg << endl;
	}
	cout << __FUNCTION__ << ":" << __LINE__ << "行执行" << endl;
}

int main()
{
	while (1)
	{
		try
		{
			Func();
		}
		catch (const string& errmsg)
		{
			cout << errmsg << endl;
		}
		//任意类型的异常
		catch (...)
		{
			cout << "Unkown error!" << endl;
		}
	}

	return 0;
}

•🌰4. 查找匹配的处理代码

  1. 般情况下抛出对象和catch是类型完全匹配的，如果有多个类型匹配的，就选择离他位置更近的那个。

  2. 但是也有一些例外，允许从非常量向常量的类型转换，也就是权限缩小；允许数组转换成指向数组元素类型的指针，函数被转换成指向函数的指针；允许从派生类向基类类型的转换，这个点非常实⽤，实际中继承体系基本都是用这个方式设计的。

  3. 如果到main函数，异常仍旧没有被匹配就会终止程序，不是发生严重错误的情况下，我们是不期望程序终止的，所以一般main函数中最后都会使用catch(...)，它可以捕获任意类型的异常，但是是不知道异常错误是什么。

  4. 一般大型项目程序才会使用异常，下面我们模拟设计一个服务的几个模块，其中每个模块的继承都是Exception的派生类，每个模块可以添加自己的数据。最后捕获时，我们捕获基类就可以

cpp 复制代码 
#include<thread>

class Exception
{
public:
	Exception(const string& errmsg, int id)
		:_errmsg(errmsg)
		, _id(id)
	{}
	virtual string what() const
	{
		return _errmsg;
	}
	int getid() const
	{
		return _id;
	}
protected:
	string _errmsg;
	int _id;
};
class SqlException : public Exception
{
public:
	SqlException(const string& errmsg, int id, const string& sql)
		:Exception(errmsg, id)
		, _sql(sql)
	{}
	virtual string what() const
	{
		string str = "SqlException:";
		str += _errmsg;
		str += "->";
		str += _sql;
		return str;
	}
private:
	const string _sql;
};

class CacheException : public Exception
{
public:
	CacheException(const string& errmsg, int id)
		:Exception(errmsg, id)
	{}
	virtual string what() const
	{
		string str = "CacheException:";
		str += _errmsg;
		return str;
	}
};
class HttpException : public Exception
{
public:
	HttpException(const string& errmsg, int id, const string& type)
		:Exception(errmsg, id)
		, _type(type)
	{}
	virtual string what() const
	{
		string str = "HttpException:";
		str += _type;
		str += ":";
		str += _errmsg;
		return str;
	}
private:
	const string _type;
};
void SQLMgr()
{
	if (rand() % 7 == 0)
	{
		throw SqlException("权限不足", 100, "select * from name = '张三'");
	}
	else
	{
		cout << "SQLMgr 调用成功" << endl;
	}
}

void CacheMgr()
{
	if (rand() % 5 == 0)
	{
		throw CacheException("权限不足", 100);
	}
	else if (rand() % 6 == 0)
	{
		throw CacheException("数据不存在", 101);
	}
	else
	{
		cout << "CacheMgr 调用成功" << endl;
	}
	SQLMgr();
}
void HttpServer()
{
	if (rand() % 3 == 0)
	{
		throw HttpException("请求资源不存在", 100, "get");
	}
	else if (rand() % 4 == 0)
	{
		throw HttpException("权限不足", 101, "post");
	}
	else
	{
		cout << "HttpServer调用成功" << endl;
	}
	CacheMgr();
}
int main()
{
	srand(time(0));
	while (1)
	{
		this_thread::sleep_for(chrono::seconds(1));
		try
		{
			HttpServer();
		}
		//这里捕获基类，基类对象和派生类对象都可以被捕获
		catch (const Exception& e) 
		{
			cout << e.what() << endl;
		}
		catch (...)
		{
			cout << "Unkown Exception" << endl;
		}
	}
	return 0;
}

•🌰5. 异常重新抛出

  1. 有时catch到一个异常对象后，需要对错误进行分类，其中的某种异常错误需要进行特殊的处理，其他错误则重新抛出异常给外层调用链处理。捕获异常后需要重新抛出，直接throw; 就可以把捕获的对象直接抛出。

  2. 下面程序模拟展示了聊天时发送消息，发送失败补货异常，但是可能在电梯地下室等场景手机信号不好，则需要多次尝试，如果多次尝试都发送不出去，则就需要捕获异常再重新抛出，其次如果不是网络差导致的错误，捕获后也要重新抛出。

cpp 复制代码 
void _SendMsg(const string& s)
{
	if (rand() % 2 == 0)
	{
		throw HttpException("网络不稳定，发送失败", 102, "put");
	}
	else if (rand() % 7 == 0)
	{
		throw HttpException("你已经不是对象的好友，发送失败", 103, "put");
	}
	else
	{
		cout << "发送成功" << endl;
	}
}

void SendMsg(const string& s)
{
	//发送消息失败，重试3次
	for (size_t i = 0; i < 4; i++)
	{
		try
		{
			_SendMsg(s);
			break;
		}
		//102号错误，网络不稳定，重新发送，否则重新抛出
		catch(const Exception& e)
		{
			if (e.getid() == 102)
			{
				if (i == 3) throw;
				cout << "开始第" << i + 1 << "重试" << endl;
			}
			else throw;
		}
	}
}

int main()
{
	srand(time(0));
	string str;
	while (cin >> str)
	{
		try
		{
			SendMsg(str);
		}
		catch (const Exception& e)
		{
			cout << e.what() << endl << endl;
		}
		catch (...)
		{
			cout << "Unkown Exception" << endl;
		}
	}
	return 0;
}

•🌰6. 异常安全问题

  1. 异常抛出后，后面的代码就不再执行，前面申请了资源(内存、锁等)，后面进行释放，但是中间可能会抛异常就会导致资源没有释放，这里由于异常就引发了资源泄漏，产生安全性的问题。中间我们需要捕获异常，释放资源后面再重新抛出，当然后面智能指针章节讲的RAII方式解决这种问题是更好的。

  2. 其次析构函数中，如果抛出异常也要谨慎处理，比如析构函数要释放10个资源，释放到第5个时抛出异常，则也需要捕获处理，否则后面的5个资源就没释放，也资源泄漏了。《Effctive C++》第8个条款也专门讲了这个问题，别让异常逃离析构函数。

cpp 复制代码 
double Divide(int a, int b)
{
	// 当b==0时抛出异常
	if (b == 0)
	{
		throw "Division by zero condition!";
	}
	return (double)a / (double)b;
}
void Func()
{
	//这里可以看到如果发生除0错误抛出异常，另外下面的array没有得到释放。
	//所以这里捕获异常后并不处理异常，异常还是交给外层处理，这里捕获了再
	//重新抛出去。
	int* array = new int[10];
	try
	{
		int len, time;
		cin >> len >> time;
		cout << Divide(len, time) << endl;
	}
	catch (...)
	{
		//捕获异常释放内存
		cout << "delete[]" << array << endl;
		delete[] array;

		throw;//异常重新抛出，捕获到什么抛出什么
	}
	cout << "delete[]" << array << endl;
	delete[] array;
}
int main()
{
	try
	{
		Func();
	}
	catch (const char* errmsg)
	{
		cout << errmsg << endl;
	}
	catch (const exception& e)
	{
		cout << e.what() << endl;
	}
	catch (...)
	{
		cout << "Unkown Exception" << endl;
	}
	return 0;
}

•🌰7.异常规范

  1. 对于用户和编译器而言，预先知道某个程序会不会抛出异常大有裨益，知道某个函数是否会抛出异常有助于简化调用函数的代码。

  2. C++98中函数参数列表的后面接throw()，表示函数不抛异常，函数参数列表的后⾯接throw(类型1，类型2...)表示可能会抛出多种类型的异常，可能会抛出的类型用逗号分割。

  3. C++98的方式这种方式过于复杂，实践中并不好用，C++11中进行了简化，函数参数列表后面加noexcept表示不会抛出异常，啥都不加表示可能会抛出异常。

  4. 编译器并不会在编译时检查noexcept，也就是说如果一个函数用noexcept修饰了，但是同时又包含了throw语句或者调用的函数可能会抛出异常，编译器还是会顺利编译通过的(有些编译器可能会报个警告)。但是一个声明了noexcept的函数抛出了异常，程序会调用terminate终止程序。

  5. noexcept(expression)还可以作为一个运算符去检测一个表达式是否会抛出异常，可能会则返回false，不会就返回true。

//C++98
// 这里表示这个函数只会抛出 bad_alloc 的异常
void * operator new (std:: size_t size) throw (std::bad_alloc);
//这里表示 这个函数不会抛出异常
void * operator delete (std:: size_t size, void * ptr) throw ();
//C++11
size_type size () const noexcept ;
iterator begin () noexcept ;
const_iterator begin () const noexcept ;

cpp 复制代码 
double Divide(int a, int b) noexcept
{
	//当b==0时抛出异常
	if (b == 0)
	{
		throw "Division by zero condition!";
	}
	return (double)a / (double)b;
}
int main()
{
	try
	{
		int len, time;
		cin >> len >> time;
		cout << Divide(len, time) << endl;
	}
	catch (const char* errmsg)
	{
		cout << errmsg << endl;
	}
	catch (...)
	{
		cout << "Unkown Exception" << endl;
	}

	int i = 0;
	cout << noexcept(Divide(1, 2)) << endl;
	cout << noexcept(Divide(1, 0)) << endl;
	cout << noexcept(++i) << endl;

	return 0;
}

🍋知识点二：标准库的异常

•🌰1. 异常的概念

  1. https://legacy.cplusplus.com/reference/exception/exception/

  2. C++标准库也定义了一套自己的⼀套异常继承体系库，基类是exception，所以我们日常写序，需要在主函数捕获exception即可，要获取异常信息，调用what函数，what是一个虚函数，派生类可以重写。

​

• ✨SumUp结语

到这里本篇文章的内容就结束了，本节给大家讲解了C++11的异常。希望大家能够认真学习，打好基础，迎接接下来的挑战，期待大家继续捧场~💖💖💖

​

相关推荐
程序员buddha4 分钟前
2025年华为OD上机考试真题（Java）——数组连续和
java·开发语言·华为od
_Shirley5 分钟前
Unknown Kotlin JVM target: 21
android·java·jvm·jdk·kotlin·android studio
青灯文案16 分钟前
基于Java 的高性能缓存库 Caffeine 详细介绍
java·spring·缓存
ac-er88888 分钟前
Go语言如何实现高性能缓存服务
开发语言·缓存·golang
SyntaxSage12 分钟前
Scala语言的面向对象编程
开发语言·后端·golang
Linux520小飞鱼17 分钟前
Go语言的循环实现
开发语言·后端·golang
CyberScriptor18 分钟前
PHP语言的字符串处理
开发语言·后端·golang
苹果酱056719 分钟前
Golang的分布式系统开发
java·spring boot·毕业设计·layui·课程设计
阿巴资源站23 分钟前
uniapp中修改input里的字体颜色
java·前端·uni-app
热门推荐
01Oracle Scheduler: Calendaring02渗透测试之SQLMAP工具详解 kali自带SQLmap解释 重点sqlmap --tamper 使用方式详解 搞完你就很nice了03半导体应用系统一些小知识收集(strip&wafer mapping,EAP&scada)04密码学原理技术-第六章-introduction to pulibc-key cryptography05ESP-IDF学习记录（4） ESP-IDF examples目录06HCIA-datacom数通题库和录播视频资料07Dell服务器升级ubuntu 22.04失败解决08华为HarmonyOS帮助应用实现在线认证服务 -- 2 FIDO免密身份认证09优化手机性能，解决卡顿问题：关闭这3个微信开关，释放内存空间10PS 安装教程 2022版（全网最详细图文教程）