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

本文是一个系列,是函数式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是可变的。但是不会暴露给用户的接口。
}

你可能感兴趣的:(函数式Swift6 - 不可变性的价值)