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.
posted @ 2016-02-06 11:30  马宇申  阅读(...)  评论(...编辑  收藏