c++ primer plus 第15章友,异常和其他:异常,15.3.7 其他异常特性

c++ primer plus 第15章友,异常和其他:异常,15.3.7 其他异常特性

c++ primer plus 第15章友,异常和其他:异常,15.3.7 其他异常特性

文章目录

  • [c++ primer plus 第15章友,异常和其他:异常,15.3.7 其他异常特性](#c++ primer plus 第15章友,异常和其他:异常,15.3.7 其他异常特性)

15.3.7 其他异常特性

虽然 throw-catch 机制类似于函数参数和函数返回机制,但还是有些不同之处。其中之一是函数 fun()中的返回语句将控制权返回到调用 fun()的函数,但throw 语句将控制权向上返回到第一个这样的函数:包含能够捕获相应异常的try-catch 组合。例如,在程序清单15.12中,当函数hmeans()引发异常时,控制权

将传递给函数 means();然而,当 gmean()引发异常时,控制权将向上传递到 main()。另一个不同之处是,引发异常时编译器总是创建一个临时拷贝,即使异常规范和catch块中指定的是引用。例如,请看下面的代码:

cpp 复制代码
class problem(...);
void super()throw(problem)
{
	...
	if (oh_no)
	problem oops;//construct object
	throw oops;// throw it
	...
	}
try{
super();
catch(problem&p)
//statements
}

p将指向 oops的副本而不是 oops本身。这是件好事,因为函数 super()执行完毕后,oops 将不复存在。顺便说一句,将引发异常和创建对象组合在一起将更简单:

cpp 复制代码
throw problem();//construct and throw default problem object

您可能会问,既然 throw 语句将生成副本,为何代码中使用引用呢?毕竟,将引用作为返回值的通常原因是避免创建副本以提高效率。答案是,引用还有另一个重要特征:基类引用可以执行派生类对象。假设有一组通过继承关联起来的异常类型,则在异常规范中只需列出一个基类引用,它将与任何派生类对象匹配。假设有一个异常类层次结构,并要分别处理不同的异常类型,则使用基类引用将能够捕获任何异常对象;而使用派生类对象只能捕获它所属类及从这个类派生而来的类的对象。引发的异常对象将被第一个与之匹配的 catch 块捕获。这意味着catch 块的排列顺序应该与派生顺序相反:

cpp 复制代码
class bad 1{...};
class bad 2:public bad 1(...};
class bad 3:public bad 2{...};
...
void duper()
{
i f(oh_no)
 throw bad 1();
if (rats)
 throw bad 2();
if (drat)
 throw bad 3();
}
try{
duper();
catch(bad 3 &be)// statements
catch(bad 2 &be)(//statements
catch(bad 1 &be)// statements
}

如果将 bad 1&处理程序放在最前面,它将捕获异常bad_1、bad2和 bad 3;通过按相反的顺序排列,bad3异常将被bad3&处理程序所捕获,

提示:如果有一个异常类继承层次结构,应这样排列 catch 块:将捕获位于层次结构最下面的异常类的 catch语句放在最前面,将捕获基类异常的catch 语句放在最后面。

通过正确地排列 catch块的顺序,让您能够在如何处理异常方面有选择的余地。然而,有时候可能不知道会发生哪些异常。例如,假设您编写了一个调用另一个函数的函数,而您并不知道被调用的函数可能引发哪些异常。在这种情况下,仍能够捕获异常,即使不知道异常的类型。方法是使用省略号来表示异常类型,从而捕获任何异常:

cpp 复制代码
catch(...){//statements)// catches any type exception

如果知道一些可能会引发的异常,可以将上述捕获所有异常的catch块放在最后面,这有点类似于switch 语句中的 default:

cpp 复制代码
try{
duper();
}
catch(bad 3 &be)//statements
catch(bad 2 &be)//statements
catch(bad 1 &be)// statements
catch(bad hmean &h)
//statement
scatch(..)//statements
//catch whatever is left

可以创建捕获对象而不是引用的处理程序。在catch语句中使用基类对象时,将捕获所有的派生类对象,但派生特性将被剥去,因此将使用虚方法的基类版本。

相关推荐
尘浮生几秒前
Java项目实战II基于Spring Boot的光影视频平台(开发文档+数据库+源码)
java·开发语言·数据库·spring boot·后端·maven·intellij-idea
尚学教辅学习资料8 分钟前
基于SpringBoot的医药管理系统+LW示例参考
java·spring boot·后端·java毕业设计·医药管理
明月看潮生20 分钟前
青少年编程与数学 02-003 Go语言网络编程 15课题、Go语言URL编程
开发语言·网络·青少年编程·golang·编程与数学
雷神乐乐24 分钟前
File.separator与File.separatorChar的区别
java·路径分隔符
小刘|29 分钟前
《Java 实现希尔排序:原理剖析与代码详解》
java·算法·排序算法
南宫理的日知录31 分钟前
99、Python并发编程:多线程的问题、临界资源以及同步机制
开发语言·python·学习·编程学习
逊嘘1 小时前
【Java语言】抽象类与接口
java·开发语言·jvm
van叶~1 小时前
算法妙妙屋-------1.递归的深邃回响:二叉树的奇妙剪枝
c++·算法
Half-up1 小时前
C语言心型代码解析
c语言·开发语言