【原理基础】有 return 的情况下 try catch finally 的执行顺序

概念

任何执行 try 或者 catch 中的 return 语句之前，都会先执行 finally 语句，如果 finally 存在的话。如果 finally 中有 return 语句，那么程序就 return 了，所以 finally 中的 return 是一定会被 return 的，编译器把 finally 中的 return 实现为一个 warning。

举例

1.按顺序执行

  try{
	//...
  } catch(){
	//...
  }finally{
	//...
  } 
  return;

2.程序执行 try 块中 return 之前（包括 return 语句中的表达式运算）代码,再执行 finally 块，最后执行 try 中 return;finally 块之后的语句 return，因为程序在 try 中已经 return 所以不再执行。

  try{           
	//...         
	return; 
  }catch(){ 
	//...         
  } finally{
	//...
  } 
  return;

3.程序先执行 try，如果遇到异常执行 catch 块，有异常：则执行 catch 中 return 之前（包括 return 语句中的表达式运算）代码，再执行 finally 语句中全部代码，最后执行 catch 块中 return. finally 之后也就是 4 处的代码不再执行。无异常：执行完 try 再 finally 再 return.

  try{ 
	//...
  } catch(){
	//...
	return;
  } finally{
	//...
  } 
  return;

4.程序执行 try 块中 return 之前（包括 return 语句中的表达式运算）代码,再执行 finally 块，因为 finally 块中有 return 所以提前退出。

try{ 
  //...
  return;
}catch(){
  //...
} finally{
  //...
  return;
}

5.程序执行 catch 块中 return 之前（包括 return 语句中的表达式运算）代码,再执行 finally 块，因为 finally 块中有 return 所以提前退出。

try{ 
  //...
}catch(){
  //...
  return;
} finally{
  //...
  return;
}

6.程序执行 try 块中 return 之前（包括 return 语句中的表达式运算）代码；有异常：执行 catch 块中 return 之前（包括 return 语句中的表达式运算）代码,则再执行 finally 块，因为 finally 块中有 return 所以提前退出。无异常：则再执行 finally 块，因为 finally 块中有 return 所以提前退出。

try{ 
  //...
  return;
}catch(){
  //...
  return;
} finally{
  //...
  return;
}

7.在 try 语句中，在执行 return 语句时，要返回的结果已经准备好了，就在此时，程序转到 finally 执行了。在转去之前，try 中先把要返回的结果存放到不同于 x 的局部变量中去，执行完 finally 之后，在从中取出返回结果，因此，即使 finally 中对变量 x 进行了改变，但是不会影响返回结果。它应该使用栈保存返回值。

public class FinallyTest {
  public static void main(String[] args) { //返回结果为2
  }
  static int test(){
	int x = 1;
	try{
	  x++;
	  return x;
	}finally{
	  ++x;
	}
  }
}

总结

• 不管有木有出现异常，finally 块中代码都会执行;
• 当 try 和 catch 中有 return 时，finally 仍然会执行;
• finally 是在 return 后面的表达式运算后执行的（此时并没有返回运算后的值，而是先把要返回的值保存起来，管 finally 中的代码怎么样，返回的值都不会改变，任然是之前保存的值），所以函数返回值是在 finally 执行前确定的;
• finally 中最好不要包含 return，否则程序会提前退出，返回值不是 try 或 catch 中保存的返回值。