【C++】异常

蒋灵瑜

已于 2023-08-30 20:37:26 修改

阅读量373

点赞数 10

分类专栏： C++ 文章标签： c++

于 2023-04-20 22:06:43 首次发布

本文链接：https://blog.csdn.net/gfdxx/article/details/130276759

版权

C++ 专栏收录该内容

22 篇文章 30 订阅

订阅专栏

文章详细介绍了C语言和C++中处理异常的不同方式，包括C语言的assert和返回错误码，以及C++的throw、catch和try块。讨论了异常的重新抛出、异常安全以及公司内部常见的异常继承体系。同时，文章提到了C++标准库的异常体系，并分析了异常机制的优缺点，如便于错误定位、可能导致执行流混乱和资源管理的挑战。

摘要由CSDN通过智能技术生成

需要云服务器等云产品来学习Linux的同学可以移步/-->腾讯云<--/-->阿里云<--/-->华为云<--/官网，轻量型云服务器低至112元/年，新用户首次下单享超低折扣。

一、异常

并不是程序出现异常就要让程序退出，例如微信因为网络问题多次尝试发送消息失败，会向用户抛出异常，而不是直接让微信异常退出。

1、C语言处理异常的方式

1、终止程序，如assert。缺陷：会直接终止程序，并且release版本直接优化。

2、返回错误码。缺陷：需要自己去查找对应的错误。

意料之中的错误用assert，意料之外的错误用错误码。（别问为什么，问就是老师傅教的）

2、C++处理异常的方式

throw: 使用时throw+任意对象抛出异常，这个对象的类型决定激活哪段catch代码。

catch: 捕获异常，可以使用多组catch进行捕获，同一栈帧的catch设定的捕获异常必须不相同。如果发生异常却没有合适类型的catch对其进行捕获，程序将会异常退出，所以一般在最终栈帧加一个catch(...)捕获任意类型的异常，不过这样捕获的话不知道抛出的异常对象是啥。进行捕获的catch必须与抛出类型一样并且离throw栈帧最近。

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

抛出异常对象后，会生成一个异常对象的拷贝，因为抛出的异常对象可能是一个临时对象，所以会生成一个拷贝对象，这个拷贝的临时对象会在被catch以后销毁。对于深拷贝的对象，编译器会采用移动构造来降低拷贝的开销（这里的处理类似于函数的传值返回）

catch捕获类型有个例外：可以抛出的子类对象，使用基类捕获，这个在实际中非常实用,见本章第五节。

3、异常的重新抛出

double Division(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 << Division(len, time) << endl;
	}
	catch (...)//s出作用域销毁，捕获的是s的拷贝
	{
		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(...)
    {
        cout<<"未知异常"<<endl;
    }
	return 0;
}

Func()函数申请了一段堆区资源，如果Division()函数抛出除零异常，Func()不捕获的话，执行流将会直接到达main函数的catch中，导致Func()函数申请的堆区资源没有被释放，内存泄漏。所以要在Func()函数中对Division()的异常进行捕获，这里并不处理异常，目的是释放堆区资源，达成目的后将向外层重新抛出该异常。

异常的出现，会导致程序的执行流变得混乱，类似C语言的goto语句乱跳，所以使用时需要保证异常安全。

4、异常安全

构造函数完成对象的构造和初始化，最好不要在构造函数中抛出异常，否则可能导致对象不完整或没有完全初始化；

析构函数主要完成资源的清理，最好不要在析构函数内抛出异常，否则可能导致资源泄漏；(内存泄漏、句柄未关闭等)

C++中异常经常会导致资源泄漏的问题，比如在new和delete中抛出了异常，导致内存泄漏，在lock和unlock之间抛出了异常导致死锁，C++经常使用RAII来解决以上问题。

5、公司常用异常体系

如果项目中大家随意抛出异常，格式奇奇怪怪，将很难分析异常，所以会有一套统一的异常的继承体系，每一个程序员抛出的都是子类对象，子类对象重写了what虚函数，通过捕获父类对象的引用完成多态行为，不同的子类打印该自身的异常信息。

