try-catch语法形式如下:
try
{
// 包含可能抛出的异常语句
throw 产生异常的对象
}
catch (类型名 [形参名]) // 捕获特定类型的异常
{
// 异常处理
}
catch (类型名 [形参名]) // 捕获特定类型的异常
{
// 异常处理
}
catch (…) // 捕获所有异常类型
{
// 异常处理
}
异常处理中要注意的问题:
- 如果抛出的异常一直没有函数捕获(catch),则会一直上传到C++运行系统那里,导致整个程序的终止;
- 一般在异常抛出后资源可以正常被释放,但注意如果在类的构造函数中抛出异常,系统是不会调用它的析构函数的,处理方法是:如果在构造函数中要抛出异常,则在抛出前要记得删除申请的资源;
- 异常处理仅仅是通过类型而不是值匹配的,所以catch块的参数可以没有参数名称,只需要参数类型;
- 函数原型中的异常说明要与实现中的异常说明一致,否则容易引起异常冲突;
- 应该在throw语句后写上异常对象时,throw先通过拷贝构造函数构造一个新对象,在把该对象传递给catch;
当异常抛出新对象后如何释放?
异常处理机制保证:异常抛出的新对象并非创建在函数栈上,而是创建在专用的异常栈上,因此它才可以跨接多个函数儿传递到上层,否则在站清空的过程中就会被销毁。所有从try到throw之间构造起来的对象的析构函数将被自动调用。但如果一直上溯到main函数后还没有找到匹配的catch块,那么系统调用terminate()将终止整个程序,这种情况下不能保证所有局部对象会被正确地销毁。
- catch块的参数推荐采用地址传递,不仅可以提高效率,还可以利用对象的多态性。另外,派生类的异常捕获要放到父类异常捕获的前面,否则,派生类的异常无法被捕获;
- 编写异常说明是,要确保派生类成员函数的异常说明和基类成员函数的异常说明一致,即派生类改写的虚函数的异常说明至少要和对应的基类虚函数的异常说明要相同,甚至要更严格,更特殊;