c++ 异常处理
异常处理就是处理程序中的错误,比如尝试除以零的操作。提供异常的基本目的就是为了处理自己无法处理的错误时抛出(throw)一个异常,然后它的(直接或者间接)调用者能够处理这个问题。
在C语言的世界中,对错误的处理总是围绕着两种方法:一是使用整型的返回值标识错误;二是使
用errno宏(可以简单的理解为一个全局整型变量)去记录错误。当然C++中仍然是可以用这两种方法
的。
这两种方法最大的缺陷就是会出现不一致问题。例如有些函数返回1表示成功,返回0表示出错;
而有些函数返回0表示成功,返回非0表示出错。
还有一个缺点就是函数的返回值只有一个,你通过函数的返回值表示错误代码,那么函数就不能
返回其他的值。当然,你也可以通过指针或者C++的引用来返回另外的值,但是这样可能会令你的程序
略微晦涩难懂。
优点
优点有以下几点:
- 函数的返回值可以忽略,但异常不可忽略。如果程序出现异常,但是没有被捕获,程序就会终
止,这多少会促使程序员开发出来的程序更健壮一点。而如果使用C语言的error宏或者函数返回值,调
用者都有可能忘记检查,从而没有对错误进行处理,结果造成程序莫名其面的终止或出现错误的结果。 - 整型返回值没有任何语义信息。而异常却包含语义信息,有时你从类名就能够体现出来。
- 整型返回值缺乏相关的上下文信息。异常作为一个类,可以拥有自己的成员,这些成员就可以
传递足够的信息。 - 异常处理可以在调用跳级。这是一个代码编写时的问题:假设在有多个函数的调用栈中出现了
某个错误,使用整型返回码要求你在每一级函数中都要进行处理。而使用异常处理的栈展开机
制,只需要在一处进行处理就可以了,不需要每级函数都处理。
基本语法
自定义处理异常catch
通过try异常处理程序捕获异常,但是要自定义处理异常方式。
try //try 块中的代码标识将被激活的特定异常
{
// 保护代码
}catch( ExceptionName e1 ) // 在您想要处理问题的地方,通过异常处理程序捕获异常。 e1为捕获异常
{
// catch 块
}catch( ExceptionName e2 )
{
// catch 块
}catch( ExceptionName eN )
{
// catch 块
}
- catch的匹配过程是找最先匹配的,不是最佳匹配。
- catch的匹配过程中,对类型的要求比较严格。不允许标准算术转换和类类型的转换。(类类
型的转化包括两种:通过构造函数的隐式类型转化和通过转化操作符的类型转化)。
throw只需要捕获异常即可
异常处理交给JVM处理。
noexcept:用于声明函数不抛出异常,如果函数抛了异常,则直接中断,不能被捕获
异常之栈解旋
异常被抛出后,从进入try块起,到异常被抛掷前,这期间在栈上构造的所有对象,都会被自动析
构。析构的顺序与构造的顺序相反,这一过程称为栈的解旋(unwinding).
标准异常类的成员:
① 在上述继承体系中,每个类都有提供了构造函数、复制构造函数、和赋值操作符重载。
② logic_error类及其子类、runtime_error类及其子类,它们的构造函数是接受一个string类型
的形式参数,用于异常信息的描述;
logic_error类会中止程序;
runtime_error类不会中止程序。
③ 所有的异常类都有一个what()方法,返回const char* 类型(C风格字符串)的值,描述异常
信息。
自定义异常
为什么要编写自己的异常类?
① 标准库中的异常是有限的;
② 在自己的异常类中,可以添加自己的信息。(标准库中的异常类值允许设置一个用来描述
异常的字符串)。
如何编写自己的异常类?
① 建议自己的异常类要继承标准异常类。因为C++中可以抛出任何类型的异常,所以我们的
异常类可以不继承自标准异常,但是这样可能会导致程序混乱,尤其是当我们多人协同开发
时。
② 当继承标准异常类时,应该重载父类的what函数和虚析构函数。
③ 因为栈展开的过程中,要复制异常类型,那么要根据你在类中添加的成员考虑是否提供自
己的复制构造函数。
#include <iostream>
#include <exception>
using namespace std;
//第一种
class Out_Range : public exception // : public exception 继承标准异常类
{
public:
// explicit 禁止通过构造函数进行的隐式函数进行的隐式转换
explicit Out_Range(const string& _Message) : exception(_Message.c_str())
{}
explicit Out_Range(const char* _Message) : exception(_Message) {}
};
//第二种
struct Exce :public exception
{
const char* what() const override //override修饰重载 重载父类的what函数和虚析构函数*
{
return "Exce";
}
};
void foo(int arr[], int len)
{
int i = -1;
if (i<0 || i>=len)
{
throw Out_Range("数组越界啦~");
}
cout << arr[i] << endl;
}
int main()
{
int arr[3] = { 0 };
try
{
foo(arr, 3);
}
catch (Out_Range& e) //自定义错误
{
cout << "Out_Range& e " << e.what() << endl;
}
catch (std::exception& e) //其他错误
{
cout <<"std::exception& e "<<e.what()<< endl;
}
return 0;
}