Java中return和finally到底哪个先执行

本章节我们从字节码的角度来探究下return和finally到底哪个先执行。下面先来看一段简单地源码：

禅城网站建设公司创新互联,禅城网站设计制作，有大型网站制作公司丰富经验。已为禅城近1000家提供企业网站建设服务。企业网站搭建\成都外贸网站建设公司要多少钱，请找那个售后服务好的禅城做网站的公司定做！

 
 
 
    
  
  
  
  1. public class ReturnFinallyDemo { 
    2. 
  
  
  
  2.     public static void main(String[] args) { 
    3. 
  
  
  
  3.         System.out.println(case1()); 
    4. 
  
  
  
  4.     } 
    5. 
  
  
  
  5.  
    6. 
  
  
  
  6.     public static int case1() { 
    7. 
  
  
  
  7.         int x; 
    8. 
  
  
  
  8.         try { 
    9. 
  
  
  
  9.             x = 1; 
    10. 
  
  
  
  10.             return x; 
    11. 
  
  
  
  11.         } finally { 
    12. 
  
  
  
  12.             x = 3; 
    13. 
  
  
  
  13.         } 
    14. 
  
  
  
  14.     } 
    15. 
  
  
  
  15. } 
    16. 
  
  
  
  16.  
    17. 
  
  
  
  17. # 输出 
    18.

上述代码的输出可以简单地得出结论：return在finally之前执行，我们来看下字节码层面上发生了什么事情。下面截取case1方法的部分字节码，并且对照源码，将每个指令的含义注释在后面：

 
 
 
    
  
  
  
  1. iconst_1 // 将常量1推入操作数栈顶  
    2. 
  
  
  
  2. istore_0 // 弹出栈顶元素(1)，保存到局部变量表slot[0]，此时slot[0]=1。这两条指令对应源码：x = 1;  
    3. 
  
  
  
  3. iload_0 // 将局部变量表slot[0]的值推入操作数栈顶，也就是说把上面x的值推入栈顶  
    4. 
  
  
  
  4. istore_1 // 弹出栈顶元素(1)，保存到局部变量表slot[1]，此时slot[1]=1。其实，此时就已经把要return的值准备好了  
    5. 
  
  
  
  5. iconst_3 // 将常量3推入操作数栈顶，这一条指令开始，其实是开始执行finally中的代码了  
    6. 
  
  
  
  6. istore_0 // 弹出栈顶元素(3)，保存到局部变量表slot[0]，此时slot[0]=3。这两个指令对应源码：x = 3;这里要注意的是，虽然都是更新了x的值，但是finally中的x和try中x的赋值，保存在了不同的局部变量表中 
    7. 
  
  
  
  7. iload_1 // 将局部变量表slot[1]的值推入操作数栈顶，此时栈顶元素的值为1，是第3行指令保存的值 
    8. 
  
  
  
  8.  
    9. 
  
  
  
  9. ireturn // 将操作数栈顶的值返回给调用方 
    10.

从字节码来看，似乎又是finally的代码先执行了，因为ireturn指令确实是在最后执行的，所以返回什么样的值不在于谁先执行，而在于ireturn指令返回的操作数栈顶的元素是何时保存的。在上述代码环境中，是try代码块中給x赋值的版本，也就是紧接着return语句后面的x所保存的版本。

下面再来看一个稍微复杂点的场景：

 
 
 
    
  
  
  
  1. public static int case2() { 
    2. 
  
  
  
  2.     int x; 
    3. 
  
  
  
  3.     try { 
    4. 
  
  
  
  4.         x = 1; 
    5. 
  
  
  
  5.         return ++x; 
    6. 
  
  
  
  6.     } finally { 
    7. 
  
  
  
  7.         x = 3; 
    8. 
  
  
  
  8.     } 
    9. 
  
  
  
  9. } 
    10. 
  
  
  
  10.  
    11. 
  
  
  
  11. # 输出 
    12.

有了上面的分析，这个就很好理解了，我们还是来看下字节码：

 
 
 
    
  
  
  
  1. iconst_1 // 将常量1推入操作数栈顶 
    2. 
  
  
  
  2. istore_0 // 弹出栈顶元素（1），保存到局部变量表slot[0]，此时slot[0]=1。这两条指令对应源码：x = 1; 
    3. 
  
  
  
  3. iinc          0, 1 // 对局部变量表slot[0]进行自增（+1）操作，此时slot[0]=2，对应源码：++x;所以，可以看出return后面的表达式先执行 
    4. 
  
  
  
  4. iload_0 // 将局部变量表slot[0]的值推入操作数栈顶，也就是说把上面x的值（2）推入栈顶 
    5. 
  
  
  
  5. istore_1 // 弹出栈顶元素（2），保存到局部变量表slot[1]，此时slot[1]=2。其实，此时就已经把要return的值准备好了 
    6. 
  
  
  
  6. iconst_3 // 将常量3推入操作数栈顶，这一条指令开始，其实是开始执行finally中的代码了 
    7. 
  
  
  
  7. istore_0 // 弹出栈顶元素（3），保存到局部变量表slot[0]，此时slot[0]=3。这两个指令对应源码：x = 3;这里要注意的是，虽然都是更新了x的值，但是finally中的x和try中x的赋值，保存在了不同的局部变量表中 
    8. 
  
  
  
  8. iload_1 // 将局部变量表slot[1]的值推入操作数栈顶，此时栈顶元素的值为2，是第6行指令保存的值，也就是经过++x之后的值 
    9. 
  
  
  
  9. ireturn // 将操作数栈顶的值返回给调用方 
    10.

