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

妖狐艹你老母 2022-03-29 16:12 348阅读 0赞

本文主要介绍 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\*”。

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

![2019010909543881.png][]

# 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]#

[2019010909543881.png]: /images/20220329/a9ab420e14974d4a9a9cbbe251005434.png