final 关键字概览
final关键字可用于声明属性、方法、参数和类,分别表示属性不可变、方法不可覆盖、参数不可变和类不可以继承。
我们来分别看看它的用法。
final关键字是一个比较简单的知识点,所以这篇文章我写的比较舒服,你看着也比较舒服。因为,很简单呀~
final 属性
被final修饰的属性不可变。这种不可变的属性,我们可以称之为“常量”。这种常量大体上有两种表现形式。先来看下面的代码:
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 1
- 2
- 3
- 4
- 5
- 6
- 7
这是最基本的final属性,在定义的时候初始化,并且在编译期值就已经确定,不能修改。
我们再来看一种:
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
这种final属性在编译期间是无法确定属性值的,只有运行的时候才可以确定(通过构造器初始化属性)。同样,属性一经初始化后就不可以改变,所以下面的test方法都无法修改final属性。
上一篇文章中,我们讲了代码块,那么能不能使用代码块来初始化final属性呢?答案当然是可以的:
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
通过构造代码块初始化final属性也是可以的,但是这样就不能再使用构造函数初始化了,因为构造代码块先于构造函数执行。而final属性只能且必须初始化一次。
你可能发现了,我写了静态代码块,但是注释掉了。没错,因为静态代码块只能初始化静态属性,我们在文章最后再讨论它。
这种不在定义时初始化,而使用构造函数初始化的,也称为空白final变量。它为final在使用上提供了更大的灵活性,为此,一个类中的final数据成员就可以实现依对象而有所不同,却有保持其恒定不变的特征。
那除了构造函数,有没有别的方式也达到编译时初始化呢?当然有,比如你使用Random来初始化:
- 1
- 1
这样你只有在运行的时候,才知道属性值是多少。
刚刚我们研究的都是基本数据类型,那么,引用数据类型呢?直接看代码:
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
注释掉的代码是会报错的代码,也就是说引用类型person是不可以被修改的。从结果可以看出来,Person对象内部的属性被改变了。
所以,对于引用类型来说,引用本身是不可以改变得,但是引用指向的对象是可以改变的。
引用存在于栈中,而对象存在于堆中。引用的值是对象在堆中的地址。在本质上,final修饰的是引用,而不是对象。所以引用的那个地址不可以变,而和对象没多大关系。
举个简单的例子,一个人是一个对象,他会穿上衣,裤子,鞋子,这些事人这个对象的属性。而人的名字是引用。当你一生下来,名字确定(引用确定),你可以随便换衣服,但是你的名字还是那个。
我就举个例子,别和我抬杠。。什么可以去改名字,重名啥的。。你理解了final引用类型这个知识就好了。
final 方法
当一个方法声明为final时,该方法不能被任何子类重写,本类可以重载,但是子类可以使用这个方法。
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
被final修饰的方法,不可以被重写。但是不影响本类的重载以及重载函数的重写。
这里有一种称为内联(inline)的机制,当调用一个被声明为final的方法时,直接将方法主体插入到调用处,而不是进行正常的方法调用(类似于c++的内联),这样有利于提高程序的效率。
但是如果方法过于庞大,可能看不到内联调用带来的任何性能提升。在最近的Java版本中,不需要使用final方法进行这些优化了。
final 参数
当一个方法的形参被final修饰的时候,这个参数在该方法内不可以被修改。
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
对于引用数据类型的修改规则同final属性一样。
final修饰参数在内部类中是非常有用的,在匿名内部类中,为了保持参数的一致性,若所在的方法的形参需要被内部类里面使用时,该形参必须为final。
这个知识会在讲解内部类的时候进行详细的讨论,感兴趣的可以先自行研究。
final修饰局部变量
final修饰局部变量时只能初始化(赋值)一次,可以不立即初始化。
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
被final修饰的局部变量,只能赋值一次。
你也可以一直不初始化,但是不不赋值,定义这个变量还有什么用呢?
final 类
被final修饰的类不可以被继承,所有方法不能被重写(废话,都不能继承了,哪来的重写)。但是这并不表示类内部的属性也是不可修改的,除非这个属性也被final修饰。这点在jdk里有很多应用,比如我们熟知的String,Integer等类都被final修饰。
final类有很多好处,譬如它们的对象是只读的,可以在多线程环境下安全的共享,不用额外的同步开销等等。
如何写一个不可变类呢?
- 将类声明为final,所以它不能被继承
- 将所有的成员声明为私有的,这样就不允许直接访问这些成员
- 对变量不要提供setter方法
- 将所有可变的成员声明为final,这样只能对它们赋值一次
- 通过构造器初始化所有成员,进行深拷贝(deep copy)
- 在getter方法中,不要直接返回对象本身,而是克隆对象,并返回对象的拷贝
详情—>丢个链接赶紧跑。
值得注意的是,一个类不可以既被abstract修饰又被final修饰。因为final类不可以被继承,而abstract类需要被继承。关于抽象类,我们会在下篇文章中详细讲解。
final 与 static
当final和static同时使用的时候,我们所熟知的“全局常量”就出现了:一个可以到处使用并且不可以改变的属性,比如我们熟知的Math.PI,Math.E。
上面我们说到了静态代码块初始化final变量的问题。
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
对于静态final变量,我们可以直接初始化,或者使用静态代码块。而不可以使用构造函数或者构造代码块。
因为static要求在编译期间就确定值,然后放入静态区。而构造函数和构造代码块发生在运行期间。所以不存在空白静态final。
final和private
类中所有的private方法都隐式的指定为final的,由于无法取用private方法,所以也就无法覆盖它,可以对private方法添加final修饰符,但并没有添加任何额外意义。
总结
关于final的重要知识点
- final关键字可以用于成员变量、本地变量、方法以及类。
- final成员变量必须在声明的时候初始化或者在构造器中初始化,否则就会报编译错误。
- 你不能够对final变量再次赋值。
- 本地变量必须在声明时赋值。
- 在匿名类中所有变量都必须是final变量。
- final方法不能被重写。
- final类不能被继承。
- 接口中声明的所有变量本身是final的。
- final和abstract这两个关键字是反相关的,final类就不可能是abstract的。
- final方法在编译阶段绑定,称为静态绑定(static binding)。
- 没有在声明时初始化final变量的称为空白final变量(blank final variable),它们必须在构造器中或者代码块中初始化。
- 将类、方法、变量声明为final能够提高性能,这样JVM就有机会进行估计,然后优化。
- 按照Java代码惯例,final变量就是常量,而且通常常量名要大写。
转载出处
本文地址:http://blog.csdn.net/qq_31655965/article/details/54800523