Java - try、catch、finally 中 return 语句的执行顺序测试

项目场景

在一个使用了分布式锁的场景中，try 中可能会返回值，方法最后也会返回值，这时候有疑问，return 之后 finally 还会不会执行，以及他们的执行顺序是怎样的。伪代码如下：

public int xxx() {
	try {
		redis.lock(...)
		...
		if (xxx) {
			return xxx;
		}
	} catch(Exception e) {
		...
	} finally {
		redis.unlock(...)
	}
	return xxx;
}

牛刀小试

一、

private int extracted() {
  try {
        System.out.println("try...");
        // 执行 return 但不返回
        return 0;
    } catch (Exception e) {
        e.printStackTrace();
    } finally {
        System.out.println("finally...");
    }
    return 1;
}

输出：

try...
finally...
0

二、

private int extracted() {
    try {
        System.out.println("try...");
        // 执行 return 但不返回
        return 0;
    } catch (Exception e) {
        e.printStackTrace();
        System.out.println("catch...");
    } finally {
        System.out.println("finally...");
        return 1;
    }
}

输出：

try...
finally...
1

三、

private int extracted() {
    try {
        System.out.println("try...");
        int num = 8 / 0;
        return 0;
    } catch (Exception e) {
//        e.printStackTrace();
        System.out.println("catch...");
        // 执行 return 但不返回
        return -1;
    } finally {
        System.out.println("finally...");
    }
}

输出：

try...
catch...
finally...
-1

四、

private int extracted() {
    try {
        System.out.println("try...");
        int num = 8 / 0;
        return 0;
    } catch (Exception e) {
//        e.printStackTrace();
        System.out.println("catch...");
        // 执行 return 但不返回
        return -1;
    } finally {
        System.out.println("finally...");
        // 立即返回
        return 1;
    }
}

输出：

try...
catch...
finally...
1

五、

private int extracted() {
    int result = 0;
    try {
        System.out.println("try...");
        // 已执行，但暂不返回
        return result;
    } catch (Exception e) {
        e.printStackTrace();
    } finally {
        System.out.println("finally...");
        // 上面 return 已执行，所以这里修改也没用
        result = 1;
    }
    return result;
}

输出：

try...
finally...
0

---

总结

• 无论什么情况 finally 块是一定会执行的
• finally 中有 return 的话，一定会返回 finally 中的 return