4.4 数据安全
你：关于结构性分享的事情，我有些不清楚。如果我们编写代码来修改在两个版本的数据之间共享的数据部分，会发生什么情况？更改是否会影响两个版本？
乔：你能不能写一段代码来说明你的问题？
你开始在笔记本电脑上键入内容，然后就会出现清单4.4中的代码片段，它说明了你的观点。
清单4.4 修改两个版本之间共享的数据的一段代码
var member = {
"email": "joe@me.com",
"password": "secret",
"isBlocked": true
}
var updatedMember = _.set(member, "password", "hidden");
member["isBlocked"] = false;
你：我的问题是：updatedMember中isBlocked的值是什么？
乔: 答案是：禁止通过本地哈希图设置器来改变数据。所有的数据操作都必须通过不可变的函数。
警告 所有的数据操作都必须通过不可变的函数完成。严禁使用本地Hash Map setter。
你：当你说禁止时，你的意思是由developer来确保它不会发生。对吗？
乔：没错。
你：有什么办法可以保护我们的系统不受开发者的错误影响？
乔: 是的，有一种方法可以在数据结构的层面上确保数据的不可更改性。这就是所谓的持久性数据结构。
你：持久性数据结构在内存和计算方面是否也很高效？
乔: 实际上，持久性数据结构内的数据组织方式使它们比不可变的函数更有效率。
TIP 持久性数据结构在数据层面是不可改变的。没有办法改变它们（即使是错误的操作）。
你：是否有提供持久性数据结构的库？
乔：当然有。例如，我们有JavaScript中的Immutable.js，Java中的 Paguro，C#中的Immutable Collections ，Python中的Pyrsistent，Ruby中的Hamster
您：那么为什么不使用持久数据结构而不是不可变函数呢？
乔：持久数据结构的缺点是它们不是本机的，这意味着使用它们需要从本机到持久以及从持久到本机的转换。
你：那你推荐哪种方式呢？
乔：如果你想玩一玩，那就从不可变函数开始吧。但是对于生产应用程序，我建议使用持久数据结构。
你：所以糟糕的原生数据结构不是持久的！
乔：这是我喜欢Clojure的原因之一：该语言的原生数据结构是不变的！
4.5 突变的提交阶段
到目前为止，我们已经了解了如何实现变异的计算阶段。计算阶段是无状态的，因为它不会对系统进行任何更改。现在，我们将了解如何在提交阶段更新系统状态。
再看一下清单4.5中Library.addMember()的代码，您会发现一些问题：该函数返回库的一个新状态，其中包含一个额外的成员，但它不影响库的当前状态！
清单4.5 变异的计算阶段不会对系统进行任何更改
Library.addMember = function(library, member) {
var currentUserManagement = _.get(library, "userManagement");
var nextUserManagement = UserManagement.addMember(currentUserManagement, member);
var nextLibrary = _.set(library, "userManagement", nextUserManagement);
return nextLibrary;
};
你：我看到Library.addMember()没有改变库的状态。那么，库状态是如何更新的呢？
乔：这是个很好的问题。AddMember()只处理数据计算，并且是无状态的。在提交阶段，通过向前移动系统状态引用的状态版本来更新状态。
你：什么意思？
乔：这是我们向系统添加会员时会发生的情况。计算阶段创建具有两个会员的状态版本。在提交阶段之前，系统状态是指具有一个会员的状态版本。提交阶段的职责是将系统状态向前移动，以便它引用具有两个会员的状态版本。
TIP 提交阶段的职责是将系统状态前进到计算阶段返回的状态版本。
你：就代码而言，它看起来怎么样？
乔：代码由两个类组成：System，一个实现突变的单例有状态类。SystemState管理系统状态的单个有状态类。
你：在我看来，这听起来像是典型的面向对象。
乔：对。系统的这一部分是有状态的，非常类似于OO。
你：我很高兴看到你仍然在OO中发现了一些有用的东西。
乔：冥想教会了我，我们宇宙的每一块都有自己要扮演的角色。
你：好极了！你能给我看一些代码吗？
乔：当然可以。让我们从System类开始：清单4.6显示了addMember突变的实现。
清单4.6 系统类
class System {
addMember(member) {
var previous = SystemState.get();
var next = Library.addMember(previous, member);
SystemState.commit(previous, next);
}
}
你：SystemState是什么样子的？
乔：清单4.7显示了SystemState类的代码：它是一个有状态类！
清单4.7 SystemState类
class SystemState {
systemState;
get() {
return this.systemState;
}
commit(previous, next) {
this.systemState = next;
}
}
你：我不明白SystemState的意思。这是一个具有getter和Commit函数的简单类！
乔：稍后，我们将丰富SystemState.Commit()方法的代码，以便它提供数据验证和历史跟踪。目前，需要注意的重要一点是，计算阶段的代码是无状态的，并且它与提交阶段的有状态代码是分离的。
TIP 计算阶段是无状态的。提交阶段是有状态的。