finally与return a++

一、描述

当我知道 return a++; 是先返回再+1的，但是突然想起如果用try/finally语句捕获时，突然发现有三种有趣的情况：

1. return a++;
2. return ++a;
3. return a+1;
   分别在finally语句会有不同的输出。

二、具体

代码如下：

public class Test {
    public static void main(String[] args) {
        System.out.println("s:"+test(1));
    }
    static int test(int a){
        try {
            //依次修改此处
            return a++;
            //return ++a;
            //return a+1;
        }finally {
            System.out.println("f:"+a);
        }
    }
}

运行结果依次如下

1. return a++;

f:2
s:1

2. return ++a;

f:2
s:2

3. return a+1;

f:1
s:2

我们知道finally语句是在方法结束前运行的，其实上述代码反编译字节码之后会发现：

import java.io.PrintStream;

public class Test
{

    public Test()
    {
    }

    public static void main(String args[])
    {
        System.out.println((new StringBuilder()).append("s:").append(test(1)).toString());
    }

    static int test(int a)
    {
        int i = a++;//主要改此处
        System.out.println((new StringBuilder()).append("f:").append(a).toString());
        return i;
        Exception exception;
        exception;
        System.out.println((new StringBuilder()).append("f:").append(a).toString());
        throw exception;
    }
}

原来其实return后面的表达式，编译器会创建临时变量，操作完成再返回。