hit软件构造——如何保证一个immutable类型

什么是immutable？

Immutable Data 就是一旦创建，就不能再被更改的数据。对 Immutable 对象的任何修改或添加删除操作都会返回一个新的 Immutable 对象。

Immutable 实现的原理是 Persistent Data Structure（持久化数据结构），也就是使用旧数据创建新数据时，要保证旧数据同时可用且不变。同时为了避免 deepCopy 把所有节点都复制一遍带来的性能损耗，Immutable 使用了 Structural Sharing（结构共享），即如果对象树中一个节点发生变化，只修改这个节点和受它影响的父节点，其它节点则进行共享。

对于immutable是否得到保证，是我们经常碰到的问题。尤其是对于一些复杂的数据类型，比如Array等，里面有一些函数，我们不知道是否是变值器，从而对于代码的理解发生了偏差，下面我们对于Array类型中的一些mutable类型函数做出说明，防止大家当成immutable：

Array 常见的函数 push、pop、shift 等，一般都能理解它们是会修改原数组数据，是 mutable 的函数。

但是对于上述例子中的 sort 函数应该就是理解上容易产生歧义（自己之前一直以为是生成一个新的数组，写完这篇，我去搜索了整个业务代码）。同样的，容易产生歧义的函数包括：

• sort
• reverse
• fill
• splice
• delete

注意：Array 中 immutable 函数很多，以上几个函数是功能上容易误解的。

重点：在比较immutable类型的对象是否相等时候，如果直接用object继承下来的equals和hashcode，比较的是引用等价性，比较的是对象的地址。但是我们需要看的是对应的属性是否相等，所以必须覆盖equals！！！

不能仅仅重写hashcode！仅有hashcode相等的不一定是equals的！