C++之异常

最新推荐文章于 2022-05-14 09:25:26 发布
最新推荐文章于 2022-05-14 09:25:26 发布
阅读量341 收藏
点赞数
分类专栏： C++
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/maoliran/article/details/51729052
版权

一、引入异常的意义

1、C语言中错误的处理通常采用返回值的方式或者置位全局变量的方式。这就存在两个问题：

1> 如果返回值正是我们需要的数据，且返回数据同出错数据容错差不高。全局变量，在多线程中易引发竞争;

2> 而且，当错误发生时，上级错误要出过处理，层层上报，造成过多的出错处理代码，且传递的效率低下，为此C++提供了异常。

2、C++的异常处理机制使得异常的引发和异常的处理不必再用一个函数中，这样底层的函数可以着重解决具体问题，而不必过多的考虑异常的处理。上层调用者可以在适当的位置设计对不同类型异常的处理。

3、异常是专门针对抽象编程中的一系列错误处理的，C++中不能借助函数机制，因为栈结构的本质是先进后出，依次访问，无法进行跳跃，但错误处理的特征却是遇到错误信息就想要转到若干级之上进行重新尝试。

4、异常超脱于函数机制，决定了其对函数的跨越式回跳，异常跨越函数。

二、示例

#include<iostream>

using namespace std;

double triangle(double x, double y, double z) {
    double area = 0;
    double s = (x + y + z) / 2;
    area = sqrt(s * (s - x) * (s - y) * (s - z));
    return area;
}

int main() {
    double x, y, z;
    cin >> x >> y >> z;
    while (x > 0 && y > 0 && z > 0 && (x + y) > z && (x + z) > y && (y + z) > x) {
        cout << triangle(x, y, z) << endl;
        cin >> x >> y >> z;
    }
    system("pause");
    return 0;
}

对于上面求三角形面积的函数调用，因为不是所有的随机三个数都可以组成一个三角形，这就需要对输入的值做出一个判断。输出结果：

这里写图片描述

上面是C语言的一种解决办法，下面使用C++异常处理：

#include<iostream>

using namespace std;

double triangle(double x, double y, double z) {
    double area = 0;
    double s = (x + y + z) / 2;
    if (x > 0 && y > 0 && z > 0 && (x + y) > z && (x + z) > y && (y + z) > x)
        area = sqrt(s * (s - x) * (s - y) * (s - z));
    else
        throw - 1;
    return area;
}

int main() {
    double x, y, z;
    try {
        while (cin >> x >> y >> z) {
            cout << triangle(x, y, z) << endl;
        }
    }
    catch (int e) {
        cout << x << "," << y << "," << z << "无法构成三角形" << endl;
    }
    system("pause");
    return 0;
}

输出结果：

这里写图片描述

<1>

try {
    while (cin >> x >> y >> z) {
        cout << triangle(x, y, z) << endl;
    }
}

这里把会抛出的函数放入到try语句块中.

<2>

if (x > 0 && y > 0 && z > 0 && (x + y) > z && (x + z) > y && (y + z) > x)
    area = sqrt(s * (s - x) * (s - y) * (s - z));
else
    throw - 1;

底层函数自己解判断构不成三角形这个问题，如果构不成就抛出一个异常，交由上层函数处理。当底层函数抛出异常时，throw后面的语句包括return都不会执行，直接跳回上一级函数。

<3>

catch (int e) {
        cout << x << "," << y << "," << z << "无法构成三角形" << endl;
}

如果底层函数抛出了异常，上层函数会通过抛出异常的类型进行捕获，捕获到了就会进行处理。

如果抛出的异常类型与捕获的异常类型无法匹配，像这样：

#include<iostream>

using namespace std;

double triangle(double x, double y, double z) {
    double area = 0;
    double s = (x + y + z) / 2;
    if (x > 0 && y > 0 && z > 0 && (x + y) > z && (x + z) > y && (y + z) > x)
        area = sqrt(s * (s - x) * (s - y) * (s - z));
    else
        throw (double)1;
    return area;
}

