Immutable 详解及 React 中实践

[转载]

Shared mutable state is the root of all evil

Shared mutable state is the root of all evil（共享的可变状态是万恶之源）
-- Pete Hunt

有人说 Immutable 能够给 React 应用带来数十倍的提高，也有人说 Immutable 的引入是近期 JavaScript 中伟大的发明，由于同期 React 太火，它的光芒被掩盖了。这些至少说明 Immutable 是颇有价值的，下面咱们来一探究竟。

JavaScript 中的对象通常是可变的（Mutable），由于使用了引用赋值，新的对象简单的引用了原始对象，改变新的对象将影响到原始对象。如 foo={a: 1}; bar=foo; bar.a=2 你会发现此时 foo.a 也被改为了 2。虽然这样作能够节约内存，但当应用复杂后，这就形成了很是大的隐患，Mutable 带来的优势变得得不偿失。为了解决这个问题，通常的作法是使用 shallowCopy（浅拷贝）或 deepCopy（深拷贝）来避免被修改，但这样作形成了 CPU 和内存的浪费。

Immutable 能够很好地解决这些问题。

什么是 Immutable Data

Immutable Data 就是一旦建立，就不能再被更改的数据。对 Immutable 对象的任何修改或添加删除操做都会返回一个新的 Immutable 对象。Immutable 实现的原理是 Persistent Data Structure（持久化数据结构），也就是使用旧数据建立新数据时，要保证旧数据同时可用且不变。同时为了不 deepCopy 把全部节点都复制一遍带来的性能损耗，Immutable 使用了 Structural Sharing（结构共享），即若是对象树中一个节点发生变化，只修改这个节点和受它影响的父节点，其它节点则进行共享。请看下面动画：

333

目前流行的 Immutable 库有两个：

immutable.js

Facebook 工程师 Lee Byron 花费 3 年时间打造，与 React 同期出现，但没有被默认放到 React 工具集里（React 提供了简化的 Helper）。它内部实现了一套完整的 Persistent Data Structure，还有不少易用的数据类型。像 Collection、List、Map、Set、Record、Seq。有很是全面的map、filter、groupBy、reduce 、find函数式操做方法。同时 API 也尽可能与 Object 或 Array 相似。其中有 3 种最重要的数据结构说明一下：（Java 程序员应该最熟悉了）

• Map：键值对集合，对应于 Object，ES6 也有专门的 Map 对象
• List：有序可重复的列表，对应于 Array
• Set：无序且不可重复的列表

seamless-immutable

与 Immutable.js 学院派的风格不一样，seamless-immutable 并无实现完整的 Persistent Data Structure，而是使用 Object.defineProperty（所以只能在 IE9 及以上使用）扩展了 JavaScript 的 Array 和 Object 对象来实现，只支持 Array 和 Object 两种数据类型，API 基于与 Array 和 Object 操持不变。代码库很是小，压缩后下载只有 2K。而 Immutable.js 压缩后下载有 16K。

下面上代码来感觉一下二者的不一样：

// 原来的写法
let foo = {a: {b: 1}};
let bar = foo;
bar.a.b = 2;
console.log(foo.a.b);  // 打印 2
console.log(foo === bar);  // 打印 true

// 使用 immutable.js 后
import Immutable from 'immutable';
foo = Immutable.fromJS({a: {b: 1}});
bar = foo.setIn(['a', 'b'], 2);   // 使用 setIn 赋值
console.log(foo.getIn(['a', 'b']));  // 使用 getIn 取值，打印 1
console.log(foo === bar);  // 打印 false

// 使用 seamless-immutable.js 后
import SImmutable from 'seamless-immutable';
foo = SImmutable({a: {b: 1}})
bar = foo.merge({a: { b: 2}})   // 使用 merge 赋值
console.log(foo.a.b);  // 像原生 Object 同样取值，打印 1
console.log(foo === bar);  // 打印 false

Immutable 优势

1. Immutable 下降了 Mutable 带来的复杂度

可变（Mutable）数据耦合了 Time 和 Value 的概念，形成了数据很难被回溯。
好比下面一段代码：

function touchAndLog(touchFn) {
  let data = { key: 'value' };
  touchFn(data);
  console.log(data.key); // 猜猜会打印什么？
}

在不查看 touchFn 的代码的状况下，由于不肯定它对 data 作了什么，你是不可能知道会打印什么（这不是废话吗）。但若是 data 是 Immutable 的呢，你能够很确定的知道打印的是 value。

