结论

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

情况1

try{ 
    // step1
    return; 
}catch(){
     // step2
} finally{
     // step3
}
// step4
return;

• 程序执行try块中return之前（包括return语句中的表达式运算）代码；

• 再执行finally块，最后执行try中return;

• finally块之后的语句return，因为程序在try中已经return所以不再执行。

情况2

try { 
    // step1
} catch() {
    // step2
    return;
} finally {
    //step3
} 
// step4
return;

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

情况3

try { 
    // step1
    return;
} catch() {
    // step2
} finally {
    //step3
    return;
} 

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

情况4

try { 
    // step1
   
} catch() {
    // step2
    return;
} finally {
    //step3
    return;
} 

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

情况5

try { 
    // step1
    return;
} catch() {
    // step2
    return;
} finally {
    //step3
    return;
} 

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