从上述代码可以看出，return后面的指令先执行，然后保存到局部变量表，接着执行finally中的语句，最后执行return指令本身。

总结一下，return指令是最后执行的，如果return后面有表达式，则执行完表达式之后就执行finally中的语句，最后再执行return指令。所以说finally和return到底哪个先执行：return指令后面如果有表达式或方法调用的话，先执行，然后执行finally，最后执行return指令。就像上面的程序演示的结果，不能光从x的赋值来看最终返回结果，从指令层面看，两次对x的赋值，保存在局部变量表的位置不一样。

最后，再来看一个平时不会这么去写的场景：

 
 
 
    
  
  
  
  1. public static int case3() { 
    2. 
  
  
  
  2.     int x; 
    3. 
  
  
  
  3.     try { 
    4. 
  
  
  
  4.         x = 1; 
    5. 
  
  
  
  5.         return ++x; 
    6. 
  
  
  
  6.     } finally { 
    7. 
  
  
  
  7.         x = 3; 
    8. 
  
  
  
  8.         return x; 
    9. 
  
  
  
  9.     } 
    10. 
  
  
  
  10. } 
    11. 
  
  
  
  11. # 输出 
    12.

这是一个finally返回结果的示例，平时不建议这么写，我们同样从字节码的角度来分析下：

 
 
 
    
  
  
  
  1. iconst_1 // 将常量1推入操作数栈顶 
    2. 
  
  
  
  2. istore_0 // 弹出栈顶元素（1），保存到局部变量表slot[0]，此时slot[0]=1。这两条指令对应源码：x = 1; 
    3. 
  
  
  
  3. iinc          0, 1 // 对局部变量表slot[0]进行自增（+1）操作，此时slot[0]=2，对应源码：++x;所以，可以看出return后面的表达式先执行 
    4. 
  
  
  
  4. iload_0  // 将局部变量表slot[0]的值推入操作数栈顶，也就是说把上面x的值（2）推入栈顶 
    5. 
  
  
  
  5. istore_1 // 弹出栈顶元素（2），保存到局部变量表slot[1]，此时slot[1]=2。 
    6. 
  
  
  
  6. iconst_3 // 将常量3推入操作数栈顶，这一条指令开始，其实是开始执行finally中的代码了 
    7. 
  
  
  
  7. istore_0 // 弹出栈顶元素（3），保存到变量表slot[0]，此时slot[0]=3。这两个指令对应源码：x = 3 
    8. 
  
  
  
  8. iload_0  // 将局部变量表slot[0]的值（3）推入操作数栈，这是跟之前不一样的地方，ireturn返回的值选择的局部变量表不一样 
    9. 
  
  
  
  9. ireturn 
    10.

从字节码以及解释来看，直接忽略了try语句块中的return指令，这样的代码会让人产生疑惑，所以平时不建议这么写。本章节就到这里了。

分享名称：Java中return和finally到底哪个先执行
文章来源：http://www.mswzjz.com/qtweb/news42/176692.html

成都网站建设公司_创新互联，为您提供网站收录、全网营销推广、网站维护、网站内链、手机网站建设、App开发

广告

声明：本网站发布的内容（图片、视频和文字）以用户投稿、用户转载内容为主，如果涉及侵权请尽快告知，我们将会在第一时间删除。文章观点不代表本网站立场，如需处理请联系客服。电话：028-86922220；邮箱：631063699@qq.com。内容未经允许不得转载，或转载时需注明来源： 创新互联

猜你还喜欢下面的内容

网站建设知识

各行业网站

古蔺网站建设　　 　成都服务器托管　　 　网站SEO优化排名　　 　网站设计　　 　绵竹做网站　　 　网站推广优化　　 　成都网站设计　　 　攀枝花网站建设　　 　成都响应式网站建设　　 　成都网站排名　　 　成都网站优化　　 　合江网站建设　　 　商城网站　　 　网站解决方案　　 　软文营销　　 　德昌麦琪建站　　 　成都网站设计公司　　 　成都微信开发　　 　绵阳科技城电信IDC机房　　 　全网整合营销推广