C++常见异常处理原理及代码示例解析

编程中常见的错误

  • 程序的编译错误——比较好解决,主要是一些语法错误
  • 程序的运行错误——产生因素较为复杂,如空间不够,下标越界,访问非法空间等。

异常是指程序运行时出现的不正常,可分为一下几类:

CPU异常;如在计算过程中,出现除数为0的情况。

内存异常,如:

  • 使用new或malloc申请动态内存但存储空间不够;
  • 数组下标越界;
  • 使用野指针、迷途指针读取内存;

设备异常,如:

  • 无法打开文件,或文件损坏;
  • 正在读取磁盘文件时挪动了文件或磁盘;
  • 正在使用打印机但设备被断开;
  • 正在使用的网络断线或阻塞;

用户数据异常,如:

  • scanf输入数据格式或类型有错误;
  • 正在处理的数据库有错误;
  • 程序假定的数据环境发生变化;
  • 异常处理机制

抛出异常(throw)、检查异常(try块)、捕获异常(catch块)

C++是根据类型区分不同异常的,因此在抛出异常时,throw表达式的值没有实际意义,而表达式的类型则非常重要;如果程序中有多处要抛出的异常,应该用不同的表达式类型来相互区别。

关于throw的说明

  • 执行throw的时候,不会执行跟在throw后面的语句,而是将程序从throw转移到匹配的catch,该catch可以是同一函数中的catch,也可以在直接或间接调用发生异常函数的上一级函数中。
  • 被抛出的对象是一个用throw表达式初始化的「异常对象」,异常对象由throw创建,并初始化为被抛出的表达式副本,异常对象将传递给对应的catch,并在异常处理完成后撤销。因此异常对象必须是可以复制的类型(具有复制构造函数)。
  • 如果抛出的是数组,被抛出的对象自动转换为指向该数组首元素的指针,如果抛出的是一个函数,函数被转换为指向该函数的指针。
  • 如果抛出一个指向派生类对象的基类指针,则其对象将被分割,只抛出基类的部分。
  • 抛出指向局部对象的指针总是错误的,因为抛出指针的时候,必须确保进入异常处理程序时,指针所指向的对象仍然存在。

检测捕获异常

一般形式:

try{
  ....//检测程序块(可能抛出异常的代码)
}
catch(异常说明符1){
  ....//处理程序(当异常说明符1被抛出时执行的程序)
}
catch(异常说明符2){
  ....//处理程序(当异常说明符2被抛出时执行的程序)
}
..... //更多的catch

catch子句的形参列表

catch(类型名) //catch只需要了解异常的类型
catch(类型名 形参名) //catch需要了解异常类型之外的信息
catch(...) //捕获所有异常

重抛异常

在catch子句中,可以再次抛出异常,其中throw不加表达式,表示将捕获到的异常再次向上级函数抛出,不会被本函数的其他catch子句捕获。

try{
  throw "hello"; //抛出char* 异常  
}
catch(const char*){	//捕获char*异常
  throw;		//重新抛出char* 异常至上一级函数
}

throw关键字修饰的函数

C++函数后面加关键字throw(something)限制,是对这个函数的异常安全作出限制;这是一种异常规范,只会出现在声明函数时,表示这个函数可能抛出的异常类型。

void fun() throw(); //表示fun函数不允许抛出任何异常,即fun函数是异常安全的
void fun() throw(...); //表示fun函数可以抛出任何形式的异常
void fun() throw(exceptionType) //表示fun函数只能抛出exceptionType类型的异常

如void GetTag() throw(int);表示只能抛出int类型的异常,如果抛出非int类型的异常,则会调用unexsetpion()函数,退出程序。假如在函数声明时用throw()限定(这个函数本身不可能抛出异常),则编译器在决定其优化方式上更加灵活。

以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持脚本之家。

你可能感兴趣的:(C++常见异常处理原理及代码示例解析)