#include <iostream>
using namespace std;
#include <Windows.h>
// 服务器开发中通常使用的异常继承体系
class Exception
{
public:
	Exception(const string& errmsg, int id)
		:_errmsg(errmsg)
		, _id(id)
	{}
	virtual string what() const
	{
		return _errmsg;
	}
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 HttpServerException : public Exception
{
public:
	HttpServerException(const string& errmsg, int id, const string& type)
		:Exception(errmsg, id)
		, _type(type)
	{}
	virtual string what() const
	{
		string str = "HttpServerException:";
		str += _type;
		str += ":";
		str += _errmsg;
		return str;
	}
private:
	const string _type;
};
void SQLMgr()
{
	srand(time(0));
	if (rand() % 7 == 0)
	{
		throw SqlException("权限不足", 100, "select * from name = '张三'");
	}
	//throw "xxxxxx";
}
void CacheMgr()
{
	srand(time(0));
	if (rand() % 5 == 0)
	{
		throw CacheException("权限不足", 100);
	}
	else if (rand() % 6 == 0)
	{
		throw CacheException("数据不存在", 101);
	}
	SQLMgr();
}
void HttpServer()
{
	// ...
	srand(time(0));
	if (rand() % 3 == 0)
	{
		throw HttpServerException("请求资源不存在", 100, "get");
	}
	else if (rand() % 4 == 0)
	{
		throw HttpServerException("权限不足", 101, "post");
	}
	CacheMgr();
}
int main()
{
	while (1)
	{
		Sleep(200);
		try {
			HttpServer();
		}
		catch (const Exception& e) // 这里捕获父类对象引用就可以
		{
			// 多态
			cout << e.what() << endl;
		}
		catch (...)
		{
			cout << "Unkown Exception" << endl;
		}
	}
	return 0;
}

抛出的是子类对象，捕获的是父类的引用。如果异常被catch(...)捕获，说明有人没有按规定抛出子类对象。

6、异常规范

如果出现连续调用的场景，如果D抛出异常，除非D在自身栈帧中把异常捕获了，否则ABC的调用都会出现异常，难以定位。所以C++有一套关于异常写法的规范：

1、可以在函数的后面接throw(类型)，列出这个函数可能抛掷的所有异常类型。

2、函数的后面接throw()，表示函数不抛异常。

3、若无异常接口声明，则此函数可以抛掷任何类型的异常

// 这里表示这个函数会抛出A/B/C/D中的某种类型的异常
void fun() throw(A,B,C,D);
// 这里表示这个函数只会抛出bad_alloc的异常
void* operator new (std::size_t size) throw (std::bad_alloc);
// 这里表示这个函数不会抛出异常，throw()已经过时了
void* operator delete (std::size_t size, void* ptr) throw();
// C++11 中新增的noexcept，表示不会抛异常
thread() noexcept;//如果这个类明明会抛异常，你还加noexcept，编译器会崩溃
thread (thread&& x) noexcept;

对于void fun() throw(A,B,C,D)，哪怕fun()不会抛A异常，虽然你写了，程序也能跑；哪怕fun()函数还会抛一个E类型的异常，虽然你没写，程序也能跑。所以这里完全靠程序员的自律和仔细，方便后人维护。

7、C++标准库的异常体系

C++标准库的提供了exception类的异常体系。可以继承exception类实现自己的异常体系，不过exception类不够直观.

int main()
{
    try{
    	vector<int> v(10, 5);
        // 这里如果系统内存不够也会抛异常
        v.reserve(1000000000);
        // 这里越界会抛异常
        v.at(10) = 100; 
    }
    catch (const exception& e) // 这里捕获父类对象就可以
    {
   		cout << e.what() << endl;
    }
    catch (...)
    {
    	cout << "Unkown Exception" << endl;
    }
    return 0;
}