Swift 结构体 写时复制 - 学习Swift进阶

摘录来自: Chris Eidhof. “Swift 进阶”。

写时复制 (昂贵方式)

要实现写时复制,我们首先将 _data 标记为结构体的私有属性。我们不再直接变更 _data,而是通过一个计算属性 _dataForWriting 来访问它。这个计算属性总是会复制 _data 并将其返回:当我们调用 append 时,将会进行复制

struct MyData {
    fileprivate var _data: NSMutableData
    var _dataForWriting: NSMutableData {
        /**
         * 因为 _dataForWriting 会更改结构体 (它对 _data 属性进行了重新赋值)
         * 这个属性的 getter 需要被标记为 mutating 。
         *这意味着我们只能通过 var 的方式声明的变量来使用它。
         */
        mutating get {
            _data = _data.mutableCopy() as! NSMutableData
            return _data
        }
    }
    init(_ data: NSData) {
        self._data = data.mutableCopy() as! NSMutableData
    }
}
extension MyData {
    mutating func append(_ other: MyData) {
        /**
         *append 方法中使用了 _dataForWriting
         *所以现在 append 也需要被标记为 mutating
        */
        _dataForWriting.append(other._data as Data)
    }
}

但是每次我们调用 append 时,底层的 _data 对象都要被复制一次。因为我们没有共享 buffer 变量,所以对它进行原地变更会高效得多。

var buffer = MyData(NSData())
for _ in 0..<5 {
    buffer.append(x)
}

写时复制 (高效方式)

为了提供高效的写时复制特性,我们需要知道一个对象 (比如这里的 NSMutableData) 是否是唯一的。如果它是唯一引用,那么我们就可以直接原地修改对象。否则,我们需要在修改前创建对象的复制。

  • isKnownUniquelyReferenced

在 Swift 中,我们可以使用 isKnownUniquelyReferenced 函数来检查引用的唯一性。如果你将一个 Swift 类的实例传递给这个函数,并且没有其他变量强引用这个对象的话,函数将返回 true。如果还有其他的强引用,则返回 false。对于 Objective-C 的类,它会直接返回 false。

直接对 NSMutableData 使用这个函数的话没什么意义。我们可以创建一个简单的 Swift 类,来将任意的 Objective-C 对象封装到 Swift 对象中:

final class Box<A> {
    var unbox: A
    init(_ value: A) { self.unbox = value }
}
var x = Box(NSMutableData())
isKnownUniquelyReferenced(&x) // true
如果我们有多个引用指向相同的对象,这个函数将返回 false:
var y = x
isKnownUniquelyReferenced(&x) // false

不单单是全局变量,对于结构体中的引用,这种方法也适用。有了这个方法,我们就可以重写 MyData,在发生改变前先检查对 _data 的引用是否是唯一的。我们还添加了一个 print 语句来在调试时快速查看创建复制的频度:

struct MyData {
    fileprivate var _data: Box<NSMutableData>
    var _dataForWriting: NSMutableData {
        mutating get {
            if !isKnownUniquelyReferenced(&_data) {
                _data = Box(_data.unbox.mutableCopy() as! NSMutableData)
                print("Making a copy")
            }
            return _data.unbox
        }
    }
    init(_ data: NSData) {
        self._data = Box(data.mutableCopy() as! NSMutableData)
    }
}

在 append 方法中,我们需要对 other 的 _data 属性调用 unbox。对于追加操作中原来的值进行复制的逻辑已经被封装在了 _dataForWriting 这个计算属性中了:

extension MyData {
    /**
     *append 方法中使用了 _dataForWriting
     *所以现在 append 也需要被标记为 mutating
     */
    mutating func append(_ other: MyData) {
        _dataForWriting.append(other._data.unbox as Data)
    }
}
let someBytes = MyData(NSData(base64Encoded: "wAEP/w==", options: [])!)
var empty = MyData(NSData())
var emptyCopy = empty
for _ in 0..<5 {
empty.append(someBytes)
}
empty // <c0010fff c0010fff c0010fff c0010fff c0010fff>
emptyCopy // <>

运行代码,你会看到上面加入的调试语句只在第一次调用 append 的时候被打印了一次。在接下来的循环中,引用都是唯一的,所以也就没有进行复制操作。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • 我们知道Swift中推荐使用具有值语义的结构体,而不是具有可变性的引用语义. Swift标准库中Array结构体是...
    Zafir_zzf阅读 1,701评论 0 2
  • *面试心声:其实这些题本人都没怎么背,但是在上海 两周半 面了大约10家 收到差不多3个offer,总结起来就是把...
    Dove_iOS阅读 27,239评论 30 472
  • 水族箱内泛泛游,腹中能饱体无忧; 空涵大海惊涛浪,闲人观赏我掉头。
    末学_d05e阅读 349评论 4 4
  • 又是一年三月三,我去编织春天的梦。想那春的颜色,想那夏的温暖,想那秋的收获,想那冬的洁白。织梦的季节,谁是我的三生...
    jingmei阅读 204评论 0 0
  • 银,一个既不是人类也不是怪物的特殊存在,一旦被人类触碰,就会永久地消逝。 所以每次萤要触碰到银的时候······ ...
    Cathy赤木与森阅读 988评论 0 1