一、C 语言传统的处理错误的方式
传统的错误处理机制:
- 终止程序,如 assert,缺陷:用户难以接受。如发生内存错误,除 0 错误时就会终止程序。
- 返回错误码,缺陷:需要程序员自己去查找对应的错误。如系统的很多库的接口函数都是通过把错误码放到 errno 中,表示错误实际中 C 语言基本都是使用返回错误码的方式处理错误,部分情况下使用终止程序处理非常严重的错误。
二、C++ 异常概念
异常是一种处理错误的方式,当一个函数发现自己无法处理的错误时就可以抛出异常,让函数的直接或间接的调用者来处理这个错误。
- throw:当问题出现时,程序会抛出一个异常。这是通过使用 throw 关键字来完成的。
- catch:在想要处理问题的地方,通过异常处理程序捕获异常 catch 关键字用于捕获异常,可以有多个 catch 进行捕获。
- try:try 块中的代码标识将被激活的特定异常,它后面通常跟着一个或多个 catch 块。
try
{
// 保护的标识代码
}catch( ExceptionName e1 )
{
// catch 块
}catch( ExceptionName e2 )
{
// catch 块
}catch( ExceptionName eN )
{
// catch 块
}
三、异常的使用
1、异常的抛出和捕获
抛异常,异常必须被捕获 ,若没有被捕获就会报错。该图程序中只有抛异常,没有捕获异常存在,所以当 b = 0 时,程序直接报错。
(1)异常的抛出和匹配原则
a. 异常是通过抛出对象而引发的,该对象的类型决定了应该激活哪个 catch 的处理代码。
double Division(int a, int b)
{
// 当b == 0时抛出异常
if (b == 0)
throw "Division by zero condition!";//抛异常
else
return ((double)a / (double)b);
}
void Func()
{
int len, time;
cin >> len >> time;
cout << Division(len, time) << endl;
}
int main()
{
try
{
Func();
}
catch (const char* str)
{
cout << str << endl;
}
return 0;
}
- catch 的时候,需要跟 throw 抛出对象的类型进行匹配。上面的 throw 传过来的是字符串,所以 catch 用 const char* 接收。
- 由于有捕获异常,所以当再次 b = 0 时,就不会报错了,显示的详细信息为 Division by zero condition!
- try 和 catch 两者是配对的, catch 只能捕获 try 里面的抛的异常。比如,在 main 函数中的 catch 捕获异常只能捕获 Func 函数中抛的异常。
b. 被选中的处理代码是调用链中与该对象类型匹配且离抛出异常位置最近的那一个。
抛出异常位置最近的验证:
double Division(int a, int b)
{
// 当b == 0时抛出异常
if (b == 0)
throw "Division by zero condition!";//抛异常
else
return ((double)a / (double)b);
}
void Func()
{
int len, time;
cin >> len >> time;
try
{
cout << Division(len, time) << endl;
}
catch (const char* str)
{
cout << str << endl;
}
cout << "void func()" << endl;
}
int main()
{
try
{
Func();
}
catch (const char* str)
{
cout << str << endl;
}
return 0;
}
若在 Func 函数处添加捕获,并且类型与对象类型匹配,则当 b = 0 时,由于 Func 函数处更近,所以在 Func 函数处捕捉异常,而不在 main 函数中捕获异常。
对象类型匹配的验证:
此时 Func 函数中的捕获异常与对象类型不匹配,当再次输入 b = 0 时,在 main 函数处捕获异常:
double Division(int a, int b)
{
// 当b == 0时抛出异常
if (b == 0)
throw "Division by zero condition!";//抛异常
else
return ((double)a / (double)b);
}
void Func()
{
int len, time;
cin >> len >> time;
try
{
cout << Division(len, time) << endl;
}
catch (char str)
{
cout << str << endl;
}
cout << "void func()" << endl;
}
int main()
{
try
{
Func();
}
catch (char str)
{
cout << str << endl;
}
return 0;
}
若 Func 函数和 main 函数的捕获异常与对象类型都不匹配 ,则程序会报错。
c. 抛出异常对象后,会生成一个异常对象的拷贝,因为抛出的异常对象可能是一个临时对象,所以会生成一个拷贝对象,这个拷贝的临时对象会在被 catch 以后销毁。(这里的处理类似于函数的传值返回)
如果错误信息只是一个字符串,有些过于简单,所以设置一个类,内部包含错误码和错误描述。由于成员变量是私有的,在类外可能拿不到,所以设置两个函数,通过函数返回值的方式取到错误码和错误描述。由于对象类型为 const Exception,所以想要使用对象取到这两个函数 ,就需要在外部加上 const 修饰。
对比上面,将字符串替换成了对象,对象含有错误码和错误描述两部分。通过抛异常的方式将对象 传递给 catch 的捕获,在将对象的错误码和错误信息打印出来。
抛异常时,并不是把 e1 直接传给 e。因为 e1 是一个局部对象,出了作用域就销毁了,会产生一个临时对象,将 e1 对象的错误码和错误描述拷贝给临时对象,再通过临时对象传给对象 e,在 catch 结束后,临时对象销毁。
d. catch(...) 可以捕获任意类型的异常,问题是不知道异常错误是什么。
double Division(int a, int b)
{
// 当b == 0时抛出异常
if (b == 0)
throw "Division by zero condition!";//抛异常
else
return ((double)a / (double)b);
}
void Func()
{
int len, time;
cin >> len >> time;
try
{
cout << Division(len, time) << endl;
}
catch (char str)
{
cout << str << endl;
}
cout << "void func()" << endl;
}
int main()
{
try
{
Func();
}
catch (char str)
{
cout << str << endl;
}
catch(...)
{
cout << "未知异常" << endl;
}
return 0;
}
此时由于两个捕获异常都与对象类型不匹配,所以进入 catch(…) 中,使用 catch(…),若有匹配的就用匹配的,若没有匹配的,就使用 catch(…),对任意类型异常进行捕获防止一些异常没有捕获(没有对象类型匹配),导致程序终止。
实际中抛出和捕获的匹配原则有个例外,并不都是类型完全匹配,可以抛出的派生类对象,使用基类捕获,这个在实际中非常实用,后面会详细讲解。
(2)在函数调用链中异常栈展开匹配原则
- 首先检查 throw 本身是否在 try 块内部,如果是再查找匹配的 catch 语句。
- 如果有匹配的,则调到 catch 的地方进行处理。
- 没有匹配的 catch 则退出当前函数栈,继续在调用函数的栈中进行查找匹配的 catch。
- 如果到达 main 函数的栈,依旧没有匹配的,则终止程序。上述这个沿着调用链查找匹配的 catch 子句的过程称为栈展开。所以实际上我们最后都要加一个 catch(...) 捕获任意类型的异常,否则当有异常没捕获,程序就会直接终止。
- 找到匹配的 catch 子句并处理以后,会继续沿着 catch 子句后面继续执行。
2、异常的重新抛出
有可能单个的 catch 不能完全处理一个异常,在进行一些校正处理以后,希望再交给更外层的调用链函数来处理,catch 则可以通过重新抛出将异常传递给更上层的函数进行处理。
double Division(int a, int b)
{
// 当b == 0时抛出异常
if (b == 0)
{
throw "Division by zero condition!";
}
return (double)a / (double)b;
}
void Func()
{
int* array = new int[10];
int len, time;
cin >> len >> time;
cout << Division(len, time) << endl;
cout << "delete []" << array << endl;
delete[] array;
throw;
// ...
cout << "delete []" << array << endl;
delete[] array;
}
int main()
{
try
{
Func();
}
catch (const char* errmsg)
{
cout << errmsg << endl;
}
return 0;
}
若抛异常,则会导致内存泄漏(没有使用 delete 释放)。
若要求在 main 函数将异常处理, 所以可以采用异常的重新抛出。当在 Func 函数中的 catch 要捕获异常时,再将异常抛出,使 main 函数中进行捕获异常 。
3、异常安全
- 构造函数完成对象的构造和初始化,最好不要在构造函数中抛出异常,否则可能导致对象不完整或没有完全初始化。
- 析构函数主要完成资源的清理,最好不要在析构函数内抛出异常,否则可能导致资源泄漏(内存泄漏、句柄未关闭等)。
- C++ 中异常经常会导致资源泄漏的问题,比如在 new 和 delete 中抛出了异常,导致内存泄漏,在 lock 和 unlock 之间抛出了异常导致死锁,C++ 经常使用 RAII 来解决以上问题,关于 RAII 将在后面的智能指针部分进行详细讲解。
4、异常规范
exception - C++ Reference (cplusplus.com)
- 异常规格说明的目的是为了让函数使用者知道该函数可能抛出的异常有哪些。可以在函数的后面接 throw(类型),列出这个函数可能抛掷的所有异常类型。
- 在 C++98 中,函数的后面接 throw(),表示函数不抛异常。
- 若无异常接口声明,则此函数可以抛掷任何类型的异常。
声明可以不给,但是加上会让人更容易理解。这个函数异常声明并不是强制的,并且比较繁琐,就导致很多人不遵循这个规范。
在 C++11 中,若一个函数明确不抛异常的话,就加 noexcept,可能会抛异常,就什么都不加。
四、自定义异常体系
在实际使用中,很多公司都会自定义自己的异常体系来进行规范的异常管理。因为在一个项目中,如果大家随意抛异常,那么外层的调用者基本就没办法玩了,所以在实际中都会定义一套继承的规范体系。这样大家抛出的都是继承的派生类对象,捕获一个基类就可以了。
// 基类
// 异常
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)
{
this_thread::sleep_for(chrono::seconds(1));
try{
HttpServer();
}
catch (const Exception& e) // 这里捕获父类对象就可以
{
// 多态
cout << e.what() << endl;
}
catch (...)
{
cout << "Unkown Exception" << endl;
}
}
return 0;
}
五、C++ 标准库的异常体系
实际上,我们可以去继承 exception 类来实现自己的异常类。但是在实际中很多公司会像上面一样,自己去定义一套异常继承体系,因为 C++ 标准库设计的不够好用。
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;
}
六、异常的优缺点
1、C++ 异常的优点
(1)异常对象定义好了,相比错误码的方式可以清晰准确的展示出错误的各种信息,甚至可以包含堆栈调用的信息,这样可以帮助更好的定位程序的 bug。
(2)返回错误码的传统方式有个很大的问题就是,在函数调用链中,深层的函数返回了错误,那么我们得层层返回错误,最外层才能拿到错误,具体看下面的详细解释。
- 下面这段伪代码我们可以看到 ConnnectSql 中出错了,先返回给 ServerStart,ServerStart 再返回给 main 函数,main 函数再针对问题处理具体的错误。
- 如果是异常体系,不管是 ConnnectSql 还是 ServerStart 及调用函数出错,都不用检查,因为抛出的异常异常会直接跳到 main 函数中 catch 捕获的地方,main 函数直接处理错误。
int ConnnectSql()
{
// 用户名密码错误
if (...)
return 1;
// 权限不足
if (...)
return 2;
}
int ServerStart() {
if (int ret = ConnnectSql() < 0)
return ret;
int fd = socket()
if(fd < 0)
return errno;
}
int main()
{
if(ServerStart() < 0)
// ...
return 0;
}
2、C++ 异常的缺点
- 抛出异常类型都继承自一个基类。
- 函数是否抛异常、抛什么异常,都使用 func() throw(); 的方式规范化。
【总结】
异常总体而言, 利大于弊 ,所以在工程中还是鼓励使用异常的。另外 OO 的语言基本都是用异常处理错误,这也可以看出这是大势所趋。