JAVA面试题解惑系列（四）——final、finally和finalize的区别

[zangweiren]

------------------------------------------------------------------------------------
我想出一本名为《JAVA面试题解惑系列》的书籍，详情请见：
http://rmyd.group.javaeye.com/group/topic/6193
目前网络连载中：http://zangweiren.javaeye.com/
请大家多关注，多提宝贵意见！
------------------------------------------------------------------------------------

作者：臧圩人（zangweiren）
网址：http://zangweiren.javaeye.com

>>>转载请注明出处！<<<

final、finally和finalize的区别是什么？

这是一道再经典不过的面试题了，我们在各个公司的面试题中几乎都能看到它的身影。final、finally和finalize虽然长得像孪生三兄弟一样，但是它们的含义和用法却是大相径庭。这一次我们就一起来回顾一下这方面的知识。

我们首先来说说final。它可以用于以下四个地方：

定义变量，包括静态的和非静态的。
定义方法的参数。
定义方法。
定义类。

我们依次来回顾一下每种情况下final的作用。首先来看第一种情况，如果final修饰的是一个基本类型，就表示这个变量被赋予的值是不可变的，即它是个常量；如果final修饰的是一个对象，就表示这个变量被赋予的引用是不可变的，这里需要提醒大家注意的是，不可改变的只是这个变量所保存的引用，并不是这个引用所指向的对象。在第二种情况下，final的含义与第一种情况相同。实际上对于前两种情况，有一种更贴切的表述final的含义的描述，那就是，如果一个变量或方法参数被final修饰，就表示它只能被赋值一次，但是JAVA虚拟机为变量设定的默认值不记作一次赋值。

被final修饰的变量必须被初始化。初始化的方式有以下几种：

在定义的时候初始化。
在初始化块中初始化。
在类的构造器中初始化。
静态变量也可以在静态初始化块中初始化。

通过下面的代码可以验证以上的观点：
Java代码

public class FinalTest {   
    // 在定义时初始化   
    public final int A = 10;   
  
    public final int B;   
    // 在初始化块中初始化   
    {   
        B = 20;   
    }   
  
    // 静态常量，在定义时初始化   
    public static final int STATIC_C = 30;   
  
    public static final int STATIC_D;   
    // 静态常量，在静态初始化块中初始化   
    static {   
        STATIC_D = 40;   
    }   
  
    public final int E;   
  
    public static int STATIC_F;   
  
    // 在构造器中初始化   
    public FinalTest() {   
        E = 50;   
        // 静态变量也可以在构造器中初始化   
        STATIC_F = 60;   
  
        // 给final的变量第二次赋值时，编译会报错   
        // A = 99;   
        // STATIC_C = 99;   
    }   
  
    // 静态变量不能在初始化块中初始化   
    // public static final int STATIC_G;   
    // {   
    // STATIC_G = 70;   
    // }   
  
    // final变量未被初始化，编译时就会报错   
    // public final int H;   
  
    // 静态final变量未被初始化，编译时就会报错   
    // public static final int STATIC_I;   
}  

我们运行上面的代码之后出了可以发现final变量（常量）和静态final变量（静态常量）未被初始化时，编译会报错；另外还可以发现，静态final变量可以在构造器中初始化，却不可以在初始化块中初始化。

用final修饰的变量（常量）比非final的变量（普通变量）拥有更高的效率，因此我们在实际编程中应该尽可能多的用常量来代替普通变量，这也是一个很好的编程习惯。

当final用来定义一个方法时，会有什么效果呢？正如大家所知，它表示这个方法不可以被子类重写，但是它这不影响它被子类继承。我们写段代码来验证一下：
Java代码

class ParentClass {   
    public final void TestFinal() {   
        System.out.println("父类--这是一个final方法");   
    }   
}   
  
public class SubClass extends ParentClass {   
    /**  
     * 子类无法重写（override）父类的final方法，否则编译时会报错  
     */  
    // public void TestFinal() {   
    // System.out.println("子类--重写final方法");   
    // }   
       
    public static void main(String[] args) {   
        SubClass sc = new SubClass();   
        sc.TestFinal();   
    }   
}  

