引子
首先,指北君声明一下,这里讲的Exception不仅仅是Exception一个类,而是异常机制,就像下面图中的所有(含继承Error和Exception的)。
异常类图
当然JDK中更为细致的异常继承体系也不是本篇探讨内容,本次呢,指北君将对异常在JVM层面的执行原理和ARM进行介绍,这里ARM也不是芯片架构,而是指自动资源管理。
异常表
要想了解异常执行原理,异常表是一个最佳的入口,异常表是什么?我来看看下面的数据结构描述:
它是虚拟机中用于表述异常处理的一种数据结构,我再来看异常表的样例,下面是一段包含try-catch代码编译后的字节码中的内容:
逻辑上的表述可以用下图表示:
异常类图
- 监测从8-41(41不包含)号指令的IllegalArgumentException
- 监测从8-41指令的IOException
- 监测从8到53指令的结束动作,包含三种情况:跳出指令(比如return指令集);athrow指令且没有匹配的异常类型;指令执行到最后一条
- 如果监测到指定动作,则按照异常表进行跳转
现在,回到异常表,我们可以看到异常表包含多条异常处理数据,每条数据包含四个属性
- from 监控的指令集起始编号
- to 监控的指令集结束编号
- target 满足条件后指令跳转目标
- 异常匹配的类型,特殊类型any,对应fanally块,监控try块和catch块
对于return,athrow等指令,执行顺序需要注意,指令是在对应的处理之后执行。
可能会让你意识混乱的例子:
我们之前说过finally块会在return之前执行,那是不是执行结果是:try->finally->end这种顺序呢?实际的执行的结果是:try-block,end。可以看到,finally块没有对结果形成影响,当然,这并不说它没执行,只是reutrn的结果在执行finally块时已经计算出结果了,在执行完finally块后将之前计算的结果返回了而已。所以我们要深入理解了执行的原理,才能正确理解结果。
ARM 自动资源管理
讲完前面的异常执行原理后,指北君现在给大家介绍异常机制在JDK1.7中一个优化特性:自动资源管理。经常使用IO的小伙伴一定对关闭IO很烦,写法繁琐,关闭前还要做判断,并且在关闭块代码还要加try-catch,就如同下面类似的代码:
反正指北君每次写这种代码的时候很烦,就是那种啥事没干,占我一块黄金代码位置的感觉,对于有精简代码癖好的人来说,就像吃了一口苍蝇般难受。有了ARM后,我们再来看看新的写法:
是不是简洁多了,资源直接在try后的括号内进行声明,而且不需要显式的关闭流的代码,这难道就是ARM!是不是有点小兴奋!对于ARM自动资源管理要点如下:
- 在try后的括号内声明需要自动关闭的资源
- 资源必须实现一个关键接口:AutoCloseable。在满足上面的条件后,JDK将为我们自动关闭资源。当然这种写法即使想手动关闭,在catch和finally部分也拿不到资源引用。
又到了追根溯源环节了,自动资源管理是如何实现的呢?先看看class文件有啥变化。
对比之前的字节码文件,我们明显发现虽然代码行数少了,但是Class编译后的内容一点都没少,而且异常表中除了finally对应的处理,还增加了额外的部分。具体几个不同点:
- 字节码中竟然有close调用
- 异常表中增加了内容
好奇怪的异常表,我们查看指令,可以明显找出最后一条是对应finally处理。前面的呢?经过分析我们发现前面是finally形式的关闭资源。看到这里,结果就很明显了,自动资源管理实际是上编译帮助我们做了显示关闭的逻辑,在JVM执行层面没有增加新的功能。简而言之,自动资源管理是编译器层面的改进,通过扩展语法和增强编译能力(增加自动的资源关闭能力)来实现自动化编码。
总结
关于Java的异常的原理,以及自动资源管理的用法和实现方式,指北君就给大家介绍到这里。
最后感谢各位人才的:点赞、收藏和评论,我们下期更精彩!