Java Magic. Part 3: Finally
Java Magic. Part 3: Finally
@(Base)[JDK, magic, 黑魔法]
转载请写明:原文地址
英文原文
系列文章:
-Java Magic. Part 1: java.net.URL
-Java Magic. Part 2: 0xCAFEBABE
-Java Magic. Part 3: Finally
-Java Magic. Part 4: sun.misc.Unsafe
所有JAVA程序员都应该知道一个基本概念-finally一定会被执行,但是真的是这样么?
这取决于“执行”是什么意思。但总的来说答案都是,YES。
Normal program execution
有人可能拿如下的例子来反驳:
try {
System.exit(1);
} finally {
System.out.println("I'm here, man");
}
刚才是不是你说的finlly块一定会被执行。
显然在上面这个例子中,Sout
语句不会被执行。我们刚才也说了,是正常的程序六层中答案是肯定的。
下面这句话来自官方文档
Note: If the JVM exits while the try or catch code is being executed, then the finally block may not execute.
我们再看下面这段代码,第二行是不是一定会执行呢?
Note: If the JVM exits while the try or catch code is being executed, then the finally block may not execute.
答案仍然是肯定的。除非...BANG...断电了,程序终止。
这是神马意思呢?意思就是程序非正常的运行。我们没办法保证所有事情。显然,这和System.exit(1)
是一个意思,也和你电脑上的重启键是一个意思。
所以我们不讨论这种情况啦。没劲。
Perpetuum Mobile
永动机 我们再来看如下代码:
try {
while (true) {
System.out.println("I print here some useful information");
}
} finally {
System.out.println("Let me run");
}
这里的finlly块会执行吗?当然可能,就是在标准输出异常的时候。但是绝大部分情况答案仍然是不会。
Threads
什么是线程?我们都知道线程的执行流程可以被interrupted。
假设我们有一个线程正在执行一些东西,另外一个线程kill掉当前线程(此时他正要执行finally)。
还有一个场景是,如果两个线程之间有死锁,那么还是不会执行finally块的。
下面这段话仍然来自官方文档
...if the thread executing the try or catch code is interrupted or killed, the finally block may not execute even though the application as a whole continues.
所以这种情况下,我们可以把线程当做一个独立的程序来看:
Finally块肯定是会执行的。除了程序或者线程异常的终止了。
Finally we return
好了,根据上述的文字,我们了解了finally一定会被执行。但是你知道finally什么时候会被执行吗?
考虑如下代码:
int someFunc() {
try {
return 0;
} finally {
return 1;
}
}
这个返回值是多少呢? 返回值是1
。因为finally
一定会被执行。
考虑下面这段呢?
int someFunc() {
try {
throw new RuntimeException();
} finally {
return 1;
}
}
答案仍然是1。但是有个问题是,异常就被吞掉了。这个场景是一个非常有名的场景,叫做exception swallowing
。这是一个非常危险示例,因为client的代码以为你会返回一个值或者抛出一个异常,但是你永远都只是返回一个值。
下面我们最后看一个类似的例子:
String deposit(int amount) throws DAOException {
try {
return dao.deposit(amount);
} finally {
return "OK";
}
}
dao.deposit
会抛出一个受检的异常,导致客户端必须处理这个异常,但是呢,由于上面我们已经提到的原因,这个函数又永远返回OK
,是不是有点淡淡的忧伤。
所以我们得到另外一个结论:
永远不要在finally
里面使用return
语句。
Instead of conclusion
很多程序员已经意识到finally的一些问题。但根据我们上面说的,只需要注意两点就可以避免犯错~
- Rule 1 Finally executes always, except the case where controlling program or thread was aborted.
- Rule 2 Never use return from finally block.