Swift Talk:理解值类型

我们使用写时复制 copy on write 的思想,对 NSMutableData 进行封装,以此来理解我们的标准库的实现方式。

标准库中提供的所有的基本集合类型都是值类型,通过写时复制的思想保证了他的高效性。集合类型是我们比较常用到的数据类型,所以了解他的性能特性很重要,我们来一起看一下写时复制是如何工作的,并且尝试自己手动实现一个。

引用类型

举个例子,我们比较一下Swift的Data(结构体)和Foundation库中的NSMutableData(类)。首先我们使用一些字节数据来初始化 NSMutableData 实例。

var sampleBytes: [UInt8] = [0x0b,0xad,0xf0,0x0d]
let nsData = NSMutableData(bytes: sampleBytes, length: sampleBytes.count)

我们使用了 let 来声明 nsData,但是像 NSMutableData 这样的引用类型不收let/var 的控制。对于引用类型来说,用 let 声明代表 nsData 这个指针不能在指向别的内存,但是他指向的这个内存中的数据是可以变化的。也就是说我们依然可以往 nsData 中 append 数据。

nsData.append(sampleBytes, length: sampleBytes.count)

当我们再声明一个对象,改变其中一个对象,另一个对象也会发生变化。

let nsOtherData = nsData
nsData.append(sampleBytes, length: sampleBytes.count)
// nsOtherData 也会变

如果我们想产生一个独立的副本,我们需要使用 mutableCopy(返回一个 Any 类型),我们需要把返回值强转成我们需要的 NSMutableData 类型。

let nsOtherData = nsData.mutableCopy() as! NSMutableData
nsData.append(sampleBytes, length: sampleBytes.count)
// nsOtherData 不变

值类型

首先我们也是通过 sampleBytes 来初始化一个 Data。

let data = Data(bytes: sampleBytes, count: sampleBytes.count)

如果我们使用 let 关键字,那编译器就不会允许我们调用类型 append 这样的方法。所以如果要改变 data 的值,要使用 var 。

var data = Data(bytes: sampleBytes, count: sampleBytes.count)
data.append(contentsOf: sampleBytes)

Data 和 NSData 最主要的不同之处是:把值赋给另一个变量时或者作为参数传到方法中,Data 总是会生成一个新的副本,但是 NSData 只会生成一个新的引用,但是两个引用指向同一个内存区域。

当我们创建 Data 的一个副本的时候,他的所有的字段都会被复制,但是又不是立刻复制,因为 Data 内存有对实际内存空间的引用,所以当结构体被复制时,也只是会生成一个新的引用,只有我们对这个新的引用修改数据是,实际的数据才会被复制。

实现写时复制

我们自己实现一个 Data 类型来帮我们理解写时复制是如何工作的,我们内部使用 NSMutableData 来实际的存储数据(只是为了更快的完成,实际的Data 内部肯定是用到更底层的数据结构来存储数据)。改变数据的方法我们只实现一个 append 方法。

struct MyData {
    var data = NSMutableData()
    
    func append(_ bytes: [UInt8]) {
        data.append(bytes, length: bytes.count)
    }
}

我们可以创建一个 MyData

let data = MyData()

为了能更好的打印出 data 中存储的数据,我们可以让 MyData 实现 CustomDebugStringConvertible 协议。

extension MyData: CustomDebugStringConvertible {
    var debugDescription: String {
        return String(describing: data)
    }
}

现在我们可以调用 append 方法了。

data.append(sampleBytes)

但这是有问题的,首先我们的MyData是结构体,而且创建 data 使用的是let,我们不应该可以修改他的值。

而且看下面的代码,他的复制行为也是有问题的,在我们声明了一个新的引用是,并没有获得一个完全独立的副本。

var copy = data
copy.append(sampleBytes)

print(data)
print(copy)
// copy 调用 append, data 也会改变

所以说我们虽然创建了一个结构体,但是他并没有表现出值语义来。

目前,我们在把 data 赋给一个新的变量时,虽然他是所有字段都复制,但是我们MyData内部的 data 是一个 NSMutableData 引用类型,所以说 data 和 copy 这两个变量的值现在都包含对同一个 NSMutableData 实例的引用。

为了解决这个问题,我们要先处理写时复制的’写时‘问题。当我们在调用 append 方法添加数据时,我们要把内部进行实际存储功能的data进行深拷贝,此时 我们的 append 方法就必须加上 mutating 关键字,要不然编译器不允许修改结构体的变量。

