程序执行到 try 里面的内容一定会执行 finally 里面的内容。如果在 try 或者 catch 里面遇到return,那么函数在执行完 return 后面的表达式之后,会先去执行 finally 里面的语句块,然后再结束方法体。但有一种特殊情况,如果在try里面有System.exit(0)这样的语句,System.exit(0)是终止Java虚拟机JVM的,连JVM都停止了,所有都结束了,当然 finally 语句也不会被执行到。
1、讨论return的执行过程中内存的分配
return 相当于一个结束当前方法体的标志。这有点像跳出循环的 break 。如果当前方法体是有返回值的,那么当前方法执行到第一个return时,会在栈空间分配一块内存,类型为函数的返回类型,值为 return后面表达式计算出来的值。
如果执行到第二个return(比如try里面的return后,在执行finally里面的return),那么在栈空间分配的那块内存的内容会被替换成新的return后面的表达式的计算值。
所以当有返回类型的当前方法体结束时,会在栈中留下返回值。不管有没有将返回值赋给其他变量,这块空间将会被回收。
2、讨论返回值的类型
返回值是基本数据类型
public static void main(String[] args) {
System.out.println(get());
}
public static int get()
{
int i = 1;
try {
throw new FileNotFoundException();
}catch (Exception e)
{
System.out.println("error");
return i;
}finally {
i++;
System.out.println("finally里面的i=" + i);
}
}
error
finally里面的i=2
1
结论:在这种情况下,返回的数据不会被return之外的语句影响。用内存的观点其实很好解释,return i;语句其实是在栈里新开辟了一块空间,然后把i的值赋给了新开辟的空间,所以赋值完毕后,i 的值怎么变不影响返回值。
返回值是引用数据类型
public static void main(String[] args) {
System.out.println(get());
}
public static StringBuffer get()
{
StringBuffer i= new StringBuffer("ok");
try {
throw new FileNotFoundException();
}catch (Exception e)
{
System.out.println("error");
return i;
}finally {
i.append("finally");
System.out.println("finally里面的i=" + i);
}
}
error
finally里面的i=okfinally
okfinally
用内存的观点也很好解释,return i;语句会新开辟一个空间,将 i 的值赋给新开辟的新开辟的空间。但是 i 是引用类型,如果对 i 指向的对象进行操作,那么也会影响到返回值,因为他们指向同一块内存空间
总结:其实总结起来就两点
- 函数执行到 try 里面的内容,一定会执行 finally 里面的语句块,除非 try 里面有类似System.exit() 的方法。
- 函数执行到 return 不一定会直接返回(比如try和catch里面的),但一定会开辟一块当前方法体返回类型的空间,里面的值存的是 return 后面的表达式计算结果,但该结果会被第二个return(finally里面的)覆盖。