C++编程语言中异常处理（try-catch-throw）介绍

本文主要介绍C++编程语言中的异常处理（try-catch-throw）的相关内知识，同时通过示例代码介绍异常处理的使用方法。

1 概述

C++编程语言中的异常是指在程序运行时发生的特殊情况，例如除数为“0”的情况。异常机制提供了一种转移程序控制权的方式。

C++编程语言中的异常处理涉及到三个关键字：try、catch、throw。这三个关键字的介绍如下：

• throw：当问题出现时，通过使用throw关键字让程序抛出一个异常；
• try：关键字try块中的代码被称为保护代码，该段代码可能会抛出异常。try关键字后通常跟着一个或多个catch块；
• catch：在想要处理异常的地方，使用catch关键字捕获异常，并进行相关的异常处理。

2 用法

2.1 使用throw抛出异常

可以使用throw关键字在代码中抛出异常。throw关键字操作的对象类型即为抛出异常的类型。

示例代码内容如下：

// 定义除法函数，当分母为0时，此函数会抛出异常信息
double Division(double x, double y)
{
    if (0 == int(y))
    {
        throw "divisor y is zero.";
    }
    
    return (x / y);
}

上述代码的函数Division中throw操作的对象是“const char *”类型，所以其抛出的异常类型即为“const char *”类型。如果想要捕获到该异常，则需要将catch语句对应的异常类型设置为“const char *”。

2.2 使用try-catch语句处理异常

示例代码内容如下：

    try
    {
       // 保护代码，可能抛出异常
       // throw 抛出异常
    }
    catch (ExceptionName e1)
    {
       // 能捕获到 ExceptionName 类型的异常
       // 具体的异常处理操作
    }
    catch (ExceptionName e2)
    {
       // 能捕获到 ExceptionName 类型的异常
       // 具体的异常处理操作
    }
    catch (ExceptionName eN)
    {
       // 能捕获到 ExceptionName 类型的异常
       // 具体的异常处理操作
    }

如果try块中的代码在不同情况下会抛出不同类型的异常，则可使用多个catch语句，捕获并处理这些不同类型的异常。catch只能捕获到其规定类型的异常。

上面的示例代码会捕获到类型为ExceptionName的异常。如果想让catch能够捕获try块抛出的任何类型的异常，则需要在异常类型声明括号内使用省略号“...”，示例代码内容如下：

    try
    {
       // 保护代码，可能抛出任何类型的异常
       // throw 抛出异常
    }
    catch (...)
    {
        // 能捕获到任何类型的异常
        // 具体的异常处理操作
    }

3 示例代码

下面展示一个完整的异常处理示例代码。示例代码（exception_demo1.cpp）的内容如下：

#include <iostream>
#include <string>

using namespace std;

// 定义除法函数，当分母为0时，此函数会抛出异常信息
double Division(double x, double y)
{
    if (0 == int(y))
    {
        throw "divisor y is zero.";
    }
    
    return (x / y);
}

int main()
{
    double a = 5.0;
    double b = 0.0;
    double c = 0;

    // try块内为被保护的代码，如果块内代码抛出异常，则会被相关的catch捕获到
    try
    {
        c = Division(a, b);
        cout << "c is: " << c << endl;
    }
    catch (const char * exception)
    {
        cout << "exception info is: " << exception << endl;
    }

    return 0;
}

上述代码的Division函数抛出了一个类型为“const char*”的异常，因此，为了捕获到该异常，catch的异常类型必须也是“const char*”。

编译并执行上述代码，结果如下：

4 异常规格说明

抛出异常的函数后接的throw()，称为异常规格说明，表示该函数可以抛出哪种类型的异常，具体的异常类型在throw()的括号中声明。

具体包括以下几种情况：

• 如果函数不抛出任何类型的异常，则throw()的括号中无内容。示例如下：

  double Division(double x, double y) throw ()

• 如果函数可以抛出类型为“A”、“B”的异常，则写法为“throw(A, B)”。示例如下：

  double Division(double x, double y) throw (const char*, int) 

  上述示例表示Division函数可以抛出“const char*”和“int”类型的异常；
• 如果函数可以抛出任何类型的异常，则不需要后接异常规格说明。示例如下：

  double Division(double x, double y)

  上述示例表示Division函数可以抛出任何类型的异常。

注意：如果函数抛出异常的类型，与异常规格说明不一致，则会导致程序执行出错。例如，在上述示例代码中，将Division函数的异常规格说明设置为“int”类型，则程序执行时会报如下错误：

[root@node1 /opt/liitdar/mydemos/simples]# ./exception_demo1 
terminate called after throwing an instance of 'char const*'
Aborted
[root@node1 /opt/liitdar/mydemos/simples]#