lincode +

Swift 函数式编程－不变性

2015-02-04

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为例，如果将一个类构造成不可变的类，需要做如下事情：

一个Java实现的不可变类的例子如下：

public final class Person {
	private final String name;
	private final List<String> interests;

    public Person(String name, List<String> interests) {
    	this.name = name;
    	this.streets = streets;
    	this.city = city;
	}

	public String getName() {
    	return name;
	}    	

	public List<String> getInterests() {
    	return Collections.unmodifiableList(interests);
	}
}

具有函数特性的多范式编程语言中，大多数会为构造不变类提供方便。比如Groovy提供了@Immutable注释来表示不可变类。

@Immutable
class Preson {
	String name
	String[] interests
}

@Immutable 提供了以下功能：

Swift实现一个不可变类的方法的例子：

struct Person {
	let name:String
	let interests:[String]
}

Swift中实现一个不可变的类的方法是：声明一个结构体（struct），并将该结构体的所有实例变量以let开头声明为不变量。在不变性这方面，枚举（enum）具有和结构体相同的特性。所以，上面例子中的结构体在合适的场景下，也可以被枚举类型替换。

值类型和引用类型

值类型在赋值和作为函数参数的时候被传递给一个函数的时候，实际上操作的是其的拷贝。Swift中有大量值类型，包括数字，字符串，数组，字典，元组，枚举和结构体等。

struct PersonStruct {
	var name:String
}

var structPerson = PersonStruct(name:"Totty")
var sameStructPerson = structPerson
sameStructPerson.name = "John"
print(structPerson.name)
print(sameStructPerson.name)

// result:
// "Totty"
// "John"

可以看到，structPerson和sameStructPerson的值不一样了。在赋值的时候，sameStructPerson的到是structPerson的拷贝。

引用类的实例 (主要是类) 可以有多个所有者。在赋值和作为函数参数的时候被传递给一个函数的时候，操作的是其引用，而并不是其拷贝。这些引用都指向同一个实例。对这些引用的操作，都将影响同一个实例。

class PersonClass {
	var name:String
}

var classPerson = PersonClass(name:"Totty")
var sameClassPerson = structPerson
sameClassPerson.name = "John"
print(classPerson.name)
print(sameClassPerson.name)

// result:
// "John"
// "John"

可以看到，sameClassPerson的改变，同样也影响到了classPerson。其实它们指向同一个实例。这种区别在作为函数参数时也是存在的。

在Swift中区分值类型和引用类型是为了让你将可变的对象和不可变的数据区分开来。Swift增强了对值类型的支持，鼓励我们使用值类型。使用值类型，函数可以自由拷贝，改变值，而不用担心产生副作用。

纯函数

不变性导致另外一个结果，就是纯函数。纯函数即没有副作用的函数，无论多少次执行，相同的输入就意味着相同的输出。一个纯函数的行为并不取决于全局变量、数据库的内容或者网络连接状态。纯代码天然就是模块化的：每个函数都是自包容的，并且都带有定义良好的接口。纯函数具有非常好的特性。它意味着理解起来更简单，更容易组合，测试起来更方便，线程安全性。

Objective-C中的不变性

Objective-C中，苹果的Foundation库提供了不少具有不变性的类：NString相对于NSMutableString，NSArray相对于NSMutableArray，以及NSURL等等。在Objective-C中，绝大多数情况下，使用不变类是缺省选择。但是，Objective－C中没有如Swift中let这样简单强制不变性的方法。

总结

不变性的好处:

不像Haskell这种纯函数式编程语言只能申明不可变量，Swift提供变量和不可变量两种申明方式。这使得程序员有选择的余地：在使用面向对象编程范式时，可以使用变量。在需要的情况下，Swift也提供不变性的支持。

点击查看评论

Blog

Opinion

Project