int main() {
    double x, y, z;
    try {
        while (cin >> x >> y >> z) {
            cout << triangle(x, y, z) << endl;
        }
    }
    catch (int e) {
        cout << x << "," << y << "," << z << "无法构成三角形" << endl;
    }
    system("pause");
    return 0;
}

这里写图片描述
程序就会报错，这里就是系统调用了系统函数terminate，终止了程序。

三、语法格式

try{
    被检查的语句
}
catch(异常信息类型 [变量名]){
    进行异常处理的语句
}

注意：

1、这里的大括号不能省略；
2、被检查的语句必须放在try快中，否则不起作用；
3、一个try-catch结构，只能有一个try块，至少有一个catch块，以便捕获throw的不同类型的信息。
4、throw抛出的类型，既可以是系统预定义的标准类型也可以是自定义类型。从抛出到catch是一次复制拷贝的过程，如果有自定义类型，要考虑自定义类型的拷贝问题。

那是拿刚才的triangle函数举个例子：

#include<iostream>

using namespace std;

class A {
public:
    A() {
        cout << "A()" << endl;
    }
    A(const A& another) {
        cout << "A(const A& another)" << endl;
    }
    ~A() {
        cout << "~A()" << endl;
    }
};

double triangle(double x, double y, double z) {
    double area = 0;
    double s = (x + y + z) / 2;
    if (x > 0 && y > 0 && z > 0 && (x + y) > z && (x + z) > y && (y + z) > x) {
        area = sqrt(s * (s - x) * (s - y) * (s - z));
    }
    else
        throw A();
    return area;
}

int main() {
    double x, y, z;
    try {
        while (cin >> x >> y >> z)
            cout << triangle(x, y, z) << endl;
    }
    catch (A e) {
        cout << x << "," << y << "," << z << "构不成三角形" << endl;
    }
    system("pause");
    return 0;
}

这里让throw抛出的是A类型，输出结果：

这里写图片描述

可以看到发生了一次构造，一个拷贝构造，构造时throw A()这个地方发生的，拷贝构造则是跳回到catch时发生的。最后出了catch块后发生两次析构。throw创建的A类对象一直到上一级的函数中的catch块结束才析构。

5、如果catch语句没有匹配异常类型信息，就可以用(…)表示可以捕获任何异常类型的信息，就相当于switch case里的default。

#include<iostream>

using namespace std;

class A {
public:
    A() {
        cout << "A()" << endl;
    }
    A(const A& another) {
        cout << "A(const A& another)" << endl;
    }
    ~A() {
        cout << "~A()" << endl;
    }
};

double triangle(double x, double y, double z) {
    double area = 0;
    double s = (x + y + z) / 2;
    if (x > 0 && y > 0 && z > 0 && (x + y) > z && (x + z) > y && (y + z) > x) {
        area = sqrt(s * (s - x) * (s - y) * (s - z));
    }
    else
        throw (double)1;
    return area;
}

int main() {
    double x, y, z;
    try {
        while (cin >> x >> y >> z)
            cout << triangle(x, y, z) << endl;
    }
    catch (A e) {
        cout << x << "," << y << "," << z << "构不成三角形" << endl;
    }
    catch (...) {
        cout << "catch default" << endl;
    }
    system("pause");
    return 0;
}

输出结果：

这里写图片描述

6、try-catch结构可以与throw在同一个函数中，也可以在不同的函数中，throw抛出异常后，先在本函数内寻找与之匹配的catch块，找不到与之匹配的就转到上一层，如果上一层也没有，就转到更上一层。如果最终找不到与之匹配的catch块，系统则会调用系统函数terminate，使程序终止。

这里写图片描述

#include<iostream>

using namespace std;

void h() {
    char a = 'a';
    throw a;
    cout << "h() end" << endl;
}

void g() {
    try {
        h();
    }
    catch (char e) {
        cout << "g() catch" << endl;
    }
    cout << "g() end" << endl;
}

void f() {
    try {
        g();
    }
    catch(char a){
        cout << "f() catch" << endl;
    }
    cout << "f() end" << endl;
}

int main() {
    try {
        f();
    }
    catch (char a) {
        cout << "main() catch" << endl;
    }
    cout << "main() end" << endl;
    system("pause");
    return 0;
}

