Final关键字的含义
在Java中,final关键字意思为最终的,不可改变的,final是一个非访问修饰符,不同于public、private等,final关键字一般主要作用于修饰类、成员变量、方法以及修饰方法参数,final作用于不同的地方时所代表的含义并不相同。
1. final修饰类
当使用final关键字修饰一个类时,则这个类不可以被继承即该类无子类,并且,该类的所有的方法将被默认修饰为final类型,但是,成员变量不会被修饰为final类型,在JDK中,所有包装类如Integer,Float等都是final类,所以我们没有办法继承包装类。
final修饰的类除了可以将该类表示为不可继承之外,还有一个作用就是将该类修饰为不可改变的类,将该类修饰为不可改变的类,一个好处就是,该类的所有的方法都不会被子类重载、重写,因为该类没有办法被继承,这样的话,在编译器进行优化时提供了更多的可能,一般来说,final修饰类时一般是修饰public类型,但是,顶层类(全局或包可见)、嵌套类(内部类或静态嵌套类)都可以用final来修饰,private也可以使用final来修饰,但是由于类的可见性已经限制了类不会被继承,所以使用final关键字的意义并不大,所以,一般final关键字大多数修饰的是public的类。
final与匿名内部类(参考自:https://www.cnblogs.com/cciejh/p/final-in-java.html)
匿名类(Anonymous Class)虽然说同样不能被继承,但它们并没有被编译器限制成final。另外要提到的是,网上有许多地方都说因为使用内部类,会有两个地方必须需要使用 final 修饰符:
- 在内部类的方法使用到方法中定义的局部变量,则该局部变量需要添加 final 修饰符
- 在内部类的方法形参使用到外部传过来的变量,则形参需要添加 final 修饰符
原因大多是说当我们创建匿名内部类的那个方法调用运行完毕之后,因为局部变量的生命周期和方法的生命周期是一样的,当方法弹栈,这个局部变量就会消亡了,但内部类对象可能还存在。 此时就会出现一种情况,就是我们调用这个内部类对象去访问一个不存在的局部变量,就可能会出现空指针异常。而此时需要使用 final 在类加载的时候进入常量池,即使方法弹栈,常量池的常量还在,也可以继续使用,JVM 会持续维护这个引用在回调方法中的生命周期。
但是 JDK 1.8 取消了对匿名内部类引用的局部变量 final 修饰的检查
对此,theonlin专门通过实验做出了总结:其实局部内部类并不是直接调用方法传进来的参数,而是内部类将传进来的参数通过自己的构造器备份到了自己的内部,自己内部的方法调用的实际是自己的属性而不是外部类方法的参数。外部类中的方法中的变量或参数只是方法的局部变量,这些变量或参数的作用域只在这个方法内部有效,所以方法中被 final的变量的仅仅作用是表明这个变量将作为内部类构造器参数,其实final不加也可以,加了可能还会占用内存空间,影响 GC。最后结论就是,需要使用 final 去持续维护这个引用在回调方法中的生命周期这种说法应该是错误的,也没必要。
final关键字在效率上的作用主要可以总结为以下三点:
- 缓存:final配合static关键字提高了代码性能,JVM和Java应用都会缓存final变量。
- 同步:final变量或对象是只读的,可以安全的在多线程环境下进行共享,而不需要额外的同步开销。
- 内联:使用final关键字,JVM会显式地主动对方法、变量及类进行内联优化。
2. final修饰方法
在《Java编程思想》中这样介绍final关键字修饰方法:使用final方法的原因有两个。第一个原因是把方法锁定,以防任何继承类修改它的含义;第二个原因是效率。
第一个原因将方法锁定:使用final关键字修饰的方法,不可以被重载,被重写,子类中也无法修改该方法,一般如果一个类功能已经十分完善不需要在子类中进行任何修改,可以将该方法使用final关键字修饰。
第二个原因提高效率主要是对于编译器而言:在早期的Java中是这样规定的,如果说将一个方法使用final关键字修饰,则表明同意编译器将针对该方法的调用都转化为内嵌调用(内联)。如果是内嵌调用,虚拟机不再执行正常的方法调用(参数压栈,跳转到方法处执行,再调回,处理栈参数,处理返回值),而是直接将方法展开,以方法体中的实际代码替代原来的方法调用。这样就减小了开销。但是由于虚拟机的不断更新,已经可以做到自己根据实际情况来确定是否内嵌调用,只不过,如果使用了final关键字,则更加显示的提醒虚拟机进行内嵌调用。
当使用private修饰变量时会被隐形的使用final关键字修饰,同样不可以重写,所以,当变量使用private修饰时使用final的意义不大
final和abstract永远不会同时出现,因为,如果使用abstract修饰一个类时,该类变成抽象类,,抽象类必须要在子类中进行具体实现,但是final是不可以被子类继承的,这就互相矛盾了,方法也是同样的道理。
3.final修饰变量
当final关键字修饰类成员变量或局部变量时,表明该变量不可变,如果该变量是非引用变量,表明该值不可变,如果该变量是引用变量,则该变量不可以引用至其他对象,但是,可以更改引用的对象的内部状态。
当一个变量被final修饰时,必须进行初始化,否则会出现编译错误,初始化final变量时,可以在声明它时初始化final变量。这种方法是最常见的。如果在声明时未初始化,则该变量称为空final变量。
下面是初始化空final变量的两种方法。
可以在instance-initializer块 或内部构造函数中初始化空的final变量。如果您的类中有多个构造函数,则必须在所有构造函数中初始化它,否则将抛出编译时错误。
可以在静态块内初始化空的final静态变量。
final修饰的变量不可以再次更改,但是,如final修饰的是一个引用变量,虽然说这个引用变量不可以重新引用至其他的对象,但是完全可以修改引用变量的内部状态,这与final变量的重新赋值是不一样的概念,这个属性叫做final变量的非传递性。
根据以下例子:
public static void main(String[] args) {
final StringBuffer stringBuffer = new StringBuffer();
stringBuffer.append(" Hello World ");
System.out.println(stringBuffer);
stringBuffer.append(" change World ");
System.out.println(stringBuffer);
}
输出结果如下:
可以看到,引用变量可以修改内部状态,并且不会出现编译错误,但是,如果我加入代码:stringBuffer = new StringBuffer();,此时就会出现编译错误,因为这个时候,stringBuffer引用的不再是原有的对象,而是引用了一个全新的对象,相当于修改了final关键字修饰的变量,就会出现编译错误。
数组也是同样的道理,因为在Java中,数组就是对象。
在方法/构造函数/块中创建final变量时,它被称为局部final变量,并且必须在创建它的位置初始化一次。