catch子句(catch clause)中的异常说明符(exception specifier)决定了处理代码能够捕获的异常种类。
1. 查找匹配的处理代码
在查找匹配的catch期间,找到的是第一个可以处理该异常的catch。异常的类型与catch说明符的类型必须完全匹配,仅仅存在下面几种可能的区别。
(1)非const对象的throw可以与指定接受const引用的catch匹配。
(2)派生类对象的throw可以与指定其基类类型的catch匹配。
(3)throw的数组会转换为指向其首元素的指针,函数会转换为函数指针。
2. 异常说明符
如果异常说明符不是引用,就将异常对象复制到catch形参中,catch操作异常对象的副本。如果说明符是引用,则catch形参只是异常对象的另一名字,catch操作作用于异常对象。
3. 异常说明符与继承
基类的异常说明符可以用于捕获派生类型的异常对象。异常说明符的静态类型决定catch子句可以执行的动作。如果catch子句处理因继承而相关的类型的异常,应该将形参定义为引用。如果异常说明符不是引用,并且catch对象是基类类型对象而异常对象时派生类型的对象,就会将异常对象分割为它的基类子对象。
4. catch子句的次序必须反映类型层次
因为catch子句按出现次序匹配,所以使用来自继承层次的异常的程序应该将catch子句排序,将派生类型的catch放在基类类型的catch之前。
【学习资料】 《c++ primer》
原文链接: https://www.cnblogs.com/zhuyf87/archive/2012/12/24/2831450.html
欢迎关注
微信关注下方公众号,第一时间获取干货硬货;公众号内回复【pdf】免费获取数百本计算机经典书籍
原创文章受到原创版权保护。转载请注明出处:https://www.ccppcoding.com/archives/73383
非原创文章文中已经注明原地址,如有侵权,联系删除
关注公众号【高性能架构探索】,第一时间获取最新文章
转载文章受原作者版权保护。转载请注明原作者出处!