Java基础（五）——final修饰符

     final关键字可用于修饰类、变量和方法，final修饰变量时，表示该变量一旦获得了初始值就不可被改变，严格的说法就是，final修饰的变量不可被改变，一旦获得了初始值，该final变量的值就不能被重新赋值。

     一、final成员变量

     成员变量是随类初始化或对象初始化而初始化的，对于final修饰的成员变量而言，一旦有了初始值，就不能被重新赋值，如果既没有在定义成员变量时指定初始值，也没有在初始化块、构造器中为成员变量指定初始值，那么这些成员变量的值将一直是系统默认分配的0、'\u000'、false或null，这些成员变量也就完全失去了存在的意义。因此Java语言规定：final修饰的成员变量必须由程序员显示地指定初始值。

     归纳起来，final修饰的类变量、实例变量能指定初始值的地方如下：

     1.类变量：必须在静态初始化块或声明该类变量时指定初始值，而且只能在这两个地方的其中之一指定。

     2.实例变量：必须在非静态初始化块、声明该实例变量或构造器中指定初始值，而且只能在三个地方中的其中之一指定。

      代码清单：

package cn.gome.c_object;

public class FinalVariableTest {
	
	//定义成员变量时指定默认值，合法
	final int a = 6;
	
	//下面的变量将在构造器或者初始化块中分配初始值
	final String string;
	final int c;
	final static double d;
	
	//既没有指定默认值，又没有在初始化块或者构造器中指定初始值，非法
	//final char ch;
	
	{
		//在初始化块中为没有指定默认值得实例变量赋值，合法
		string = "Hello";
		//a已经指定了默认值，不能重新赋值，下面语句非法
		//a = 9;
	}
	
	static{
		//在静态初始化块中为类变量指定初始值，合法
		d = 5.6;
	}
	
	public FinalVariableTest(){
		//在构造器中为类变量指定初始值，合法
		c = 7;
	}
	
	public void method(){
		//普通方法不能为final修饰的成员变量赋值
		//ch = 'a';
	}
	
}

     二、final局部变量

     系统不会对局部变量进行初始化，局部变量必须由程序员显示初始化，如果final修饰的局部变量在定义式没有指定默认值，则可以在后面代码中对该final变量赋初始值，但只能一次，不能重复赋值。

     代码清单：

public class TestFinalLocalVariable
{
	public void test(final int a)
	{
		//不能对final修饰的形参赋值，下面语句非法
		//a = 5;
	}
	public static void main(String[] args) 
	{
		//定义final局部变量时指定默认值，则str变量无法重新赋值
		final String str = "hello";
		//下面赋值语句非法
		//str = "Java";
		//定义final局部变量时没有指定默认值，则d变量可被赋值一次
		final double d;
		//第一次赋初始值，成功
		d = 5.6;
		//对final变量重复赋值，下面语句非法
		//d = 3.4;
	}
}

    三、final修饰基本类型变量和引用类型变量的区别

    当使用final修饰基本类型变量时，不能对基本类型变量重新赋值，因此基本类型变量不能被改变。但对于引用类型变量而言，它保存的仅仅是一个引用，final只保证这个引用类型变量所引用的地址不会改变，即一直引用同一个对象，但这个对象完全可以改变。

    代码清单：

class Person
{
	private int age;
	public Person(){}

	public Person(int age)
	{
		this.age = age;
	}
	public void setAge(int age)
	{
		this.age = age;
	}
	public int getAge()
	{
		 return this.age;
	}
}
public class TestFinalReference
{
	public static void main(String[] args) 
	{
		//final修饰数组变量，iArr是一个引用变量
		final int[] iArr = {5, 6, 12, 9};
		System.out.println(Arrays.toString(iArr));
		//对数组元素进行排序，合法
		Arrays.sort(iArr);
		System.out.println(Arrays.toString(iArr));
		//对数组元素赋值，合法
		iArr[2] = -8;
		System.out.println(Arrays.toString(iArr));
		//下面语句对iArr重新赋值，非法
		iArr = null;
		//final修饰Person变量，p是一个引用变量
		final Person p = new Person(45);
		//改变Person对象的age属性，合法
		p.setAge(23);
		System.out.println(p.getAge());
		//下面语句对p重新赋值，非法
		//p = null;
	}
}

    

     四、final方法

     final修饰的方法不可被重写，如果出于某些原因，不希望子类重新父类的某个方法，则可以使用final修饰该方法。

     代码清单：

public class TestFinalMethod
{
	public static void test(){}
}

class Sub extends TestFinalMethod
{
	//下面方法定义将出现编译错误，不能重写final方法
	public void test(){}
}

     对于一个private方法，因为它仅在当前类中可见，其子类无法访问该类方法，所以子类无法重写该方法，如果子类中定义了一个与父类private方法有相同方法名、相同形参列表、相同返回值类型的方法，也不是方法重写，只是新定义了一个方法。

     代码清单：

public class TestPrivateFinalMethod
{
	private final void test(){}
}
class Sub extends TestPrivateFinalMethod
{
	//下面方法定义将不会出现问题
	public void test(){}
}

    final修饰的方法仅仅是不能被重写，并不是不能被重载：

    代码清单：

public class FinalOverload
{
	public final void test(){}
	public final void test(String arg){}
}

     五、final类

     final修饰的类不可以有子类，如java.lang.Math类，就是一个final类，他不可以有子类，final修饰一个类可以保证这个类不会被继承。