这里需要特殊说明的是，具有private访问权限的方法也可以增加final修饰，但是由于子类无法继承private方法，因此也无法重写它。编译器在处理private方法时，是按照final方法来对待的，这样可以提高该方法被调用时的效率。不过子类仍然可以定义同父类中的private方法具有同样结构的方法，但是这并不会产生重写的效果，而且它们之间也不存在必然联系。

最后我们再来回顾一下final用于类的情况。这个大家应该也很熟悉了，因为我们最常用的String类就是final的。由于final类不允许被继承，编译器在处理时把它的所有方法都当作final的，因此final类比普通类拥有更高的效率。final的类的所有方法都不能被重写，但这并不表示final的类的属性（变量）值也是不可改变的，要想做到final类的属性值不可改变，必须给它增加final修饰，请看下面的例子：
Java代码

public final class FinalTest {   
  
    int i = 10;   
  
    public static void main(String[] args) {   
        FinalTest ft = new FinalTest();   
        ft.i = 99;   
        System.out.println(ft.i);   
    }   
}

运行上面的代码试试看，结果是99，而不是初始化时的10。

接下来我们一起回顾一下finally的用法。这个就比较简单了，它只能用在try/catch语句中，并且附带着一个语句块，表示这段语句最终总是被执行。请看下面的代码：
Java代码

public final class FinallyTest {   
    public static void main(String[] args) {   
        try {   
            throw new NullPointerException();   
        } catch (NullPointerException e) {   
            System.out.println("程序抛出了异常");   
        } finally {   
            System.out.println("执行了finally语句块");   
        }   
    }   
}

运行结果说明了finally的作用：

程序抛出了异常
执行了finally语句块

请大家注意，捕获程序抛出的异常之后，既不加处理，也不继续向上抛出异常，并不是良好的编程习惯，它掩盖了程序执行中发生的错误，这里只是方便演示，请不要学习。

那么，有没有一种情况使finally语句块得不到执行呢？大家可能想到了return、continue、break这三个可以打乱代码顺序执行语句的规律。那我们就来试试看，这三个语句是否能影响finally语句块的执行：
Java代码

public final class FinallyTest {   
  
    // 测试return语句   
    public ReturnClass testReturn() {   
        try {   
            return new ReturnClass();   
        } catch (Exception e) {   
            e.printStackTrace();   
        } finally {   
            System.out.println("执行了finally语句");   
        }   
        return null;   
    }   
  
    // 测试continue语句   
    public void testContinue() {   
        for (int i = 0; i < 3; i++) {   
            try {   
                System.out.println(i);   
                if (i == 1) {   
                    continue;   
                }   
            } catch (Exception e) {   
                e.printStackTrace();   
            } finally {   
                System.out.println("执行了finally语句");   
            }   
        }   
    }   
  
    // 测试break语句   
    public void testBreak() {   
        for (int i = 0; i < 3; i++) {   
            try {   
                System.out.println(i);   
                if (i == 1) {   
                    break;   
                }   
            } catch (Exception e) {   
                e.printStackTrace();   
            } finally {   
                System.out.println("执行了finally语句");   
            }   
        }   
    }   
  
    public static void main(String[] args) {   
        FinallyTest ft = new FinallyTest();   
        // 测试return语句   
        ft.testReturn();   
        System.out.println();   
        // 测试continue语句   
        ft.testContinue();   
        System.out.println();   
        // 测试break语句   
        ft.testBreak();   
    }   
}   
  
class ReturnClass {   
    public ReturnClass() {   
        System.out.println("执行了return语句");   
    }   
}  

上面这段代码的运行结果如下：

执行了return语句
执行了finally语句

0
执行了finally语句
1
执行了finally语句
2
执行了finally语句

0
执行了finally语句
1
执行了finally语句

很明显，return、continue和break都没能阻止finally语句块的执行。从输出的结果来看，return语句似乎在finally语句块之前执行了，事实真的如此吗？我们来想想看，return语句的作用是什么呢？是退出当前的方法，并将值或对象返回。如果finally语句块是在return语句之后执行的，那么return语句被执行后就已经退出当前方法了，finally语句块又如何能被执行呢？因此，正确的执行顺序应该是这样的：编译器在编译return new ReturnClass();时，将它分成了两个步骤，new ReturnClass()和return，前一个创建对象的语句是在finally语句块之前被执行的，而后一个return语句是在finally语句块之后执行的，也就是说finally语句块是在程序退出方法之前被执行的。同样，finally语句块是在循环被跳过（continue）和中断（break）之前被执行的。

