java关键字之final

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

final成员变量表示常量，只能被赋值一次，赋值后值不再改变。

final不能用于修饰构造方法。

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

1、final变量（常量）

用final修饰的成员变量表示常量，值一旦给定就无法改变！因而java与法规定：final修饰的成员变量必须由程序员显式地指定初始值。

final修饰的变量可以是类变量，也可以是实例变量

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

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

我们先看一个程序，这个程序详细示范了final修饰成员变量的各种情况：

package jav; 

public class Sum { 
	//定义成员变量时指定默认值，合法
	final int a = 6;
	//下面变量将在构造器或初始化块中分配初始值
	
	final String str;
	final int c;
	final static double d;
	
	//既没有指定默认值，又没有在初始化块、构造器中指定初始值
	//下面定义的ch实例变量是不合法的
	//final char ch;
	
	//初始化块，可对没有指定默认值的实例变量指定初始值
	{
		//在初始化块中为实例变量指定初始值，合法
		str = "Hello";
		//定义a实例变量时已经指定了默认值，不能再被赋值，下面语句非法
		//a=9;
	}
	
	//静态初始化块，可对没有指定默认值的类变量指定初始值
	static
	{
		//在静态初始化块中为类变量指定初始值，合法
		d=5.6;
	}
	
	//构造器，可对既没有指定默认值，有没有在初始化块中指定初始值的实例变量指定初始值
	public FinalVarlableTest()
	{
		//下面语句合法
		c=5;
	}
	
	public void changFinal(final int e)
	{
		//普通方法不能为final修饰的成员变量赋值，下面语句非法
		//d=1.2;
		//不能对final修饰的形参赋值，下面语句非法
		//e=8;
	}
	
	public static void main(String[] args) {
		
	}
}

从上面的例子中可以看出，一旦给final变量初值后，值就不能再改变了。

另外，final变量定义的时候，可以先声明，而不给初值，这中变量也称为final空白，无论什么情况，编译器都确保空白final在使用之前必须被初始化。但是，final空白在final关键字final的使用上提供了更大的灵活性，为此，一个类中的final数据成员就可以实现依对象而有所不同，却有保持其恒定不变的特征。当函数参数为final类型时，你可以读取使用该参数，但是无法改变该参数的值。

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

例如：

final int[] iArr = {5,9,12};
//对数组元素操作，合法
iArr[1] = 4;
//对iArr重新赋值，非法
//iArr = null； 

2、final方法

如果一个类不允许其子类覆盖某个方法，则可以把这个方法声明为final方法。

使用final方法的原因有二：

• 第一、把方法锁定，防止任何继承类修改它的意义和实现。
• 第二、高效。编译器在遇到调用final方法时候会转入内嵌机制，大大提高执行效率。

例如：

public class Test1 {

	public void f1() {
		System.out.println("f1");
	}

	// 无法被子类覆盖的方法
	public final void f2() {
		System.out.println("f2");
	}

	public void f3() {
		System.out.println("f3");
	}

	private void f4() {
		System.out.println("f4");
	}
}

public class Test2 extends Test1 {

	public void f1() {
		System.out.println("子类覆盖父类方法f1!");
	}

	//public void f2(){}//这段代码将会报错
	public static void main(String[] args) {
		Test2 t = new Test2();
		t.f1();
		t.f2(); // 调用从父类继承过来的final方法
		t.f3(); // 调用从父类继承过来的方法
		//t.f4(); //调用失败，无法从父类继承获得
	}
}

3、final类

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

public fianl class FinalClass{}
//下面类定义将会出现编译错误
class Sub extends FinalClass{}

总结一下Java中关键字final的作用

对于final修饰的变量或者类，方法来说：

修饰类的时候，该类不能被继承，final类中的所有成员方法都会被隐式指定为final方法

修饰方法，第一：把方法锁定，防止继承类修改它的含义，第二：效率。

类中private方法会隐式的指定为final方法

修饰变量：如果是基本数据类型的变量，则数值一旦初始化后不能更改，如果是引用类型的变量，初始化之后便不能再让其指向另一个对象。

类的final变量和普通变量的区别：

当final作用于类的成员变量时，成员变量必须在定义时或者构造器中进行初始化赋值，而且final初始化后就不能在被赋值。

被final定义的基本数据类型或者string类型时，编译器会在编译中认识它，不会等到运行时，普通变量会在运行时通过链接访问。（必须是编译器确切知道final变量值的情况下）。

被final修饰的引用变量指向的对象内容可以变化。但是不能指向其他对象。指向的对象的内容可以改变。

static作用于成员变量用来表示只保存一份副本，而final的作用是用来保证变量不可变