2. 节省内存

Immutable.js 使用了 Structure Sharing 会尽可能复用内存，甚至之前使用的对象也能够再次被复用。没有被引用的对象会被垃圾回收。

import { Map} from 'immutable';
let a = Map({
  select: 'users',
  filter: Map({ name: 'Cam' })
})
let b = a.set('select', 'people');

a === b; // false
a.get('filter') === b.get('filter'); // true

上面 a 和 b 共享了没有变化的 filter 节点。

3. Undo/Redo，Copy/Paste，甚至时间旅行这些功能作起来小菜一碟

由于每次数据都是不同的，只要把这些数据放到一个数组里储存起来，想回退到哪里就拿出对应数据便可，很容易开发出撤销重作这种功能。

后面我会提供 Flux 作 Undo 的示例。

4. 并发安全

传统的并发很是难作，由于要处理各类数据不一致问题，所以『聪明人』发明了各类锁来解决。但使用了 Immutable 以后，数据天生是不可变的，并发锁就不须要了。

然而如今并没什么卵用，由于 JavaScript 仍是单线程运行的啊。但将来可能会加入，提早解决将来的问题不也挺好吗？

5. 拥抱函数式编程

Immutable 自己就是函数式编程中的概念，纯函数式编程比面向对象更适用于前端开发。由于只要输入一致，输出必然一致，这样开发的组件更易于调试和组装。

像 ClojureScript，Elm 等函数式编程语言中的数据类型天生都是 Immutable 的，这也是为何 ClojureScript 基于 React 的框架 --- Om 性能比 React 还要好的缘由。

Immutable 缺点

1. 须要学习新的 API

No Comments

2. 增长了资源文件大小

No Comments

3. 容易与原生对象混淆

这点是咱们使用 Immutable.js 过程当中遇到最大的问题。写代码要作思惟上的转变。

虽然 Immutable.js 尽可能尝试把 API 设计的原生对象相似，有的时候仍是很难区别究竟是 Immutable 对象仍是原生对象，容易混淆操做。

Immutable 中的 Map 和 List 虽对应原生 Object 和 Array，但操做很是不一样，好比你要用 map.get('key') 而不是 map.key，array.get(0) 而不是 array[0]。另外 Immutable 每次修改都会返回新对象，也很容易忘记赋值。

当使用外部库的时候，通常须要使用原生对象，也很容易忘记转换。

下面给出一些办法来避免相似问题发生：

1. 使用 Flow 或 TypeScript 这类有静态类型检查的工具
2. 约定变量命名规则：如全部 Immutable 类型对象以 $$ 开头。
3. 使用 Immutable.fromJS 而不是 Immutable.Map 或 Immutable.List 来建立对象，这样能够避免 Immutable 和原生对象间的混用。

更多认识

Immutable.is

两个 immutable 对象可使用 === 来比较，这样是直接比较内存地址，性能最好。但即便两个对象的值是同样的，也会返回 false：
为了直接比较对象的值，immutable.js 提供了 Immutable.is 来作『值比较』，结果以下：

Immutable.is(map1, map2);  // true

Immutable.is 比较的是两个对象的 hashCode 或 valueOf（对于 JavaScript 对象）。因为 immutable 内部使用了 Trie 数据结构来存储，只要两个对象的 hashCode 相等，值就是同样的。这样的算法避免了深度遍历比较，性能很是好。

后面会使用 Immutable.is 来减小 React 重复渲染，提升性能。

另外，还有 mori、cortex 等，由于相似就再也不介绍。

与 Object.freeze、const 区别

Object.freeze 和 ES6 中新加入的 const 均可以达到防止对象被篡改的功能，但它们是 shallowCopy 的。对象层级一深就要特殊处理了。

Cursor 的概念

这个 Cursor 和数据库中的游标是彻底不一样的概念。

因为 Immutable 数据通常嵌套很是深，为了便于访问深层数据，Cursor 提供了能够直接访问这个深层数据的引用。

import Immutable from 'immutable';
import Cursor from 'immutable/contrib/cursor';

let data = Immutable.fromJS({ a: { b: { c: 1 } } });
// 让 cursor 指向 { c: 1 }
let cursor = Cursor.from(data, ['a', 'b'], newData => {
  // 当 cursor 或其子 cursor 执行 update 时调用
  console.log(newData);
});

cursor.get('c'); // 1
cursor = cursor.update('c', x => x + 1);
cursor.get('c'); // 2

DOC

doc