输出结果：

这里写图片描述

如果把h抛出的类型改成double：

#include<iostream>

using namespace std;

void h() {
    double a = 1;
    throw a;
    cout << "h() end" << endl;
}

void g() {
    try {
        h();
    }
    catch (char e) {
        cout << "g() catch" << endl;
    }
    cout << "g() end" << endl;
}

void f() {
    try {
        g();
    }
    catch(char a){
        cout << "f() catch" << endl;
    }
    cout << "f() end" << endl;
}

int main() {
    try {
        f();
    }
    catch (double a) {
        cout << "main() catch" << endl;
    }
    cout << "main() end" << endl;
    system("pause");
    return 0;
}

输出结果：

这里写图片描述

可以看到一直传转到main函数中匹配上doule类型才捕获到， 如果main函数中catch的异常类型也无法和throw的类型匹配：

#include<iostream>

using namespace std;

void h() {
    double a = 1;
    throw a;
    cout << "h() end" << endl;
}

void g() {
    try {
        h();
    }
    catch (char e) {
        cout << "g() catch" << endl;
    }
    cout << "g() end" << endl;
}

void f() {
    try {
        g();
    }
    catch(char a){
        cout << "f() catch" << endl;
    }
    cout << "f() end" << endl;
}

int main() {
    try {
        f();
    }
    catch (char a) {
        cout << "main() catch" << endl;
    }
    cout << "main() end" << endl;
    system("pause");
    return 0;
}

这里写图片描述

匹配不到这里就报错了，系统给中断了。

四、抛出类型声明

1、为了加强程序的可读性，可以在函数声明中列出可能抛出的所有异常类型。

例如：

void func() throw(A, B, C, D);  //表示这个函数func()能够且只能抛出类型A B C D 及其子类型的异常。
#include<iostream>

using namespace std;

class A{};
class B : public A {};

void h()  throw(A){
    B b ;
    throw b;
    cout << "h() end" << endl;
}

void g() {
    try {
        h();
    }
    catch (char e) {
        cout << "g() catch" << endl;
    }
    cout << "g() end" << endl;
}

void f() {
    try {
        g();
    }
    catch(char a){
        cout << "f() catch" << endl;
    }
    cout << "f() end" << endl;
}

int main() {
    try {
        f();
    }
    catch (A a) {
        cout << "main() catch" << endl;
    }
    cout << "main() end" << endl;
    system("pause");
    return 0;
}

输出结果：

这里写图片描述

可以看到throw声明之后可以抛出A的子类B类型，若抛出AB外的其他类型则报错。

2、如果在函数声明中没有包含一场接口声明，则函数可以抛出任何类型的异常，例如：

void func();

3、一个不抛出任何异常的函数可以声明为：

void func() throw();

4、如果一个函数抛出了它的异常接口声明所不允许抛出的异常，unexpected函数会被调用，该函数默认行为调用terminate函数终止函数。

五、栈自旋

异常被抛出后，从进入try块其，到异常被抛出前，这期间在栈上构造的所有对象都会被自动析构。析构的顺序与构造的顺序相反。这一过程称为栈的解旋(unwinding)。

#include<iostream>

using namespace std;

class A{
public:
    A() {
        cout << "A()" << endl;
    }
    ~A() {
        cout << "~A()" << endl;
    }
};

void h() {
    A a;
    throw 'a';
}

void g() {
    A b;
    h();
}


int main() {
    try {
        g();
    }
    catch (A a) {
        cout << "main() catch" << endl;
    }
    catch (...) {
        cout << "catch default" << endl;
    }
    //cout << "main() end" << endl;
    system("pause");
    return 0;
}

输出结果：

这里写图片描述

发生两次构造，两次析构。

如果是堆上的空间，则会造成内存泄漏了：

#include<iostream>

using namespace std;

class A{
public:
    A() {
        cout << "A()" << endl;
    }
    ~A() {
        cout << "~A()" << endl;
    }
};

void h() {
    A* a = new A;
    throw 'a';
}

void g() {
    A* b = new A;
    h();
}


