重新精读《Java 编程思想》系列之final关键字

在java中final关键字标识无法被修改。接下来从final修饰数据、方法和类进行介绍。

final数据

final用来告知编译器这一块数据是恒定不变的。数据恒定不变又如下作用：

1、一个永不改变的编译时常量。

2、一个在运行时被初始化的值，而你不希望他改变。

编译器常量的情况，编译器可以将常量值代入任何可能用到的计算式，可以在编译时，执行计算式，减轻运行的负担。这类常量必须是基本数据类型，并且以关键字final表示。常量在定义的时候，必须对其进行赋值。一个即是static又是final的域占据一段不能改变的存储空间。



如果不赋初值，编译器会报错提示。

当final修饰对象引用的时候，final使对象的引用恒定不变，一旦引用被初始化指向一个对象，就无法再把它指向另一个对象。然而对象的自身是可以修改的。



像以上代码，可以看出改变引用的时候，编译器会报错提示，但是当改变引用对象的内部属性的时候，就没有问题。

空白final

java允许生产空白final，指被声明为final，但又未给定初值的域，无论什么情况，编译器确保空白final在使用前必须被初始化。空白fianl的作用可以做到根据对象的不同而有所不同，却又保持其恒定不变的特性。

class Poppet{
    private int i;
    Poppet(int ii){
        i = ii;
    }
}

public class BlankFinal {
    private final int i = 0;
    private final int j;
    private final Poppet p ;

    public BlankFinal(){
        j =1 ;
        p = new Poppet(1);
    }

    public BlankFinal(int x){
        j = x;
        p = new Poppet(x);
    }

    public static void main(String[] args) {
        new BlankFinal();
        new BlankFinal(20);
    }
}

当我们定义空白的final的时候，必须保证在构造器的时候对值进行初始化。如上面的代码，假如我们没有在构造器中对其进行初始化，则会报错。

final参数

java允许在参数列表中以声明的方式将参数指明为final，这意味着无法在方法中更改参数引用指向的对象。

void with(final Gizmo g){
    g= new Gizmo();
}

如上代码是不可以的，因为final的类型不可以进行更改。

void f(final int i){
    i++;
}

如上也是不可以的。

void f(final int i){
    return i+1;
}

如上可以。说明final类型的数据可以读取但是不可以修改。

final方法

final方法使用有两个原因。

第一个原因：把方法锁定，防止任何继承类修改它的含义。想要确保在继承中使方法行为保持不变，并且不会覆盖。

第二个原因：在java早期开发过程中，如果将一个方法指明为final，就是同意编译器将针对该方法的所有调用转为内嵌调用。当编译器发现一个final方法调用命令的时候，会根据自己的谨慎判断，跳过插入程序代码这种正常方式而执行方法调用机制。并且以方法体中的实际代码的副本来替代方法的调用。这将消除方法调用的开销。当然，如果一个方法很大，你的程序代码就会膨胀，因而看不到内嵌带来的任何性能提高，因为，所带来的性能提高会因为花费于方法内的时间量而被缩减，在最近的java版本中，虚拟机可以探测到这些情况，并优化去掉这些效率反而降低的额外的内嵌调用，因此不再需要用final来进行优化，这种方法正在逐渐的受阻，只有在想要明确禁止覆盖的时候，才将方法设置为final。

final和private关键字

类中的所有private方法都隐式的指定为final，由于无法取用private方法，就无法覆盖它。可以对private方法增加final修饰词，但是没有任何意义。

final类

当将某个类的整体定义为final的时候，就表明了你不打算继承该类，而且也不允许别人这样做，对于该类永远不需要做任何变动，出于安全考虑，你不希望有子类。

final类的域可以根据个人意愿选择为是或不是final。不论类是否被定义为final。相同的规则都适用于定义为final的域。

由于final类禁止继承，所以final类中的所有方法都隐式指定为是fianl的。因为无法覆盖它。在final类中给方法添加final关键字，没什么意义。