1）try、throw和catch关键字
- 在程序中的用法如下
#include <iostream>
using namespace std;
int main()
{
double m = 1, n = 0;
try {
cout << "before dividing." << endl;
if (n == 0)
throw - 1; //抛出int型异常
else if (m == 0)
throw - 1.0; //拋出 double 型异常
else
cout << m / n << endl;
cout << "after dividing." << endl;
}
catch (double d) {
cout << "catch (double)" << d << endl;
}
catch (...) {
cout << "catch (...)" << endl;
}
cout << "finished" << endl;
return 0;
}
//运行结果
//before dividing.
//catch (...)
//finished
- 程序的执行流程是先执行try包裹的语句块，如果执行过程中没有异常发生，则不会进入任何catch包裹的语句块
- 如果发生异常，则使用throw进行异常抛出，再由catch进行捕获
- throw可以抛出各种数据类型的信息，代码中使用的是数字，也可以自定义异常class
- 可以使用catch(...)的方式捕获任何异常（不推荐）
- 如果catch了异常，当前函数如果不进行处理，或者已经处理了想通知上一层的调用者，可以在catch里面再throw异常。
2）函数的异常声明列表
- 程序员在定义函数的时候知道函数可能发生的异常，可以在函数声明和定义时，指出所能抛出异常的列表
int fun() throw(int,double,A,B,C){...};
- 表名函数可能会抛出int,double型或者A、B、C三种类型的异常
3）C++标准异常类 exception
- C++ 标准库中有一些类代表异常，这些类都是从 exception 类派生而来
- bad_typeid：使用typeid运算符，如果其操作数是一个多态类的指针，而该指针的值为 NULL，则会拋出此异常
- bad_cast：在用 dynamic_cast 进行从多态基类对象（或引用）到派生类的引用的强制类型转换时，如果转换是不安全的，则会拋出此异常
- bad_alloc：用 new 运算符进行动态内存分配时，如果没有足够的内存，则会引发此异常
- out_of_range:用 vector 或 string的at 成员函数根据下标访问元素时，如果下标越界，则会拋出此异常
typeid
- 在揭开typeid之前，需先了解RTTI（Run-Time Type Identification，运行时类型识别）
- 它使程序能够获取由基指针或引用所指向的对象的实际派生类型
- 允许“用指向基类的指针或引用来操作对象”的程序能够获取到“这些指针或引用所指对象”的实际派生类型。
- 在C++中，为了支持RTTI提供了两个操作符：dynamic_cast和typeid
- dynamic_cast允许运行时刻进行类型转换，从而使程序能够在一个类层次结构中安全地转化类型
- 相对应的还有一个非安全的转换操作符static_cast
- typeid操作符的返回结果是名为type_info的标准库类型的对象的引用
- typeid 会把获取到的类型信息保存到一个 type_info 类型的对象里面，并返回该对象的常引用