int main() {
    try {
        g();
    }
    catch (A a) {
        cout << "main() catch" << endl;
    }
    catch (...) {
        cout << "catch default" << endl;
    }
    //cout << "main() end" << endl;
    system("pause");
    return 0;
}

输出结果：

这里写图片描述

发生了两次构造，但并没有析构，造成内存泄漏。

新一下的兰天
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
C++软件调试与异常排查从入门到精通系列文章汇总
dvlinker的技术专栏
06-29 16万+
根据近几年排查软件异常的实践与经验，系统地讲解了C++软件异常常见原因与常用排查方法，以图文并茂的方式给出具体的分析实例，带领大家逐步掌握C++软件异常排查的相关技术与要领。
引发C++软件异常的常见原因分析与总结（实战经验分享）
dvlinker的技术专栏
05-30 5万+
本文根据近几年排查C++软件异常的实践经历与实战经验，详细地总结出引发C++软件异常的常见原因，给大家提供一些借鉴和参考，以帮助大家快速地定位问题。
异常的引入对于c++的意义——[0] 开题
10-08 291
占位
深入理解C++异常
waponx的专栏
11-16 9127
异常是指程序在运行时存在异常行为，这些异常的行为让函数不能正常执行。异常应该捕获的应该是你能够处理的错误，比如：不能连接服务器，不能连接数据库等，但异常不应该是你修复代码的bug的手段，比如：数组访问越界。死锁等情况。在异常处理中，你需要的做的是尽可能的修补你错误，比如：释放内存。解锁互斥量。 c++的异常包括下面的三个部分： 1.    throw子句：throw 子句用于抛出异常，
c++ 异常
BlueBerry的专栏
05-19 629
程序有时会遇到运行阶段错误，导致程序无法正常执行下去。c++异常为处理这种情况提供了一种功能强大的而灵活的工具。异常是相对比较新的C++功能，有些老编译器可能没有实现。另外，有些编译器默认关闭这种特性，我们可能需要使用编译器选项来启用它。 一、异常机制的使用 异常提供了将控制程序的一个部分传递到另一部分的途径。对异常的处理有3个组成部分： 引发异常 使用处理程序捕获异常 使用try块 示例
C++异常基础
Jerish的博客
03-05 961
最近在看C++编程规范和C++primer，遇到了有关异常的一些内容，在此简单总结一下，以后可能会继续补充 1.异常的意义是什么？为什么要进行异常处理？ 异常机制允许我们在运行时就对出现的问题进行及时处理，假如我们的程序运行过程出现错误，我们又不想让程序直接挂掉，我们就可以对可能出现的错误提前进行处理。 异常机制使我们能将问题的检测与解决过程分开，模块化设计是大家所提倡的，既然我们决
C++异常之栈自旋
月光下的赶路人
10-17 251
    在C++的异常处理中，当异常被throw后，从进入try块起，到异常被catch前，在这期间栈上构造的所有对象都会被自动析构，这一过程称之为栈自旋。  一、对于栈上的对象 #include &lt;iostream&gt; using namespace std; class A { public: A() { cout&lt;&lt;"A()"&l...
