首页 诗词 字典 板报 句子 名言 友答 励志 学校 网站地图
当前位置: 首页 > 教程频道 > 开发语言 > 编程 >

Java Final 小结

2012-12-22 
Java Final 总结final表示“不可变的”或“终态的”,可以用在类、方法、变量上。用在类上:表示该类不能被继承。fin

Java Final 总结
final表示“不可变的”或“终态的”,可以用在类、方法、变量上。


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

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

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


final成员变量有默认值(default value)吗?
成员变量如未初始化是有默认值的(编译器指定)(http://wuaner.iteye.com/admin/blogs/1666376),final成员变量也不例外。如下例: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)矛盾,我们只能这样认为:LJS中final变量的定义不够严格,应该加上并着重强调显式(explicitly/definitely)二字:
A final variable may only be explicitly assigned to once


final成员变量必须显式赋值
正是因为final成员变量存在默认值,所以必须对其进行显式的赋值,否则编译无法通过。我想java正是通过这样的强制方式以防止你取到final成员变量的默认值(类似int-0、reference-null这样的默认值肯定不是你想要的,不是你声明“终态”final变量的初衷)。
对final成员变量的显式赋值操作可以是:
可以在声明变量时赋值;
      类变量:还可以在静态初始化块(Static Initialization Blocks)中赋值
      实例变量:
            1 还可以在实例初始化块(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

热点排行