【Java编程】Java关键字final使用详解

根据程序上下文环境，Java关键字final有“这是无法改变的”或者“终态的”含义，它可以修饰非抽象类、非抽象类成员方法和变量。你可能出于两种理解而需要阻止改变：设计或效率。

• final类不能被继承，没有子类，final类中的方法默认是final的。
• final方法不能被子类的方法覆盖，但可以被继承。
• final成员变量表示常量，只能被赋值一次，赋值后值不再改变。
• final不能用于修饰构造方法。

注意：父类的private成员方法是不能被子类方法覆盖的，因此private类型的方法默认是final类型的。

1、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，则说明它是一个常量，无法被修改。
		
	}
}

2、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()");
//	}
}

3、final类

final类不能被继承，因此final类的成员方法没有机会被覆盖，默认都是final的。在设计类时候，如果这个类不需要有子类，类的实现细节不允许改变，并且确信这个类不会载被扩展，那么就设计为final类。

4、参考：

• 《Java编程思想（美）Bruce Eckel著 陈昊鹏 译》
• Java关键字final、static使用总结