在C++中catch语句块也可以抛出异常
为什么C++要支持
catch语句块也可以抛出异常呢?
catch语句块中可以
将捕获到的异常重新解释后再抛出(在大型的软件系统中我们就可以
对异常做统一的规范,便于软件的开发管理)
在软件开发工程中,我们采用下面这样的方式
统一异常
【编程实验】C++中异常的重新解释
#include <iostream>
#include <string>
using namespace std;
void Demo()
{
try
{
try
{
throw 'c';
}
catch(int i)
{
cout << "Inner: catch(int i)" << endl;
throw i;
}
catch(...)
{
cout << "Inner: catch(...)" << endl;
throw;
}
}
catch(...)
{
cout << "Outer: catch(...)" << endl;
}
}
/*
假设: 当前的函数式第三方库中的函数,因此,我们无法修改源代码
函数名: void func(int i)
抛出异常的类型: int
-1 ==》 参数异常
-2 ==》 运行异常
-3 ==》 超时异常
*/
void func(int i)
{
if( i < 0 )
{
throw -1;
}
if( i > 100 )
{
throw -2;
}
if( i == 11 )
{
throw -3;
}
cout << "Run func..." << endl;
}
void MyFunc(int i)
{
try
{
func(i);//这里会抛异常
}
catch(int i)//捕捉异常,统一分类,重新解释后抛出新的解释后的异常
{
switch(i)//分支语句重新抛出解释之后的异常
{
case -1:
throw "Invalid Parameter";//参数异常
break;
case -2:
throw "Runtime Exception";//程序运行时异常
break;
case -3:
throw "Timeout Exception";//超时异常
break;
}
}
}
int main(int argc, char *argv[])
{
// Demo();
try
{
MyFunc(11);//这里会抛出异常
}
catch(const char* cs)//const char*异常被捕捉
{
cout << "Exception Info: " << cs << endl;//打印const char*信息
}
return 0;
}
C++中的异常处理:
--异常可以是
自定义类类型
--对于类类型异常的匹配原则依旧是
至上而下严格匹配
--
赋值兼容性原则在异常类型匹配中依旧有用
因为赋值兼容性原则的存在:
--匹配子类异常的catch放在上面(前面)
--匹配父类异常的catch放在下面(后面)
- 在软件开发工程中会定义一系列的异常类
- 每个类代表工程中可能出现的一种异常类型
- 代码复用时可能需要重解释不同的异常类
- 在定义catch语句块时推荐使用引用作为参数
#include <iostream> #include <string> using namespace std; class Base { }; class Exception : public Base { int m_id;//异常id string m_desc;//异常描述 public: Exception(int id, string desc) { m_id = id; m_desc = desc; } int id() const { return m_id; } string description() const { return m_desc; } }; /* 假设: 当前的函数式第三方库中的函数,因此,我们无法修改源代码 函数名: void func(int i) 抛出异常的类型: int -1 ==》 参数异常 -2 ==》 运行异常 -3 ==》 超时异常 */ void func(int i) { if( i < 0 ) { throw -1; } if( i > 100 ) { throw -2; } if( i == 11 ) { throw -3; } cout << "Run func..." << endl; } void MyFunc(int i) { try { func(i); } catch(int i) { switch(i) { case -1: throw Exception(-1, "Invalid Parameter");//抛出一个自定义异常实例 break; case -2: throw Exception(-2, "Runtime Exception");//抛出一个自定义异常实例 break; case -3: throw Exception(-3, "Timeout Exception");//抛出一个自定义异常实例 break; } } } int main(int argc, char *argv[]) { try { MyFunc(11); } catch(const Exception& e)//捕捉自定义异常类 { cout << "Exception Info: " << endl;//自定义异常类可以得到更多信息 cout << " ID: " << e.id() << endl;//自定义异常类可以得到更多信息 cout << " Description: " << e.description() << endl;//自定义异常类可以得到更多信息 } catch(const Base& e)//越上层的抽象异常基类,越靠后 { cout << "catch(const Base& e)" << endl; } return 0; }
小结:
- catch语句可以抛出异常
- 异常类可以是自定义类类型
- 赋值兼容性原则在异常匹配中依然有效