定义
一个对象的状态在对象被创建之后就不再变化,这就是不变模式
何为不再变化?
一个类的对象内部状态创建后,在对象整个生命周期都不会发生变化。
不变模式缺少改变自身状态的行为,因此它是关于行为的,属于行为模式。
两种形式
- 弱不变模式
一个类的实例状态是不可变化的,但是 这个类的子类实例具有变化的状态
2.强不变模式
一个类的实例状态是不可变化的,同时它的子类也具有不可变化的状态
(方法都是final的,类使用final修饰)
优点和缺点
优点
- 不变模式增强了对象的健壮性,更容易维护
- 不变模式允许多个对象共享某一对象,降低了并发访问时的同步化开销;
缺点
1、一旦需要修改一个不变对象的状态,就只好创建一个新的同类对象,频繁修改不变对象的环境下,造成大量不变对象被创建,造成开销。(包装类因此提供各式各样的缓存来弥补这个缺点!)
实现案例
String类以及基本数据类型的包装类
与享元模式的关系
大多数的享元对象是不变对象。享元对象要求:内蕴状态与环境无关!
问题:为何包装类和String需要被设计为不可变的???
1、String被设计为不可变,非常实用,即具有非常多的优点!(工程师的艺术品)
2、String的底层实现为private final char[],不可变的关键在于String类的底层实现,都避开了修改数组内容,且没有暴露字段。
3、实用final修饰类,目的是为了禁止继承,避免string类被继承后破坏其不可变性。
String类被设计为不可变的好处:(同不变模式的好处)
- 安全
- 有一个字符串常量池(基于不可变的特性),节省内存空间,提高效率