Java Final 总结

final表示“不可变的”或“终态的”，可以用在类、方法、变量上。


用在类上：表示该类不能被继承。
final不能用来修饰抽象类。原因显而易见：final类不能被继承，而抽象类应该被继承，这是矛盾的。
同理也不能用来修饰100%抽象的接口(interface)。

用在方法上：表示该方法不能被子类重写。
final不能用来修饰抽象方法。原因显而易见：final方法不能被子类重写，而抽象方法应该被子类重写(或子类亦声明为抽象类)。

用在变量上：表示该变量只能被赋值一次(JLS Def:A final variable may only be assigned to once)。
因为只能赋值一次，所以一经赋值其值就不会再改变。
因为final变量"值不可变"，对引用类型：引用(变量)reference存储的值就是其所指向的对象实例的Heap中地址，那么该引用(变量)就始终指向同一个对象实例（注意不是该final变量指向的对象的属性不可变！）。
变量声明中不包含赋值操作的final变量称为blank final。
做了初始化的基本类型或String类型的final变量，称为constant variables。


final成员变量有默认值（default value）吗？
成员变量如未初始化是有默认值的(编译器指定)(http://wuaner.iteye.com/admin/blogs/1666376)，final成员变量也不例外。如下例:

引用

Src:http://www.coderanch.com/t/241783/java-programmer-SCJP/certification/help-blank-final-variables

public class FinalFieldsDefaultValue {

	final int someInt;
	final String someStr;
	
	{
		System.out.println(getSomeInt());
		System.out.println(getSomeStr());
	}

	int getSomeInt() {
		return someInt;
	}

	String getSomeStr() {
		return someStr;
	}

	FinalFieldsDefaultValue() {
		someInt = 2;
		someStr = "abc";
		System.out.println(someInt);
		System.out.println(someStr);
	}

	public static void main(String[] args) {
		new FinalFieldsDefaultValue();
	}  

}

Output:
0
null
2
abc

final成员变量存在默认值(说明编译器对其做了隐式的赋值操作)，而我们又可以对其做一次(只能是一次)赋值操作，这似乎与JLS中final变量的定义(A final variable may only be assigned to once)矛盾，我们只能这样认为：JLS中final变量的定义不够严格，应该加上并着重强调显式(explicitly/definitely)二字:
A final variable may only be explicitly assigned to once


final成员变量必须显式赋值
正是因为final成员变量存在默认值，所以必须对其进行显式的赋值，否则编译无法通过。我想java正是通过这样的强制方式以防止你取到final成员变量的默认值(类似int-0、reference-null这样的默认值肯定不是你想要的，不是你声明“终态”final变量的初衷)。
对final成员变量的显式赋值操作可以是：
可以在声明变量时赋值；
      类变量：还可以在静态初始化块(Static Initializers、Static Initialization Blocks)中赋值
      实例变量：
            1 还可以在实例初始化块(Instance Initializers、Instance Initialization Blocks)中赋值
            2 还可以在构造方法中赋值(每一个存在(显式或隐式)super()调用的构造方法里都要做，即位于本类构造方法调用链链尾的构造方法里都要做，参考：http://wuaner.iteye.com/blog/1669937）

引用

JLS 3rd - 8.3.1.2 final Fields http://docs.oracle.com/javase/specs/jls/se5.0/html/classes.html#8.3.1.2
It is a compile-time error if a blank final (§4.12.4) class variable is not definitely assigned (§16.8) by a static initializer (§8.7) of the class in which it is declared.（final类变量如果既未在声明时赋值，也未在静态初始化块中赋值，报编译错误）
A blank final instance variable must be definitely assigned (§16.9) at the end of every constructor (§8.8) of the class in which it is declared; otherwise a compile-time error occurs.（final实例变量如果未在声明时赋值，且在构造函数调用结束后未被显式赋值，报编译错误）

通常将final和static结合使用来实现java中的常量：
http://wuaner.iteye.com/admin/blogs/1669122


Sources:
JLS 3rd - 4.12.4 final Variables
http://docs.oracle.com/javase/specs/jls/se5.0/html/typesValues.html#4.12.4
JLS 3rd - 8.3.1.2 final Fields
http://docs.oracle.com/javase/specs/jls/se5.0/html/classes.html#8.3.1.2
JLS 3rd - 17.5 Final Field Semantics
http://docs.oracle.com/javase/specs/jls/se5.0/html/memory.html#17.5
JLS 3rd - 13.4.9 final Fields and Constants
http://docs.oracle.com/javase/specs/jls/se5.0/html/binaryComp.html#13.4.9
Java Tutorials - Writing Final Classes and Methods
http://docs.oracle.com/javase/tutorial/java/IandI/final.html