java keywords -final

第一篇从final关键字说起

 

Contents

• final基本用法
• final深入理解

 

• final基本用法

 

final：无法改变的

 

1.1 final field：

 

final field 有两种解释:

 

（1）不会改变的编译时常量：编译器可以将该常量带入带能用到它的计算式中，在编译时执行计算，可以减轻运行时负担。此时的常量必须是 final 的被赋值的基本数据类型。

（2）不希望被改变的运行时初始化值：如下面的代码

 

当在对象上使用final关键词时指的是对象的引用不可变，而对象本身的属性是可以任意修改的

 static final 的域只占一块不能被修改的存储空间--《编程思想》

 

1.2 final method：

 

final method 使用时主要基于设计的考虑，当某个方法不想被其子类覆盖时使用（比如使用模板模式）。对于private的方法，都隐式定义为final的，子类不可以使用@Override 覆盖父类中的private 或者final的方法。

 

1.3 final class：

当一个类不允许被继承时使用

 

• 深入理解

不可变对象的线程安全性

首先明确不可变对象：指所有的成员都是final并且成员要么是基本类型，要么指向另一个不可变对象，不可变对象只有一种状态，并且该状态由构造函数控制。

 

不可变对象的必要条件：

（1）对象创建后状态不能被修改

（2）对象的域是final的

（3）对象被正确创建（创建过程中this引用没有逸出）--《并发编程》

 

 

不可变对象一定是线程安全的，无需同步：

事实上final关键词可以保证对象在创建的过程中不被其他线程访问到，因为对象的域被声明为final时，在对象被初始化的时候就被赋值了。

 

来自：

http://www.javamex.com/tutorials/synchronization_final.shtml

明日再译