C++学习40 抛出自己的异常

Posted 2020-08-06 白宫飘红旗

throw 是C++中的关键字，用来抛出异常。如果不使用 throw 关键字，try 就什么也捕获不到；上节提到的 at() 函数在内部也使用了 throw 关键字来抛出异常。

throw 既可以用在标准库中，也可以用在自定义的函数中，抛出我们期望的异常。throw 关键字语法为：

throw exceptionData;

exceptionData 是“异常数据”的意思，它既可以是一个普通变量，也可以是一个对象，只要能在 catch 中匹配就可以。

下面的例子演示了如何使用 throw 关键字：

#include <iostream>
#include <string>
using namespace std;
char get_char(const string &, int);
int main(){
    string str = "c plus plus";
    try{
        cout<<get_char(str, 2)<<endl;
        cout<<get_char(str, 100)<<endl;
    }catch(int e){
        if(e==1){
            cout<<"Index underflow!"<<endl;
        }else if(e==2){
            cout<<"Index overflow!"<<endl;
        }
    }
    return 0;
}
char get_char(const string &str, int index){
    int len = str.length();
    if(index < 0)
        throw 1;
    if(index >= len)
        throw 2;
    return str[index];
}

 

 在 get_char() 函数中，我们使用了 throw 关键字，如果下标越界，就会抛出一个 int 类型的异常：如果是下溢，异常数据的值为 1；如果是上溢，异常数据的值为 2。在 catch 中，将捕获 int 类型的异常，然后根据异常数据输出不同的提示语。

不被建议的用法

throw 关键字除了可以用在函数体中抛出异常，还可以用在函数头和函数体之间，指明函数能够抛出的异常类型。有些文档中称为异常列表。例如：

double func (char param) throw (int);

这条语句声明了一个名为 func 的函数，它的返回值类型为 double，有一个 char 类型的参数，并且只能抛出 int 类型的异常。如果抛出其他类型的异常，try 将无法捕获，只能终止程序。

如果希望能够抛出多种类型的异常，可以用逗号隔开：

double func (char param) throw (int, char, exception);

如果不希望限制异常类型，那么可以省略：

double func (char param) throw ();

如此，func() 函数可以抛出任何类型的异常，try 都能捕获到。

更改上例中的代码：

#include <iostream>
#include <string>
using namespace std;
char get_char(const string &, int) throw(char, exception);
int main(){
    string str = "c plus plus";
    try{
        cout<<get_char(str, 2)<<endl;
        cout<<get_char(str, 100)<<endl;
    }catch(int e){
        if(e==1){
            cout<<"Index underflow!"<<endl;
        }else if(e==2){
            cout<<"Index overflow!"<<endl;
        }
    }
    return 0;
}
char get_char(const string &str, int index) throw(char, exception){
    int len = str.length();
    if(index < 0)
        throw 1;
    if(index >= len)
        throw 2;
    return str[index];
}

在使用 GCC 的 IDE 中运行代码，执行到第 12 行时程序会崩溃。虽然 func 函数检测到下标越界，知道发生了异常，但是由于 throw 限制了函数只能抛出 char、exception 类型的异常，所以 try 将捕获不到异常，只能交给系统处理，终止程序。

需要说明的是，C++标准已经不建议这样使用 throw 关键字了，因为各个编译器对 throw 的支持不同，有的直接忽略，不接受 throw 的限制，有的将 throw 作为函数签名，导致引用函数时可能会有问题。上面的代码在 GCC 下运行时会崩溃，在 VS 下运行时则直接忽略 throw 关键字对异常类型的限制，try 可以正常捕获到 get_char() 抛出的异常，程序并不会崩溃。