“不可变类”的理解

在《Java核心技术》4.3.11中提到final修饰符对于类型为基本类型或者不可变类的字段尤其有用，并举例String类就是不可变类。而对于可变的类，使用final修饰符可能会造成混乱。

那么，什么是不可变类呢？

不可变类是指,一旦一个类的对象被创建出来,在其整个生命周期中,它的成员变量就不能被修改.java平台的类库中包含许多不可变的类,比如说String,基本类型的包装类,BigInteger和BigDecimal.存在不可变的类有许多理由:不可变的类比可变的类更加容易设计,实现和使用.它们不容易出错,而且更加安全.

如何设计一个不可变类?

• 使类中所有的成员变量被final修饰
• 类中没有修改成员变量的方法,例如setXXX,可以提供一个带参的构造函数来初始化这些成员变量
• 确保类中的方法不会被重写.可以将类或者类中的方法定义为final的来实现
• 如果一个类的成员不是原始变量(primitive)或者不可变类,必须通过在成员初始化(in)或者get方法(out)时通过深度clone方法，来确保类的不可变

什么是原始变量？
在Java中，有两种类型的数据类型：

• 原始数据类型(Primitive)
• 非原始数据类型(Non-primitive)