C++异常处理

目录

前言 

抛出异常

捕获异常

C++ 标准的异常

定义新的异常

what()函数用法

---

前言 

        异常是程序在执行期间产生的问题。C++ 异常是指在程序运行时发生的特殊情况，比如尝试除以零的操作。

异常提供了一种转移程序控制权的方式。C++ 异常处理涉及到三个关键字：try、catch、throw。

• throw: 当问题出现时，程序会抛出一个异常。这是通过使用 throw 关键字来完成的。
• catch: 在您想要处理问题的地方，通过异常处理程序捕获异常。catch 关键字用于捕获异常。
• try: try 块中的代码标识将被激活的特定异常。它后面通常跟着一个或多个 catch 块。

        如果有一个块抛出一个异常，捕获异常的方法会使用 try 和 catch 关键字。try 块中放置可能抛出异常的代码，try 块中的代码被称为保护代码。使用 try/catch 语句的语法如下所示：

try
{
   // 保护代码
}catch( ExceptionName e1 )
{
   // catch 块
}catch( ExceptionName e2 )
{
   // catch 块
}catch( ExceptionName eN )
{
   // catch 块
}

        如果 try 块在不同的情境下会抛出不同的异常，这个时候可以尝试罗列多个 catch 语句，用于捕获不同类型的异常。

抛出异常

        您可以使用 throw 语句在代码块中的任何地方抛出异常。throw 语句的操作数可以是任意的表达式，表达式的结果的类型决定了抛出的异常的类型。

        以下是尝试除以零时抛出异常的实例：

#include <iostream>

double division(int a, int b)
{
    if (b == 0)
    {
        throw "Division by zero condition!";
    }
    return (a / b);
}

int main() {
    int dividend, divisor; // dividend:被除数;divisor:除数
    std::cout << "请输入被除数和除数：\n";
    std::cin >> dividend >> divisor;
    auto result = division(dividend, divisor);
    std::cout << "运算结果：\n";
    std::cout << result;
    return 0;
}

捕获异常

        catch 块跟在 try 块后面，用于捕获异常。您可以指定想要捕捉的异常类型，这是由 catch 关键字后的括号内的异常声明决定的。

try
{
   // 保护代码
}catch( ExceptionName e )
{
  // 处理 ExceptionName 异常的代码
}

        上面的代码会捕获一个类型为 ExceptionName 的异常。如果您想让 catch 块能够处理 try 块抛出的任何类型的异常，则必须在异常声明的括号内使用省略号 ...，如下所示：

try
{
   // 保护代码
}catch(...)
{
  // 能处理任何异常的代码
}

下面是一个实例，抛出一个除以零的异常，并在 catch 块中捕获该异常。 

#include <iostream>

double division(int a, int b)
{
    if (b == 0)
    {
        throw "Division by zero condition!";
    }
    return (a / b);
}

int main() {
    int dividend, divisor; // dividend:被除数;divisor:除数
    try {
        std::cout << "请输入被除数和除数：\n";
        std::cin >> dividend >> divisor;
        auto result = division(dividend, divisor);
        std::cout << "运算结果：\n";
        std::cout << result;
    }
    catch (const char* msg) {
        std::cerr << msg << std:: endl;
    }
   
    return 0;
}

【std::cerr可参考上一篇博文： std::cerr-CSDN博客  】

        由于我们抛出了一个类型为 const char* 的异常，因此，当捕获该异常时，我们必须在 catch 块中使用 const char*。当上面的代码被编译和执行时，它会产生下列结果：

输入被除数24及除数3，得到如下结果： 

若除数为0，则捕获异常：

C++ 标准的异常

        C++ 提供了一系列标准的异常，定义在 <exception> 中，我们可以在程序中使用这些标准的异常。它们是以父子类层次结构组织起来的，如下所示：

下表是对上面层次结构中出现的每个异常的说明：

异常	描述
std::exception	该异常是所有标准 C++ 异常的父类。
std::bad_alloc	该异常可以通过 new 抛出。
std::bad_cast	该异常可以通过 dynamic_cast 抛出。
std::bad_typeid	该异常可以通过 typeid 抛出。
std::bad_exception	这在处理 C++ 程序中无法预期的异常时非常有用。
std::logic_error	理论上可以通过读取代码来检测到的异常。
std::domain_error	当使用了一个无效的数学域时，会抛出该异常。
std::invalid_argument	当使用了无效的参数时，会抛出该异常。
std::length_error	当创建了太长的 std::string 时，会抛出该异常。
std::out_of_range	该异常可以通过方法抛出，例如 std::vector 和 std::bitset<>::operator[]()。
std::runtime_error	理论上不可以通过读取代码来检测到的异常。
std::overflow_error	当发生数学上溢时，会抛出该异常。
std::range_error	当尝试存储超出范围的值时，会抛出该异常。
std::underflow_error	当发生数学下溢时，会抛出该异常。