C++之异常处理详解
12-26
程序中的错误分为编译时的错误和运行时的错误。编译时的错误主要是语法错误，比如：句尾没有加分号，括号不匹配，关键字错误等，这类错误比较容易修改，因为编译系统会指出错误在...C++中处理异常的过程是这样的：在执
分析C++软件异常需要掌握的汇编知识汇总
dvlinker的技术专栏
05-14 2万+
本文详细地讲述排查C++软件异常时所要了解和掌握的一些汇编方面的基本知识与要点。
C++中异常处理的基本思想及throw语句抛出异常的使用
09-02
C++的异常处理机制是一种强大的错误处理方式，它允许程序在遇到异常情况时中断正常流程，转而执行特定的异常处理代码。这种机制的核心思想是将错误处理与正常逻辑分离，使得底层函数可以专注于功能实现，而将异常...
C++ 中的异常抛出和捕获
止步听风的博客
05-07 2536
在 C 语言中，如果发生错误，上级函数要进行出错处理，层层上传，容易造成过多的出错处理代码，并且传递的效率比较低下。 C++ 中的异常 C++ 中，异常的引发和异常的处理不必处于同一个函数中，因此底层函数可以着重于解决具体问题，而不必过多的考虑异常处理 异常是专门针对抽象编程中的一系列错误处理的，遇到错误信息就转到若干级之上进行重新尝试 异常脱离于函数机制，决定了其对函数的跨越式回跳 语法...
c++的栈解旋操作（七）
chenlj_1的博客
05-03 387
#include&lt;iostream&gt; using namespace std; class Test { int m_a; public: Test() { cout&lt;&lt;"constructor"&lt;&lt;endl; } ~Test() { cout&lt;&lt;"destructor"&lt;&lt;endl; } }; in
C++ 异常机制分析
weixin_34261739的博客
01-17 515
C++异常机制概述 异常处理是C++的一项语言机制，用于在程序中处理异常事件。异常事件在C++中表示为异常对象。异常事件发生时，程序使用throw关键字抛出异常表达式，抛出点称为异常出现点，由操作系统为程序设置当前异常对象，然后执行程序的当前异常处理代码块，在包含了异常出现点的最内层的try块，依次匹配catch语句中的异常对象（只进行类型匹配，catch参数有时在catch语句中并不会使用到）。...
C++异常类的定义和使用以及我对异常类的理解
weixin_33868027的博客
11-24 356
　　异常类的作用就是在执行我们自己的某个功能函数出现意外情况时，为了方便查找错误出处，可以在意外发生时抛出异常(1).首先定义自己的异常类 可以直接定义也可以从标准异常类派生 class CEGUIEXPORT Exception { public: virtual ~Exception(void); const String&getMes...
c++ throw异常(学习)
weixin_30706507的博客
06-08 695
#include <iostream>#include <stdio.h> using namespace std; void my_copy(const char* src_file, const char* dest_file){　　FILE *in_file, *out_file;　　in_file = fopen(src_file, "rb");　　if (in...
C++之类对象的返回与引用
maoliran的博客
05-30 1万+
一、类对象的返回 在拷贝构造器中提到过：class A{}; A func(A a){ return a; }int main(){ A x; func(x); }调用func(a)中参数的传递本质是调用拷贝构造器的发生，将实参x拷贝给形参a中。A func(A &a){ return a; }int main(){ A x; func(x); }这
C++之cin.eof, cin.bad, cin.good, cin.fail, cin.clear
maoliran的博客
06-21 8423
1、eof()如果读文件到达文件末尾，返回true。2、bad()如果在读写过程中出错，返回true。 例如：当我们要对一个不是打开为写状态进行写入时，或者我们要写入的设备没有剩余空间的时候。3、fail()出了与bad()同样的情况下会返回true以外，加上格式错误也会返回true，例如当想要读入一个整数，但输入了一个字母的时候，或者遇到eof，eof是一种fail，但fail不是一种eof。4、
C++之单目运算符重载
maoliran的博客
06-04 7192
这里以“-”(负号，不是减号)为例： 先用成员函数重载来实现：class Complex{ private: float _x; float _y; public: Complex(float x = 0, float y = 0):_x(x), _y(y){} void dis(){ cout << "( " << _x << "," << _y
不能将类模板的声明与实现分开写
maoliran的博客
07-10 5017
今天用类模型实现一个linklist，开始是.h和.cpp将类模板的声明与实现分开写的，结果总是报错： 摆弄了半个小时都不知道为啥，结果一百度，原来类模板的声明与实现是不能够分开写的。《C++编程思想》第15章(第300页)说明了原因： 模板定义很特殊。由template<…> 处理的任何东西都意味着编译器在当时不为它分配存储空间，它一直处于等待状态直到被一个模板实例告知。在编译器和连接器的
C++异常处理深度解析
"一本关于C++异常处理的书籍，作者为Robert Schmidt，译者为无情。本书涵盖了C和C++中的异常处理机制，包括标准C++异常处理的基本语法和语义，异常安全，模板安全等内容，并探讨了如何混合使用C++异常和Visual C++的...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值