根据程序上下文环境,Java关键字final有“这是无法改变的”或者“终态的”含义,它可以修饰非抽象类、非抽象类成员方法和变量。你可能出于两种理解而需要阻止改变:设计或效率。
final类不能被继承,没有子类,final类中的方法默认是final的。
final方法不能被子类的方法覆盖,但可以被继承。
final成员变量表示常量,只能被赋值一次,赋值后值不再改变。
final不能用于修饰构造方法。
注意:父类的private成员方法是不能被子类方法覆盖的,因此private类型的方法默认是final类型的。
一个永不改变的编译时常量。
一个在运行时被初始化的值,而之后无法被改变;
一个既是static又是final的域:是一段不能改变的存储空间;
final类型运用于数据:
基本数据类型(int、double、char...)运用final时,使数值恒定不变;
对象引用运用final时,final使得引用恒定不变,引用内部的数据若不是final型,可以进行修改。
数组类型运用final时,final使得数组引用恒定不变,数组内部的数据若不是final型,可以进行修改。
final与static
final指明数据为一个常量,恒定无法修改;
static指明数据只占用一份存储区域;
测试案例:
public class FinalData {
private final int valueOne = 3;
private int valueTwo = 4;
private final Value v1 = new Value(4);
private Value v2 = new Value(10);
private final int[] a = {1,2,3,4,5,6,7,8,9};
private int[] b = {1,2,3,4,5,6,7,8,9};
private static final int VAL_TWO = 3;
public static void main(String[] args) {
FinalData finalData = new FinalData();
/*-----------基本类型测试------------------------------------*/
// finalData.valueOne = 4;//valueOne是常量,无法修改
finalData.valueTwo = 14;//valueTwo不是常量,可以修改
/*-----------对象类型测试------------------------------------*/
// finalData.v1 = new Value(5);//v1对象是final型常量,其引用是无法修改的。
finalData.v2 = new Value(20);//v2对象final型常量,其引用可以修改。
finalData.v1.i = 5;//v1对象的成员变量不是final型,可以修改
/*-----------数组类型测试------------------------------------*/
// finalData.a = new int[3];//数组a是final型,无法修改a的引用
finalData.b = new int[13];//数组b不是final型,可以对其引用进行修改
for(int i=0;i<finalData.a.length;i++)
finalData.a[i]++;//数组a内部数据是int型,不是final型,可以修改
/*-----------static final类型测试------------------------------------*/
// finalData.VAL_TWO = 4;
//定义为private,只能被本类的方法调用;定义为static,则强调只有一份,且只被执行一次;定义为final,则说明它是一个常量,无法被修改。
}
}
如果一个类不允许其子类覆盖某个方法,则可以把这个方法声明为final方法。
把方法锁定,防止任何继承类修改它的意义和实现。
高效。编译器在遇到调用final方法时候会转入内嵌机制,大大提高执行效率。
测试案例:
public class FinalDemo {
public void f(){
System.out.println("FianlDemo.f()");
}
public final void g(){
System.out.println("FianlDemo.g()");
}
}
继承类
public class FinalOverriding extends FinalDemo{
public void f(){
System.out.println("FinalOverriding.f()");
}
// public void g(){//无法覆盖父类的final方法g()
// System.out.println("FinalOverriding.g()");
// }
}
final类不能被继承,因此final类的成员方法没有机会被覆盖,默认都是final的。在设计类时候,如果这个类不需要有子类,类的实现细节不允许改变,并且确信这个类不会载被扩展,那么就设计为final类。