final数据

Final关键词

1.final数据

许多编程语言都有某种方法，来向编译器告知一块数据是恒定不变的。有时候数据的恒定不变是很有用的，比如：

（1）一个永不改变的编译期常量

（2）一个在运行时被初始化的值，而你不希望它被改变

对于编译期常量，可以在编译时执行计算式，这减轻了一些运行时的负担，在JAVA 中，这种常量必须是基本数据类型，，并且以static final标识，在这个常量定义的时候，必须对其进行赋值。

当对引用类型而不是基本数据类型运用final时，其含义有点令人迷惑。对于基本数据类型，final使数值恒定不变，而对于引用类型，final是引用恒定不变，一旦引用被初始化指向一个对象，就无法再把它改成指向另一个对象，然而，对象其本身是可以被修改的，java并未提供使对象恒定不变的途径，这一限制同样适用于数组，他也是对象。

下面是fianl域的情况，代码如下：

public class FinalData {
	private static Random rand=new Random(47);
	private String id;
	public FinalData(String id){
		this.id=id;
	}
	private final int valueOne=9;
	private static final int VALUE_ONE=99;
	public static final int VALUE_THREE=39;
	private final int i4=rand.nextInt(20);
	static final int INT_5=rand.nextInt(20);
	private Value v1=new Value(11);
	private final Value v2=new Value(22);
	private static final Value VAL_3=new Value(33);
	private final int[]a={1,2,3,4,5,6};
	public String toString(){
		return id+":"+"i4="+i4+",INT_5="+INT_5;
	}
	public static void main(String[] args) {
		FinalData fd1=new FinalData("fd1");
		//!fd1.valueOne++;//Error can't change value
		fd1.v2.i++;//对象不是常量
		fd1.v1=new Value(9);//可以，因为v1不是final
		for(int i=0;i<fd1.a.length;i++){
			fd1.a[i]++;//数组也是引用类型，不是常量
		}
		//!fd1.v2=new Value(0);//不行，因为v2是final，所以v2不能再指向另一个对象
		//!fd1.VAL_3=new Value(1);同上
		///!fd1.a=new int[3]; 数组也是引用类型，同上
		System.out.println(fd1);
		System.out.println("Creating new FinalData()");
		FinalData fd2=new FinalData("fd2");
		System.out.println(fd1);
		System.out.println(fd2);
	}

}

由于valueOne和VALUE_TWO都是带有编译时数值的final基本数据类型，所以他们二者均可以作为编译期常量。VAL_THREE是一种更加典型的对常量定义的方式，定义为public，则可以用于包之外，定义为static，则强调只有一份，定义为final，则说明它是一个常量。请注意，带有恒定初始值（即，编译期常量）的final static基本类型全部用大些字母命名，并且字与字之间用下划线隔开。

我们不能因为数据是final就认为在编译期可以知道它的值。在运行时使用随机生成的数值来初始化i4和INT_5就说明了这一点。实例部分也展示了将final数值定义为静态和非静态的区别，此区别只有在运行时被初始化才会被显现。请注意，在fd1和fd2中，i4的值是唯一的，但INT_5的值是不可以通过创建第二个FinalData对象而加以改变的，这是因为它是static的，在装载时已经被初始化，而不是在每次创建对象的时候都初始化。