一尘不染

使用forEach在迭代过程中从集合中删除元素

swift

最近,我编写此代码时并没有考虑太多:

myObject.myCollection.forEach { myObject.removeItem($0) }

其中myObject.removeItem(_),将删除该项目myObject.myCollection

现在看一下代码,我对为什么它甚至起作用感到困惑-我是否不应该得到类似的例外Collection was mutated while being enumerated?当使用常规的for-in循环时,甚至可以使用相同的代码!

这是预期的行为吗?还是我很幸运,它没有崩溃?


阅读 216

收藏
2020-07-07

共1个答案

一尘不染

这确实是预期的行为–这是由于ArraySwift(以及标准库中的许多其他集合)是一种具有写时复制语义的值类型的事实。这意味着其基础缓冲区(间接存储)将在发生突变时被
复制 (并且,为优化起见,仅当未唯一引用时)。

当您使用SequenceforEach(_:)或)标准for in循环迭代(例如数组)时,将根据序列的makeIterator()方法创建迭代器,并next()反复应用其方法以顺序生成元素。

您可以考虑遍历序列,如下所示:

let sequence = [1, 2, 3, 4]
var iterator = sequence.makeIterator()

// `next()` will return the next element, or `nil` if
//  it has reached the end sequence.
while let element = iterator.next() { 
    // do something with the element
}

在使用的情况下Array,将an
IndexingIterator用作其迭代器–通过简单地
将该集合 与迭代的当前索引一起 存储,
即可遍历给定集合的元素。每次next()调用时,基集合都使用索引下标,然后递增索引,直到达到为止endIndex(您可以在此处看到其确切的实现)。

因此,当您要在循环中更改数组时,其底层缓冲区 不会被
唯一引用,因为迭代器也可以对其进行查看。这将强制复制缓冲区,myCollection然后使用该缓冲区。

因此,现在有两个数组–一个正在迭代的数组,另一个是您正在变异的数组。只要myCollection的缓冲区保持唯一引用,循环中的任何其他突变都不会触发另一个副本。

因此,这意味着在枚举值时对具有值语义的集合进行变异是绝对安全的。枚举将遍历整个集合–完全独立于您所做的任何突变,因为它们将在副本上完成。

2020-07-07