C中的异常处理

异常的概念：
(1)程序在运行过程中可能产生异常
(2)异常与Bug的区别
异常是程序运行时可预料的执行分支
Bug是程序中的错误，是不被预期的执行方式
异常：
运行时产生除0的情况
需要打开的外部文件不存在
数组访问时越界
Bug：
使用野指针
堆数组使用结束后未释放
选择排序无法处理长度为0的数组

C语言经典处理方式： if…else…

void func()
{
    if(判断是否产生异常)
    {
        正常情况代码逻辑；
    }
    else
    {
        异常情况代码逻辑；
    }
}

实验编程：除法操作异常处理

#include <iostream>
#include <string>

using namespace std;

double divide(double a, double b, int* valid)
{
    const double delta = 0.000000000000001;
    double ret = 0;
    
    if( !((-delta < b) && (b < delta)) )
    {
        ret = a / b;
        
        *valid = 1;
    }
    else
    {
        *valid = 0;
    }
    
    return ret;
}

int main(int argc, char *argv[])
{   
    int valid = 0;
    double r = divide(1, 0, &valid);
    
    if( valid )
    {
        cout << "r = " << r << endl;
    }
    else
    {
        cout << "Divided by zero..." << endl;
    }
    
    return 0;
}

缺陷：
divide函数有三个参数，难以理解其用法

异常处理的方式：
(1)通过setjmp()和longjmp()进行优化
int setjmp(jmp_buf env)
将当前上下文保存在jmp_buf结构体中
void longjmp(jmp_buf env, int val)
从jmp_buf结构体中恢复setjmp()保存的上下文
最终从setjmp函数调用点返回，返回值为val

实验编程：除法操作异常处理优化

#include <iostream>
#include <string>
#include <csetjmp>

using namespace std;

static jmp_buf env;

double divide(double a, double b)
{
    const double delta = 0.000000000000001;
    double ret = 0;
    
    if( !((-delta < b) && (b < delta)) )
    {
        ret = a / b;
    }
    else
    {
        longjmp(env, 1);
    }
    
    return ret;
}

int main(int argc, char *argv[])
{   
    if( setjmp(env) == 0 )
    {
        double r = divide(1, 1);
        
        cout << "r = " << r << endl;
    }
    else
    {
        cout << "Divided by zero..." << endl;
    }
    
    return 0;
}

缺点：
setjmp()和longjmp()的引入
必然设计到使用全局变量
暴力跳转导致代码可读性降低