定义新的异常

        您可以通过继承和重载 exception 类来定义新的异常。下面的实例演示了如何使用 std::exception 类来实现自己的异常：

#include <iostream>
#include <exception>
using namespace std;
 
struct MyException : public exception
{
  const char * what () const throw ()
  {
    return "C++ Exception";
  }
};
 
int main()
{
  try
  {
    throw MyException();
  }
  catch(MyException& e)
  {
    std::cout << "MyException caught" << std::endl;
    std::cout << e.what() << std::endl;
  }
  catch(std::exception& e)
  {
    //其他的错误
  }
}

这将产生以下结果：

MyException caught
C++ Exception

        在这里，what() 是异常类提供的一个公共方法，它已被所有子异常类重载。这将返回异常产生的原因。

what()函数用法

        `what()` 函数是 C++ 异常处理机制中的一个成员函数，用于返回异常对象的描述信息。

        当发生异常时，C++ 的异常处理机制会创建一个异常对象，并将其抛出。每个异常类都可以定义自己的 `what()` 函数，用于提供关于异常的描述信息。`what()` 函数的返回类型是 `const char*`，即一个指向字符数组的指针。

        通常情况下，`what()` 函数会返回一个描述当前异常的字符串，以便在程序中进行处理和调试。根据具体的异常类的设计，`what()` 函数可能返回异常的类型、错误信息、堆栈信息等内容。

        下面是一个简单的示例，展示了如何定义一个自定义异常类及其 `what()` 函数的用法：

#include <exception>
#include <iostream>

class MyException : public std::exception {
public:
    const char* what() const noexcept override {
        return "This is a custom exception.";
    }
};

int main() {
    try {
        throw MyException();
    } catch (const std::exception& ex) {
        std::cout << "Caught exception: " << ex.what() << std::endl;
    }

    return 0;
}

输出结果：

Caught exception: This is a custom exception.

        在上述示例代码中，我们定义了一个名为 `MyException` 的自定义异常类，它继承自 `std::exception`。在 `MyException` 类中，重写了 `what()` 函数，使其返回固定的字符串 "This is a custom exception."。

        在 `main()` 函数中，我们通过 `throw` 关键字抛出了一个 `MyException` 的对象，并通过 `catch` 语句捕获该异常。在 `catch` 代码块中，通过调用 `ex.what()` 来获取异常对象的描述信息，并进行输出。

        需要注意的是，`what()` 函数应当是线程安全的，并且通常应当被声明为 `const noexcept` 成员函数。

        总之，`what()` 函数是一个成员函数，用于返回异常对象的描述信息。它对于调试和处理异常非常有用，可以提供有关异常的相关信息。每个异常类都可以自定义自己的 `what()` 函数来提供特定的描述信息。

重写what()函数的原因

        在自定义异常类时，重写 what() 函数是为了提供特定异常的描述信息。

        当程序运行中发生异常时，通常希望能够捕获并处理这些异常。异常对象的描述信息对于调试和错误处理非常有用。C++ 标准库中的 std::exception 类定义了一个名为 what() 的函数，用于返回异常对象的描述信息。

        然而，std::exception 类只提供了一个通用的描述信息，不足以满足所有自定义异常的需求。因此，通过从 std::exception 派生新的异常类，并重写其 what() 函数，可以根据具体的异常类型提供更详细和准确的描述信息。

重写 what() 函数的好处包括：

1. 提供更具体的异常描述：自定义的异常类可能携带特定的错误信息，例如操作失败的原因、无效的输入等。通过重写 what() 函数，可以将这些信息返回给调用者，使其更容易理解异常的来源和原因。
2. 方便调试：异常信息是调试程序的有力工具。通过提供清晰的异常描述，可以更快地定位代码中的问题，并进行修复。
3. 支持异常处理：在异常处理代码块中，我们通常需要根据异常类型采取不同的措施。通过自定义的异常类和其相应的 what() 函数，可以轻松区分不同类型的异常，并采取适当的处理措施。