黑马程序员技术交流社区

标题: return和finally谁先执行？？？？？？？？ [打印本页]

作者: 李节起 时间: 2012-4-9 00:13
标题: return和finally谁先执行？？？？？？？？
本帖最后由李节起于 2012-9-23 17:28 编辑

删除删除删除删除删除删除

作者: 曾晓文 时间: 2012-4-9 00:30
先执行finally 再return。
public static void main(String[] args){
System.out.println(test());
}
private static String test(){
try {
return "try";
} catch (Exception e) {

}finally{
System.out.println("finally");
}
return null;
}
结果：finally
try

作者: 申振华 时间: 2012-4-9 00:35
try
{
System.out.println("return执行");
return;
}
catch(EXecptoin e)
{
System.out.println(e.toString()); //比较懒，就这样写了
}
finally
{
System.out.prlintln("finally执行");
};

写一些输出语句，运行一下不就知道了嘛。向这种问题都要做个小实验就明白了。

作者: 黑马-刘昌文 时间: 2012-4-9 00:46
rerun先执行，但执行完后不会退出，一定会执行finally里面的代码

作者: 尹博 时间: 2012-4-9 02:13
在有try语句这种情况下，当程序运行到return时会先执行return后的表达式然后跳转到finally中执行，直到finally中的语句执行完毕才返回，如果finally中有return语句，则执行finally中的return，不会再返回try中return的值了。

class TryReturnTest
{
public static void main(String[] args)
{
System.out.println(test());
}
static int test()
{
int b = 1;
try
{
return b;
}catch(Exception e){
return b;
}
finally
{
b = 2;
//return b;
}
}
}

复制代码

这段代码运行结果是1，如果finally中return b;没注释掉则结果为2

作者: 秦岩 时间: 2012-4-9 07:33
1 finally与return
try-catch-finally是很常用的语法结构，用来控制可能发生异常时的程序流程，其中catch和finally至少要有一个。初学try语法时可能会要问一个问题：如果在try块中return，那么finally还会执行吗？答案是肯定的。这个非常容易验证，就不举例子了。这样带来一些很好的特性，例如我们可以在try块中尝试打开数据库，然后读取数据，然后直接把得到的数据return出去，关闭数据连接的工作就交给finally来做——finally中先判断数据库是否正常打开了，打开了就关闭。这样代码写起来很清晰，每个部分各做各的事。这样我们也可以非常肯定的说，无论发生什么情况（只要不是进程被强行杀掉），finally中的内容一定是要执行的。
那么是不是可以再问一个问题——如果在finally块中也写了return，那么会怎么样呢？试验一下就很容易知道，finally块中是不允许写return的，如果一定要写，就会得到一个编译期错误：
error CS0157: Control cannot leave the body of a finally clause

2 先return？先finally？
既然finally一定是要执行的，即使try块中有return，那么这两者的执行顺便是怎么样的呢？简单的做一个实验（下面要说明，这个实验看上去的结果并不这么直观的表现出它的内在）：

using System;
public class TestClass1
...{
   public static void Main()
   ...{
            Console.WriteLine("{0}", Func1());
   }

   public static int Func1()
   ...{
            int a = 1;

            try
            ...{
                  return a;
            }
            finally
            ...{
                  a++;
            }
   }
}
运行这个程序，很容易得到结果为“1”。那么看上去是执行return在先，而finally在后了。真的是这样吗？
例子中我要return的a是一个值类型，那么如果是引用类型，结果又会如何呢？

using System;
public class TestClass2
...{
   public int value = 1;
}