[mxf2002]

很好！！

[deadpanda]

真好 学习学习 温故而知新

[girl2008boy]

[Quote=引用 39 楼 yuys168 的回复:]
引用 38 楼 xjtusehcy 的回复:
辛苦了！！！
顶一个！
[/Quote]
---------------------

[gaosj]

学习了.

[zaytsing]

呵呵，讲的很详细，不过还不是很清楚，回去往死里研究。。哈哈。。学习中~~~

[tonggulu]

***************************************************************************

思想决定行动,行动决定习惯,习惯决定命运.
程序员在深圳QQ群,交流思想,如饮美酒.

部份专业群介绍:
c++群: 15195967(此群流动性相当大,有时候一个月上百人被迫离群)
java群: 11878667(此群人数较少,但不知道群主会不会让你进群,进群要求很高)
英语学习群: 23864353(此群人气一般,交流也车不够活跃)
c++Ⅱ: 17409451(此群是C++第一群的补充,人气自然差点)
嵌入式开发群: 37489763(此群高手还是有的,气氛一般)
移动开发群: 31501597(此群人气和氛围都还可以)
创业群: 33653422(此群名字就注定了讨论的东西一般没有结果.)


部份高级程序员群(高级群致力于发现和培养专家,人气最旺,淘汰率高,不自信者不要加入):

高级群I:17538442
高级群II:7120862

部份初、中级程序员群:
第三群:2650485
第五群:29537639
第四群:28702746
第六群:10590618
第七群:10543585
第八群:12006492
第九群:19063074
第十群:2883885
第十一群:25460595
第十二群:9663807

深圳程序员QQ群联盟成立2005年，拥有三十个以上的QQ群,人数超三千多人,大量高手,从业于大公司（微软、IBM,SUN，华为）、系统分析员(包括参加过上亿元的项目的架构师)。每个人都自信而上进.推荐：深程高级群I:17538442 深程高级群II:7120862 (深程高级群不欢迎新手,如果在深圳,月薪6K以下的别加入) c++:15195967 java群: 11878667 mobile:[phone]嵌入式:37489763
——————————————————————————————————————————
如果你不是第一次看到此广告,说明我们最近T了一些人,因为我们要不断提升群的质量,保证名副其实.
-------------------------------------------------------------------------------------
在通过电邮、新闻组或者聊天室提出技术问题前，检查你有没有做到：
1. 通读手册，试着自己找答案。
2. 在FAQ里找答案（一份维护得好的FAQ可以包罗万象:）。
3. 在网上搜索（个人推荐google~）。
4. 向你身边精于此道的朋友打听。
我想我们首先应该靠自己解决问题，然后才是问
------------------------------------------------------------------------------------------------------

技术QQ群是一个体现群体智慧的地方，无价值的发言会给别人带来噪音和负担，如果不同意以上观点的请勿加入!

*****************************************************************************

[zhao_tk]

回帖是一种美德！传说每天回帖即可获得 10 分可用分

[FLYJAVA]

学到一点，感谢楼主

[sui_yuan_zhe]

每天回帖即可获得10分可用分！小技巧：教您如何更快获得可用分

[Winnie0606]

啊啊啊，真的假的~~

[hjcustc]

楼主辛苦了，只可惜没看到代码

[volcan1987]

楼主辛苦了，学到了一些东西

[_youmi]

非常好！楼主辛苦，帮你顶！

[sniperwang]

相当的好啊！ lz辛苦

[讨厌所有昵称是海洋精灵的]

感谢lz。lz辛苦了。

[sjz64472418]

很好，强顶，借鉴些，不介意吧！

[daixiaolong_1588466]

顶一下 呵呵

[haiyex1]

学习了

[yuqistefyuqi]

不错。

[yigehaorenyin]

讲的不错