关于Final关键字和不变性的深入理解
人已走
车未动
心已动
身未起
若有所思
茫然无措
如果对象在被创建后，状态就不能被修改，那么它就是不可变的。
具有不可变的对象一定是线程安全的，我们不需要对其采取任何额外的安全措施，也能保证线程安全。
Final 作用类防止被继承
方法防止被重写
变量防止被修改
天生是线程安全的，而不需要额外的同步开销
用法 修饰变量被final修饰的变量，意味着值不能被修改。如果变量是对象，那么对象的引用不能变，但是对象自身的内容依然可以变化。
属性被声明为final后，该变量则只能被赋值一次，且一旦被赋值，final的变量就不能再被修改，无论如何也不会变。
赋值时机
为什么要规定赋值时机？
如果初始化不赋值，后续赋值，就是从null变成你的赋值，这就违反了final不变的原则了。
final instance variable（类中的final属性）在声明变量的等号右边直接赋值
class Demo{
final String name="Jeck";
}
在构造函数中赋值
class Demo{
final String name;
public Demo(String name) {
this.name = name;
}
}
在类的初始代码块中赋值（不常用）
class Demo{
final String name;
{
name="Jeck";
}
}
如果不采用第一种赋值方法，那么就必须在第2，3种挑一个来赋值，而不能不赋值这是final语法所规定的。
final static variable（类中的static final属性）等号右边直接赋值
class Demo{
final static String name="Jeck";
}
static静态代码块赋值
class Demo{
final static String name;
static {
name="Jeck";
}
}
final local variable（方法中的final变量）
和前面两种不同，由于这里的变量是在方法里的，所以没有构造函数，也不存在初始化代码块。
final local variable不规定赋值时机，只要求在使用前必须赋值，这和方法中的非final变量的要求也是一样的。
而不用final修饰的方法变量在使用前也要初始化，又说明了方法变量默认使用final修饰，当多次赋值操作则变为非final变量。
原创文章 22获赞 34访问量 6491
关注
私信
展开阅读全文
作者：华龙殿
