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

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

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

final关键字

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

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

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

被final修饰的变量必须被初始化。初始化的方式有以下几种：
在定义的时候初始化。
final变量可以在初始化块中初始化，不可以在静态初始化块中初始化。
静态final变量可以在静态初始化块中初始化，不可以在初始化块中初始化。
final变量还可以在类的构造器中初始化，但是静态final变量不可以。

通过下面的代码可以验证以上的观点：
Java代码
public class FinalTest {  
    // 在定义时初始化  
    public final int A = 10;  
 
    public final int B;  
    // 在初始化块中初始化  
    {  
        B = 20;  
    }  
 
    // 非静态final变量不能在静态初始化块中初始化  
    // public final int C;  
    // static {  
    // C = 30;  
    // }  
 
    // 静态常量，在定义时初始化  
    public static final int STATIC_D = 40;  
 
    public static final int STATIC_E;  
    // 静态常量，在静态初始化块中初始化  
    static {  
        STATIC_E = 50;  
    }  
 
    // 静态变量不能在初始化块中初始化  
    // public static final int STATIC_F;  
    // {  
    // STATIC_F = 60;  
    // }  
 
    public final int G;  
 
    // 静态final变量不可以在构造器中初始化  
    // public static final int STATIC_H;  
 
    // 在构造器中初始化  
    public FinalTest() {  
        G = 70;  
        // 静态final变量不可以在构造器中初始化  
        // STATIC_H = 80;  
 
        // 给final的变量第二次赋值时，编译会报错  
        // A = 99;  
        // STATIC_D = 99;  
    }  
 
    // final变量未被初始化，编译时就会报错  
    // public final int I;  
 
    // 静态final变量未被初始化，编译时就会报错  
    // public static final int STATIC_J;  
} 

我们运行上面的代码之后出了可以发现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类比普通类拥有更高的效率。而由关键字abstract定义的抽象类含有必须由继承自它的子类重载实现的抽象方法，因此无法同时用final和abstract来修饰同一个类。同样的道理，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语句

接下来我们一起回顾一下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