Swift函数式编程 不变性.pdfVIP

Swift函数式编程 不变性 Swift函数式编程－不变性 Swift⽀持函数式编程，这⼀篇介绍不变性 （immutable ）。 不变性 不变性是函数式编程的基础。 先讨论⼀下Haskell这类纯函数式语⾔。 单⽽⾔，Haskell没有变量。这是因为， Haskell追求更⾼级别的抽象，⽽变量其实是对⼀类低级计算机硬件：存储器空间 （寄 存器，内存）的抽象。变量存在的原因，可以视为计算机语⾔进化的遗迹，⽐如在初 期直接操作硬件的汇编语⾔中，需要变量来使⽤操作存储过程。⽽在计算机出现之 前，解决数学计算问题都是围绕构建数学函数。数学中，不存在计算机语⾔中这种需 要重复赋值的变量。 ⽽Haskell则基于更抽象的数学模型。使⽤Haskell编程只需专注于设计数据之间的映射 关系。⽽在数学上，表⽰两个数据之间映射关系的实体就是函数。这使得编写Haskell 代码和设计数学函数的过程是⼀致的，Haskell程序员的思路也更接近数学的本质。 Haskell摒弃了变量的同时，也抛弃了循环控制。这是因为没有变量，也就没有了控制 循环位置的循环变量。这也很好理解。回忆⼀下我们在学习计算机之前的数学课程 中，也⽆需使⽤到for这类概念。我们还是使⽤函数处理⼀个序列到另外⼀个序列的转 换。 Swift提供了⼀定程度的不变性。在Swift 中，被声明为不变的对象在完成对其初始构造 之后就不可改变。换句话说，构造器是唯⼀个可以改变对象状态的地⽅。如果你想改 变⼀个对象的值，只能使⽤修改后的值来创建新的对象。 不变性是为了减少或者消灭状态。⾯向对象编程语⾔中，状态是计算的基础信息。如 何可控地修改状态，Java ，Ruby等编程语⾔都给出了⼤量的语⾔机制，⽐如，可见性 分级。但是，由于⼤量可变状态的存在，使⽤⾯向对象编程语⾔在编写⾼并发，多线 程代码时会有很多困难。因为，你⽆法知道并⾏进⾏的诸多状态读写中是否有顺序上 的错误。⽽且这种错误又是难以察觉的。⽽不变性解决了这个问题。不变性意味函数 没有副作⽤，⽆论多少次执⾏，相同的输⼊就意味着相同的输出。那么，多线程环境 中就没有了烦⼈的同步机制。所有线程都可以⽆所顾忌的执⾏同⼀个函数的代码。 ⽽在Java这类⾯向对象编程语⾔中，变量⽤于表⽰对象本⾝的状态。Swift作为⽀持多 种范型的编程语⾔，即⽀持变量，也⽀持⽅便地申明不变量。 变量和不变量 Java 中，声明不变量： #变量 private string mutable; #不变量 private final String immutable; Scala 中，声明不变量： #变量 var mutable #不变量 val immutable = 1 Swift 中声明变量和不变量： #变量 var mutable #不变量 let immutable ＝ 1 Swift 中声明了不变量，就必须在声明时同时初始化，或者在构造器中初始化。这两个 地⽅之外，就⽆法再改变不变量了。Swift区分var和let不仅仅是为了区分变量和不 变量，同时也是为了使⽤编译器来强制这种区分。声明不变量是受到⿎励的。因为， 使⽤不变量更容易写出，容易理解，容易测试，松耦合的代码。 不可变类 由于不可变性具有例如线程安全性这类天⽣优势，在编写⾯向对象语⾔时，我们也会 有使⽤到不变对象的场景。但由于编程范式不同的原因，在⾯向对象语⾔中构造不可 变类是⼀件⾮常⿇烦的事情。 以Java为例，如果将⼀个类构造成不可变的类，需要做如下事情： 将类声明为final 。这样就不能继承该类。⽆法继承该类，就⽆法重写它的⽅法 的⾏为。Java 中的String 类就使⽤了这种策略。 所有的实例变量都声明为final 。这样，你就必须在申明时初始化它，或者在构 造器中初始化它们。在其他地⽅，你都将⽆法改变声明为final的实例变量。 提供合适的构造过程。对于不可变类，构造器是唯⼀可以初始化它的地⽅。所 以，提供⼀个合适的构造器是实⽤不可变类的必要条件。 除构造器之外不提供任何可以改变状态的⽅法。实例变量被声明为final ，其实 就已经⽆法改变它们了。但是，仍然可以改变它们所指向的内容。因此，在 getter ⽅法中考虑防御⽅法：不直接返回内容的引⽤，⽽是返回复制内容的引 ⽤。 ⼀个Java实现的不可变类的例⼦如下： public final class Perso