函数式Swift6|函数式Swift6 - 不可变性的价值

本文是一个系列,是函数式Swift的读书笔记(其实是为了备忘)
1变量和引用
Swift有两种初始化变量的方法,var和let。
var声明的变量可以赋新的值。 let创建的变量不能被修改。
var x: Int = 1 let y: Int = 2x=3 //可以 y=4 //被编译器拒绝

使用 let 声明的变量被称为 不可变变量
使用 var 声明的变量则被叫做 可变变量
2 值类型和引用类型
不可变性并不只存在于变量声明中,Swift类型分为 值类型和引用类型。最经典的例子分别是结构体和类。
struct PointStruct { var x:Int var y:Int } var structPoint = PointStruct(x: 1, y: 2) var sameStructPoint = structPoint sameStructPoint.x = 3 //sameStructPoint 等于 (x: 3, y: 2)。然而 structPoint 仍然保持原始值class PointClass { var x: Int var y: Int init(x: Int, y: Int) { self.x = x self.y = y } } var classPoint = PointClass(x: 1, y: 2) var sameClassPoint = classPoint sameClassPoint.x = 3 //给 sameClassPoint.x 赋值将会修改 sameClassPoint 变量所指向的那个对象,因为类是引用类型

//当把一个值类型赋值给新的变量,或者传递给函数时,值类型总是会被复制,而引用类型并不会被复制。对引用类型的对象来说,只有对于对象的引用会被复制,而不是对象本身
结构体也提供了 mutating 方法,它们只能在被声明为 var 的结构体变量上被调用(此时结构体内的变量也需要时var)
extension PointStruct{ mutating func setStructToOrigin(){ x = 0 y = 0 } }//一个 mutating 方法只作用于单一变量,完全不影响其它变量 var myPoint = PointStruct(x: 100, y: 100) let otherPoint = myPoint myPoint.setStructToOrigin() otherPoint// PointStruct(x: 100, y: 100) myPoint// PointStruct(x: 0, y: 0)

3.结构体和类,是否可变
对于结构体类型:如果结构体内的变量使用了var, 而结构体变量使用的是let。那么结构体内的变量也不能被修改。
let struct{ var x :Int var y:Int } //此时 结构体内的x和y不能改变。

对于结构体类型:如果结构体内变量使用的是let,结构体变量使用的是var,那么结构体变量可以被修改。
var struct{ let x :Int let y:Int } //此时 结构体内的x和y不能改变。 结构体变量可以改变。

4. 讨论
面向对象的语言中,对于方法而言,由于共享实例变量而产生耦合的情况十分常见。其结果就是,修改变量的同时可能会改变类中方法的行为
引用透明函数:不依赖外部变量,也不改变外部变量。引用透明性是模块化和可重用性的重要保证。
Swift更倾向于使用let。它降低了程序的复杂性,使得编写引用透明函数更加容易。
【函数式Swift6|函数式Swift6 - 不可变性的价值】在Swift中,我们一般不会彻底避免使用可变状态。在不少情况下,函数会在其内部使用一些可变状态。比如如下例子
func sum(integers: [Int]) -> Int { var result = 0 for x in integers { result += x } return result//result是可变的。但是不会暴露给用户的接口。 }

    推荐阅读