本文是一个系列,是函数式Swift的读书笔记(其实是为了备忘)
1变量和引用
Swift有两种初始化变量的方法,var和let。
var声明的变量可以赋新的值。 let创建的变量不能被修改。
var x: Int = 1
let y: Int = 2
x=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。它降低了程序的复杂性,使得编写引用透明函数更加容易。
在Swift中,我们一般不会彻底避免使用可变状态。在不少情况下,函数会在其内部使用一些可变状态。比如如下例子
func sum(integers: [Int]) -> Int {
var result = 0
for x in integers {
result += x
}
return result //result是可变的。但是不会暴露给用户的接口。
}