struct MyData {
    var data = NSMutableData()
    
    mutating func append(_ bytes: [UInt8]) {
        print("make a copy")
        data = data.mutableCopy() as! NSMutableData
        data.append(bytes, length: bytes.count)
    }
}

现在我们要重新生成一个 var 类型的 data 来调用 append 方法,因为编译器不允许let 类型的调用带 mutating 关键字的方法。

var data = MyData()
var copy = data
copy.append(sampleBytes)

在我们继续之前,进行一个小的重构,并将生成 NSMutableData 实例副本的代码提取到一个单独的属性中。

struct MyData {
    var data = NSMutableData()
    var dataForWriting: NSMutableData {
        mutating get {
            print("make a copy")
            data = data.mutableCopy() as! NSMutableData
            return data
        }
    }
    
    mutating func append(_ bytes: [UInt8]) {
        dataForWriting.append(bytes, length: bytes.count)
    }
}

让写时复制更高效

目前我们的写时复制是非常简单的,就是每次当我们调用 append 的时候,都会拷贝,不管我们是不是这个实例的唯一持有者。

for _ in 0..<10 {
    data.append(sampleBytes)
}
// making a copy 会打印10次

其实真正需要执行复制操作的是当我们把data赋值给另一个变量后,这时调用append 方法,因为此时有两个引用,所以需要进行深拷贝。当拷贝结束后,这两个都是引用指向的都是完全独立的备份了,所以再一次调用时就不需要拷贝了。

所以说我们的MyData结构没有问题,但是多次拷贝会降低性能。我们可以使用 isKnownUniquelyReferenced 这个方法来帮助我们实现想要的效果。

var dataForWriting: NSMutableData {
    mutating get {
        if isKnownUniquelyReferenced(&data) {
            return data
        }
        print("make a copy")
        data = data.mutableCopy() as! NSMutableData
        return data
    }
}

虽然我们现在加上了 isKnownUniquelyReferenced 检查,但是运行一下测试代码还是会copy多次,那是因为 isKnownUniquelyReferenced 方法只是对Swift类型有效果,如果是传入的OC类型的对象,总是会返回false,所以我们应该使用一个Swift类型来包装一下这个data类型。

final class Box<A> {
    let unbox: A
    init(_ value: A) {
        self.unbox = value
    }
}

我们使用这个Box类来包装 NSMutableData , 最终我们的MyData 变成下面这样子

struct MyData {
    var data = Box(NSMutableData())
    var dataForWriting: NSMutableData {
        mutating get {
            if isKnownUniquelyReferenced(&data) {
                return data.unbox
            }
            print("make a copy")
            data = Box(data.unbox.mutableCopy() as! NSMutableData)
            return data.unbox
        }
    }
    
    mutating func append(_ bytes: [UInt8]) {
        dataForWriting.append(bytes, length: bytes.count)
    }
}

现在我们的代码只对 NSMutableData 实例copy一次。

var data = MyData()
var copy = data
for _ in 0..<10 {
    data.append(sampleBytes)
}
// Prints:
// making a copy 一次

标准库中数组和字典的实现方式其实也是类似的,只是他们用了更低级的数据结构来存储,我们这样手动实现一次写时复制,有助于我们更好理解他们内部的性能。

写时复制注意点

写时复制很高效,但是他不是适应于所有的场景,比如说我们上面的for循环是可以的,但是如果我们使用reduce来实现上面的循环,他就不起作用了。

(0..<10).reduce(data) { result, _ in
    var copy = result
    copy.append(sampleBytes)
    return copy
}

这个实现方式会生成 10 个副本,因为当我们调用 append 时,总是有两个变量——copy 和 result——引用指向同一个实例。

所以我们应该注意我们代码中那些产品大量不必要副本的地方,不过我们一般都不会这么写,所以说问题不大。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 218,122评论 6 505
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 93,070评论 3 395
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 164,491评论 0 354
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,636评论 1 293
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,676评论 6 392
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,541评论 1 305
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,292评论 3 418
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 39,211评论 0 276
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,655评论 1 314
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,846评论 3 336
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,965评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,684评论 5 347
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,295评论 3 329
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,894评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 33,012评论 1 269
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 48,126评论 3 370
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,914评论 2 355

推荐阅读更多精彩内容