63.C语言异常处理

目录

1.异常处理

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

2.异常处理的方式

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

实例分析：异常处理代码分析

3.小结

---

 

1.异常处理

异常的概念

• 程序在运行过程中可能产生异常
• 异常(Exception)与Bug的区别

异常是程序运行时可预料的执行分支

Bug是程序中的错误，是不被预期的运行方式

 

异常(Exception)和Bug的对比

   异常

      运行时产生除0的情况

      需要打开的外部文件不存在

      数组访问时越界

Bug

      使用野指针

      堆数组使用结束后未释放

      选择排序无法处理长度为0的数组

C语言经典初拉力方式：if….else..

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

#include <iostream>
#include <string>

using namespace std;

double divide(double a, double b,int* valid)
{
	const double delta = 0.0000000000000001;
	double ret  = 0;
	
	if(!((-delta<b) && (b<delta)))
	{
		ret = a/b;
		*valid = 1;
	}
	else
	{
		ret = 0;
		*valid = 0;
	}
	return ret;
}
int main(int argc, char** argv)
{
	//cout<<divide(1,1)<<endl;
	//cout<<divide(1,0)<<endl;
	//cout<<divide(0,1)<<endl;//这就不知道是不是异常
	
	int valid = 0;
	
	//double r = divide(1,0,NULL);//一旦这里意外赋值，还是有问题
	double r = divide(1,0,&valid);
	
	if(valid)
	{
		cout<<"r = "<<r<<endl;
	}
	else
	{
		cout<<"Drivided by aero..."<<endl;
	}
	
	return 0;
}

缺陷

   divide函数有3个参数，难以理解其用法

   divide函数调用后必须判断valid代表的结果

      当valid为true时，运算结果正常

      当valid为false时，运算过程出现异常

2.异常处理的方式

通过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.0000000000000001;
	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,0);//异常时不会执行下面的，而是跳转到else
		cout<<"r = "<<r<<endl;
	}
	else
	{
		cout<<"Drivided by aero..."<<endl;
	}
	
	return 0;
}

缺陷

setjmp()和longjmp()的引入

• 必然涉及到使用全局变量
• 暴利跳转导致代码可读性降低
• 本质还是if…else…异常处理方式

 

C语言中的经典异常处理方式使得程序中逻辑中霍如大量的处理异常的代码

正常逻辑代码和异常处理代码混合，导致代码迅速膨胀，难以维护。。

 

实例分析：异常处理代码分析

#include <iostream>
#include <string>

using namespace std;

#define SUCCESS           0 
#define INVALID_POINTER   -1
#define INVALID_LENGTH    -2
#define INVALID_PARAMETER -3

int MemSet(void* dest, unsigned int length, unsigned char v)
{
    if( dest == NULL )
    {
        return INVALID_POINTER;
    }
    
    if( length < 4 )
    {
        return INVALID_LENGTH;
    }
    
    if( (v < 0) || (v > 9) )
    {
        return INVALID_PARAMETER;
    }
    
    unsigned char* p = (unsigned char*)dest;
    
    for(int i=0; i<length; i++)
    {
        p[i] = v;
    }
    
    return SUCCESS;
}

int main(int argc, char *argv[])
{
    int ai[5];
    int ret = MemSet(ai, sizeof(ai), 0);
    
    if( ret == SUCCESS )
    {
    }
    else if( ret == INVALID_POINTER )
    {
    }
    else if( ret == INVALID_LENGTH )
    {
    }
    else if( ret == INVALID_PARAMETER )
    {
    }
    
    return ret;
}

问题：C++中有没有更好的异常处理方式？

 

3.小结

程序中不可避免的会发生异常

异常是开发阶段就可以预见的运行问题

C语言中通过经典的if…else…方式处理异常

C++中存在更好的异常处理方式