public class TestClass1
...{
   public static void Main()
   ...{
            Console.WriteLine("{0}", Func2().value);
   }

   public static TestClass2 Func2()
   ...{
            TestClass2 t = new TestClass2();

            try
            ...{
                  return t;
            }
            finally
            ...{
                  t.value++;
            }
   }
}
这一次运行的结果并不是1，而是2。显然，运行Func2()返回的结果并不直接是return后面写的t，而是经过finally块执行后值发生变化的t。如何来解释这种区别呢？
3 CLR的栈
要解释这种区别，就需要看看其IL是什么，从调用函数、参数栈的角度来理解。CLR在执行中也有栈，但这个栈的用途与传统的本地代码中的栈并不完全相同。本地代码中栈的用处非常大，不但可以用来临时保存寄存器的值，还用来保存局部变量，此外还用来保存部分或全部传给函数的参数，而函数的返回值一般是通过EAX寄存器来传递的，而不是用栈。但在CLR中，局部变量并非显式的用栈来保存，栈只是用来调用函数时传递参数，此外，函数的返回值也是用栈来保存的。当调用一个函数时，将函数所需要的参数依次压栈，函数里面直接取用这些参数，在函数返回时将返回值压栈，函数返回后，栈顶即是返回值。如果调用者并不关心返回值，那么需要执行一下pop语句，把返回值弹出，这样保证函数在调用前后栈顶的位置是相同的。
当通过压栈传递参数时，参数的类型不同，压栈的内容也不同。如果是值类型，压栈的就是经过复制的参数值，如果是引用类型，那么进栈的只是一个引用，这也就是我们所熟悉的，传递值类型时，函数内修改参数值不会影响函数外，而引用类型的话则会影响。
代码中当我们执行new时，对应的IL是newobj，其结果是创建一个TestClass2类型的对像并返回一个引用放置于栈上，之后的stloc就将这个引用保存为局部变量，于是栈上没有了其他内容。Try块并没有执行太多操作，只是把刚保存的引用再放到栈上，再保存为另一个局部变量，这个局部变量就是稍后要返回的引用，此时我们拥有两个局部变量，但它们是指向同一个对象的两个引用。Finally块先拿出开始时保存的引用放到栈上，dup语句使得栈顶再增加一个完全一样的引用，之后ldfld语句是从栈顶对象取一个成员放到栈上，所取的成员是value，之后再往栈上压一个1，再执行add，就实现了1+1=2的过程，add从栈上弹出两个值，再向栈压回一个值。此时再调用stfld就把刚刚压栈的2设置给栈上2之下的那个引用所指对象的value属性上。而在finally之后的部分才是真正的return，它试图取出我们所保存的第二个局部变量压栈，将它作为返回值。但对于引用类型来说，它与先前所操作的引用所指的是同一对象，因此finally块中的操作会影响到返回值，也就非常好理解了。

4 改编
知道了finally与return的实现原理，也就不难做出进一步的推广。例如把程序改成这样（返回时由直接返回t变为在t上调用一个做一些操作后返回自己的函数），其执行结果也不难猜出来吧：
using System;
public class TestClass2
...{
   public int value = 1;

   public TestClass2 Double()
   ...{
            value *= 2;
            return this;
   }
}

public class TestClass1
...{
   public static void Main()
   ...{
            Console.WriteLine("{0}", Func2().value);
   }

   public static TestClass2 Func2()
   ...{
            TestClass2 t = new TestClass2();

            try
            ...{
            &n

作者: 程旦 时间: 2012-4-9 08:32
代码遇到finally语句会先把return结果保存在某一地方当然这题就会返回finally里面的结果了

作者: ._かかし-spl 时间: 2012-7-27 12:14

曾晓文发表于 2012-4-9 00:30
先执行finally 再return。
public static void main(String[] args){
System.out.println(test()) ...

你写错了吧。应该是try中的return 先执行，然后再执行finally。你的代码有问题。public class DefaultTest
{
public static void main(String[] args)
{
System.out.println(new DefaultTest().test());
}

public String test()
{
// String str = null;
String str = "123";
try
{
str.charAt(1);
return "Try Return";
}
catch(NullPointerException e)
{
System.out.println("Exception happen !");
return "Catch Return";
}
finally
{
return "Finally Return";
}
}
}

作者: pray 时间: 2014-4-26 06:57
就小说艺术的角度而言，这篇帖子不算太成功，但它的实验意义却远远大于成功本身。正所谓：【一马奔腾，射雕引弓，天地都在我心中！】楼主真是英俊潇洒，风流倜傥，玉树临风，年少多金，神勇威武，天下无敌，宇内第一，寂寞高手，刀枪不入，唯我独尊，玉面郎君，仁者无敌，勇者无惧，金刚不坏，英明神武，侠义非凡，义薄云天，古往今来，无与伦比，谦虚好学，不耻下问，聪明伶俐，活泼可爱，待友热情，对敌冷酷，阴险狡诈，无所不为，心狠手辣，无恶不作，对友赴汤蹈火，再所不辞，两肋插刀，枪林弹雨，勇往直前，慷慨大方, 头脑精明，仙福永享，寿与天齐，百折不饶，百打不死，侠中豪杰，人中龙凤，有情有义，有胆有色，举世无双，既酷又帅，人之表率，诚实可信，谈吐大方，风度翩翩，气势凌人，气质高贵，单身贵族，貌赛潘安，智胜孔明，勇比子龙，义超关羽，巧越鲁班，至尊至圣，至高无上，华丽绚烂，英勇无比，道德榜样，千杯不醉，坐怀不乱，知识渊博，才高八斗，傲视众生，世外高人，光明磊落，公正无私，震古烁今，第一大英雄大豪杰大侠客大宗师，急如风，静如林，掠如火，不动如山，号称一朵梨花压海棠，人送绰号天下地无所不能玉面小飞龙，英俊与智慧的化身，侠义与仁义的糅合，前辈高人巨侠是也。楼主真不愧为无厘界新一代的开山怪才！、

欢迎光临黑马程序员技术交流社区 (http://bbs.itheima.com/)

黑马程序员IT技术论坛 X3.2