C++入门教程 07

学习链接

七、异常处理

1. 异常的概念

程序的错误通常包括：语法错误、逻辑错误、运行异常

下面分别介绍：

1. 语法错误，就是程序代码不符合语法要求，在编译、链接时候就由编译器提示出来的错误，好发现。
2. 逻辑错误，这种情况，是指编译没问题，没有错误，可以运行起来。但程序的输出结果或执行过程不如我们所愿，达不到预期的结果，这种错误就叫做逻辑错误，需要不断的调试、测试来发现。
3. 运行异常（exception），是指程序在运行过程中由于意外的情况，造成的程序异常终止，比如内存不足、打开的文件不存在、除数为0的情况等等。

本章主要是讲解第三种异常运行异常。通常情况下，导致程序异常错误，虽然无法避免，但是确可以预料，进行预见性的处理，来避免程序崩溃，从而保障程序的健壮性。这种行为我们称之为异常处理。

在过往学习中，我们捕获和处理异常的方法也很多，比如通过if…else判断调用函数的返回值，或在执行代码之前对关键的数据进行检查等等，如果出现问题，则exit()或abort()等函数来终止程序。

比如：

cin>>a>>b;
if(b==0)//捕获异常
{
    cout<<"Drivide 0!"<<endl;
}
else
{
    cout<<a<<"/"<<b<<"="a/b<<endl;
}

可以看到，在过往的学习中，我们往往通过if来进行判断，从而对关键部分进行捕获和预防，但这种方式在使用过程中往往会因为if判断过多，使程序的易读性降低，并且对于需要判断函数返回值的情况，对于那些没有返回值的函数，就束手无策了。为此C++为我们提供了异常处理的方案。

2. C++异常处理机制

C++为我们提供了一种结构化形式的，更为优雅的异常处理机制，这种结构化机制可以把程序中正常执行的代码和异常处理的部分分开表示，使程序变得更清晰易读，更为优雅！

来看看异常处理的结构：

try
{
    //正常程序执行语句
    throw (异常类型表达式);
}
catch(异常类型1)
{
    //异常处理代码
}
catch(异常类型2)
{
    //异常处理代码
}
catch(异常类型3)
{
    //异常处理代码
}
//后续代码

以上是C++中异常处理的代码形式，用到了try、throw、catch三个关键词

代码在执行时，首先遇到try代码块，作用就是启动异常处理机制，检测try代码执行中遇到的异常，然后通过throw进行抛出, throw当中的异常类型表达式是常量或变量表达式(有点像switch函数)。接下来会和后面的catch语句块进行匹配（捕获），然后执行对应的代码。如果没有发现可以匹配的类型则，则继续向下执行。如若未找到匹配，则自动调用terminate()结束函数，默认功能是abort()终止程序

下面举一个除法运算时，除数为0时候的一个异常处理：

#include <iostream>
using namespace std;
int main()
{
    int a,b;
    cin>>a>>b;
    try
    {
        if(b==0)
            throw "error! b<0";
    }
    catch(const char *str)
    {
        cout << "char" << endl;
        cout<<str<<endl;
    } 
    catch(int)
    {
        cout << "int" << endl;
        cout<<"throw int "<<endl;
    }
    return 0;
}

输出：

可以看到，在try中，如果发现b为0会抛出一个字符串，那么此时会进入catch匹配，很明显将匹配第一个catch，进而输出str的值。

3. C++标准异常处理类

C++给我们提供了标准的异常处理类，它用来抛出C++标准库中函数执行时的异常。C++提供的标准异常类的层次结构如图：

可以看到，所有的异常类都继承自exception基类，exception类下的logic_error和runtime_error又是两个比较大类，包含有多个自类，它们分表代表逻辑类错误和运行时错误。

举例说明，如：

1. 我们使用new开辟内存时，如果遇到空间不足，则会抛出bad_alloc的异常
2. 我们使用dynamic_cast（）进行动态类型转化失败时，则抛出bad_typeid异常
3. 我们在计算数值超过该类型表示的最大范围时，则抛出overflow_error异常,表示运算上溢，同理，underflow_error表示运算下溢
4. 我们在使用string类下标但越界时，则抛出out_of_range异常
5. 等等等… …

注意，使用C++自带的标准异常类，需要包含对应的头文件：

• exception、bad_exception类在头文件exception中定义
• bad_alloc类在头文件new中定义
• bad_typeid类在头文件typeinfo中定义
• ios_base::failure类在头文件ios中定义
• 其他异常类在stdexcept中定义

再来看一个使用C++标准异常类的示例：

#include <iostream>
#include<new>
#include<stdexcept>
using namespace std;
//异常处理 
int main()
{
    string *s;
    try
    {
        s=new string("www.dotcpp.com");
        cout<<s->substr(15,5);
    }
    catch(bad_alloc &t)
    {
        cout<<"Exception occurred:"<<t.what()<<endl;
    }
    catch(out_of_range &t)
    {
        cout<<"Exception occurred:"<<t.what()<<endl;
    }
    return 0;
}

输出结果：