`
yuexiaodong
  • 浏览: 70213 次
  • 性别: Icon_minigender_1
  • 来自: 北京
社区版块
存档分类
最新评论

一道经典笔试题

阅读更多

下面是一道经典的面试题:try {}里有一个return语句,那么紧跟在这个try后的finally {}里的code会不会被执行,什么时候被执行,在return前还是后? 

很多人回答return在后,但是所给的理由不够充分;或者有些说return在前如http://bbs.csdn.net/topics/60474475;还有的说在return中间执行等等;

首先说一下,我的答案如下:finally在return返回之前执行。在执行finally之前,程序碰到return,首先计算机return后面的表达式,并将结果存储到一个临时变量,然后开始执行finally中的语句,但此时的语句已经无法影响到需要返回的临时变量,执行完finally之后,取出临时变量的值返回;下面用程序证明我的观点:

 

      int testtry() {
		int x = 5;
		try {
			return x=2; 
		} finally {
			x=x+2;
		}
	}

 该函数的返回值应该为1;使用bytecodeview可以查看编译后的字节码文件:

 

各个字节指令的含义详见(http://cooldatabase.iteye.com/blog/637797

 

 
0 iconst_5 
 1 istore_1 //将5存入局部变量1
 2 iconst_2 //将常量2存入栈
 3 dup  //复制栈顶
 4 istore_1 //将2存入局部变量1
 5 istore_3 //将2存入局部变量3
 6 iinc 1 by 2 //对局部变量1自增2,可见对局部变量3没有影响
 9 iload_3  //加载局部变量3
10 ireturn //返回局部变量3,即为2
11 astore_2
12 iinc 1 by 2
15 aload_2
16 athrow

由于JVM虚拟机对程序首先检查优化使用的标准优化技术有:代码提升,公共的子表达式清除、循环展开(unrolling)、范围检测清除、死代码清除、数据流分析,还有各种在静态编译语言中不实用的优化技术,例如虚方法调用的聚合内联,所以首先计算return后面的表达式,为了证明这点,我对代码稍作修改如下:

	int testtry() {
		int x = 5;
		try {
			return x=(x+3);  //证明先计算表达式
		} finally {
			x=x+2;
		}
	}

 得到的字节码如下:

 0 iconst_5
 1 istore_1
 2 iinc 1 by 3  //可见首先计算表达式
 5 iload_1  //结果存于局部变量1即x中
 6 istore_3
 7 iinc 1 by 2
10 iload_3
11 ireturn
12 astore_2
13 iinc 1 by 2
16 aload_2
17 athrow

 由上可以证明我的观点,对于有return 返回值的try finally结构来说,fianlly先执行,但是在finally里面的操作局部变量不再对返回值造成影响,返回的结果是原来计算保存在临时变量的结果,其实这里只是延迟return返回而已。

 

对于try finally结构带有return语句的问题,可以参考Java虚拟机规范中相关章节,下面对其中的一部分做一下引用说明:(书中以jdk 版本号小于50的为例):

java虚拟机规范(SE7)4.10.2.5 异常和 finally  写道
为了实现 try-finally 结构,在版本号小于或等于 50.0 的 Java 语言编译器中,可以使用将两种特殊指令:jsr( “跳转到程序子片段” )和 ret( “程序子片段返回” )组合的方式来生成try-finally 结构的 Java 虚拟机代码。当使用 jsr 指令来调用程序子片段时,该指令会把程序子片段结束后应返回的地址值压入操作数栈中, 以便在 jsr 之后的指令能被正确执行。这个地址值会作为 returnAddress 类型数据存放于操作数栈上。程序子片段的代码中会把返回地址存放在局部变量中,在程序子片段执行结束时,ret 指令从局部变量中取回返回地址并将执行的控制权交给返回地址处的指令。

如果 try 语句中遇到了 return,代码的行为如下:
1. 如果有返回值的话,将返回值保存在局部变量中。
2. 执行 jsr 指令将控制权转到给 finally 语句中。
3. 在 finally 执行完成后,返回事先保存在局部变量中的值。

 

下面再说明另外一个例子:

	public int get() {
		try {
			return 1;
		} finally {
			return 2;
		}
	}

 答案很是奇怪,竟然是2!下面是字节码:

0 goto 4 (+4)
3 pop
4 iconst_2
5 ireturn

 这里有两个return语句,如果按照上面的话第二个return的效果就不会起作用,但是返回的确实是第二个的2!由上面的字节码可以看出,程序直接跳到第二个常量2并返回。

java虚拟机规范在“finally 语句中的代码也给验证器带来了一些特殊的问题”这样写道:

 

验证 finally 语句中的代码是很复杂的,但几个基本的思路如下:
 每个保持追踪 jsr 目标的指令都需要能到达那个目标指令。对于大部分代码来说,这个列表是空的。对于 finally 语句中的代码来说,列表的长度应该是 1。对于多级嵌入finally 代码来说,列表的长度应该大于 1。
 对于每条指令及每条 jsr 指令将要转向到那条指令,在 jsr 指令执行后,就有一个位向量(Bit Vector)记录着所有对局部变量的访问及修改。
 执行 ret 指令就意味着从程序子片段中返回,这应该是唯一的一条从程序子片段中返回的路径。两个不同的程序子片段是不同将 ret 指令的执行结果归并到一起。
 为了对 ret 指令实施数据流分析,需要进行一些特殊处理。因为验证器知道程序子片段中将从哪些指令中返回,所以它可以找出调用程序子片段的所有的 jsr 指令,并将它们对应的 ret 指令的操作数栈和局部变量表状态合并。对于合并局部变量表时使用的特殊值定义如下:
 如果位向量 (前面定义过)表明局部变量在程序子片段中被访问或修改过,那么就使用执行 ret 时局部变量的值的类型。
 对于其它局部变量,使用执行 jsr 指令之前的局部变量的类型。

 

可以看出在java编译对程序进行过优化,优化方法使用数据流分析,将这些局部变量进行了合并,至此,可以看出,在try finally结构含有return的情况,首先根据java编译优化处理,得到字节码,优化主要是对于一些不必要的代码消除合并,如果在try块中含有return则先将return后的变量存在局部变量表中,地址存于操作栈中,然后进入finally块,最后取出局部变量的值返回。如果在finally里有return操作,则把操作栈中的弹出,该return地址入栈,并最后返回。

 

以上不知道我的理解对不对,欢迎讨论!

 

附件是周志明(icyfenix@gmail.com)等人翻译的java虚拟机规范,上文中有引用。

 

 

分享到:
评论

相关推荐

    pandas-1.3.5-cp37-cp37m-macosx_10_9_x86_64.zip

    pandas whl安装包,对应各个python版本和系统(具体看资源名字),找准自己对应的下载即可! 下载后解压出来是已.whl为后缀的安装包,进入终端,直接pip install pandas-xxx.whl即可,非常方便。 再也不用担心pip联网下载网络超时,各种安装不成功的问题。

    基于java的大学生兼职信息系统答辩PPT.pptx

    基于java的大学生兼职信息系统答辩PPT.pptx

    基于java的乐校园二手书交易管理系统答辩PPT.pptx

    基于java的乐校园二手书交易管理系统答辩PPT.pptx

    tornado-6.4-cp38-abi3-musllinux_1_1_i686.whl

    tornado-6.4-cp38-abi3-musllinux_1_1_i686.whl

    Android Studio Ladybug(android-studio-2024.2.1.10-mac.zip.002)

    Android Studio Ladybug 2024.2.1(android-studio-2024.2.1.10-mac.dmg)适用于macOS Intel系统,文件使用360压缩软件分割成两个压缩包,必须一起下载使用: part1: https://download.csdn.net/download/weixin_43800734/89954174 part2: https://download.csdn.net/download/weixin_43800734/89954175

    基于ssm框架+mysql+jsp实现的监考安排与查询系统

    有学生和教师两种角色 登录和注册模块 考场信息模块 考试信息模块 点我收藏 功能 监考安排模块 考场类型模块 系统公告模块 个人中心模块: 1、修改个人信息,可以上传图片 2、我的收藏列表 账号管理模块 服务模块 eclipse或者idea 均可以运行 jdk1.8 apache-maven-3.6 mysql5.7及以上 tomcat 8.0及以上版本

    tornado-6.1b2-cp38-cp38-macosx_10_9_x86_64.whl

    tornado-6.1b2-cp38-cp38-macosx_10_9_x86_64.whl

    Android Studio Ladybug(android-studio-2024.2.1.10-mac.zip.001)

    Android Studio Ladybug 2024.2.1(android-studio-2024.2.1.10-mac.dmg)适用于macOS Intel系统,文件使用360压缩软件分割成两个压缩包,必须一起下载使用: part1: https://download.csdn.net/download/weixin_43800734/89954174 part2: https://download.csdn.net/download/weixin_43800734/89954175

    基于MATLAB车牌识别代码实现代码【含界面GUI】.zip

    matlab

    基于java的毕业生就业信息管理系统答辩PPT.pptx

    基于java的毕业生就业信息管理系统答辩PPT.pptx

    基于Web的毕业设计选题系统的设计与实现(springboot+vue+mysql+说明文档).zip

    随着高等教育的普及和毕业设计的日益重要,为了方便教师、学生和管理员进行毕业设计的选题和管理,我们开发了这款基于Web的毕业设计选题系统。 该系统主要包括教师管理、院系管理、学生管理等多个模块。在教师管理模块中,管理员可以新增、删除教师信息,并查看教师的详细资料,方便进行教师资源的分配和管理。院系管理模块则允许管理员对各个院系的信息进行管理和维护,确保信息的准确性和完整性。 学生管理模块是系统的核心之一,它提供了学生选题、任务书管理、开题报告管理、开题成绩管理等功能。学生可以在此模块中进行毕业设计的选题,并上传任务书和开题报告,管理员和教师则可以对学生的报告进行审阅和评分。 此外,系统还具备课题分类管理和课题信息管理功能,方便对毕业设计课题进行分类和归档,提高管理效率。在线留言功能则为学生、教师和管理员提供了一个交流互动的平台,可以就毕业设计相关问题进行讨论和解答。 整个系统设计简洁明了,操作便捷,大大提高了毕业设计的选题和管理效率,为高等教育的发展做出了积极贡献。

    机器学习(预测模型):2000年至2015年期间193个国家的预期寿命和相关健康因素的数据

    这个数据集来自世界卫生组织(WHO),包含了2000年至2015年期间193个国家的预期寿命和相关健康因素的数据。它提供了一个全面的视角,用于分析影响全球人口预期寿命的多种因素。数据集涵盖了从婴儿死亡率、GDP、BMI到免疫接种覆盖率等多个维度,为研究者提供了丰富的信息来探索和预测预期寿命。 该数据集的特点在于其跨国家的比较性,使得研究者能够识别出不同国家之间预期寿命的差异,并分析这些差异背后的原因。数据集包含22个特征列和2938行数据,涉及的变量被分为几个大类:免疫相关因素、死亡因素、经济因素和社会因素。这些数据不仅有助于了解全球健康趋势,还可以辅助制定公共卫生政策和社会福利计划。 数据集的处理包括对缺失值的处理、数据类型转换以及去重等步骤,以确保数据的准确性和可靠性。研究者可以使用这个数据集来探索如教育、健康习惯、生活方式等因素如何影响人们的寿命,以及不同国家的经济发展水平如何与预期寿命相关联。此外,数据集还可以用于预测模型的构建,通过回归分析等统计方法来预测预期寿命。 总的来说,这个数据集是研究全球健康和预期寿命变化的宝贵资源,它不仅提供了历史数据,还为未来的研究和政策制

    基于微信小程序的高校毕业论文管理系统小程序答辩PPT.pptx

    基于微信小程序的高校毕业论文管理系统小程序答辩PPT.pptx

    基于java的超市 Pos 收银管理系统答辩PPT.pptx

    基于java的超市 Pos 收银管理系统答辩PPT.pptx

    基于java的网上报名系统答辩PPT.pptx

    基于java的网上报名系统答辩PPT.pptx

    基于java的网上书城答辩PPT.pptx

    基于java的网上书城答辩PPT.pptx

    婚恋网站 SSM毕业设计 附带论文.zip

    婚恋网站 SSM毕业设计 附带论文 启动教程:https://www.bilibili.com/video/BV1GK1iYyE2B

    基于java的戒烟网站答辩PPT.pptx

    基于java的戒烟网站答辩PPT.pptx

    基于微信小程序的“健康早知道”微信小程序答辩PPT.pptx

    基于微信小程序的“健康早知道”微信小程序答辩PPT.pptx

    机器学习(预测模型):自行车共享使用情况的数据集

    Capital Bikeshare 数据集是一个包含从2020年5月到2024年8月的自行车共享使用情况的数据集。这个数据集记录了华盛顿特区Capital Bikeshare项目中自行车的租赁模式,包括了骑行的持续时间、开始和结束日期时间、起始和结束站点、使用的自行车编号、用户类型(注册会员或临时用户)等信息。这些数据可以帮助分析和预测自行车共享系统的需求模式,以及了解用户行为和偏好。 数据集的特点包括: 时间范围:覆盖了四年多的时间,提供了长期的数据观察。 细节丰富:包含了每次骑行的详细信息,如日期、时间、天气条件、季节等,有助于深入分析。 用户分类:数据中区分了注册用户和临时用户,可以分析不同用户群体的使用习惯。 天气和季节因素:包含了天气情况和季节信息,可以研究这些因素对骑行需求的影响。 通过分析这个数据集,可以得出关于自行车共享使用模式的多种见解,比如一天中不同时间段的使用高峰、不同天气条件下的使用差异、季节性变化对骑行需求的影响等。这些信息对于城市规划者、交通管理者以及自行车共享服务提供商来说都是非常宝贵的,可以帮助他们优化服务、提高效率和满足用户需求。同时,这个数据集也

Global site tag (gtag.js) - Google Analytics