Apple所指的Swift序列「破坏性行为」具体是什么含义？

一、什么是序列的「破坏性行为」 #

Swift官方文档并未对序列的「破坏性行为」给出明确定义，但从实际实现和社区共识来看，它指的是：当序列的迭代器依赖修改序列自身的内部状态来生成下一个元素时，对序列进行多次遍历会导致后续遍历无法正常获取元素的现象。

以文档中的Countdown倒计时序列为例：

• 该序列的next()方法被标记为mutating，每次调用会递减内部的startId属性；
• 第一次用for-in或while let遍历序列时，startId会从初始值（比如3）一直递减到终止条件（比如-1），此时序列的内部状态已被修改为「耗尽」状态；
• 第二次再遍历该序列实例时，startId已经处于终止值，next()直接返回nil，不会产生任何元素——这就是「破坏性」的直观表现：第一次遍历永久改变了序列的初始状态，导致后续遍历失效。

二、开发者应持有的预期 #

1. 默认只保证单次遍历有效：除非序列类型明确遵循Collection协议（Collection要求迭代器不修改原集合状态，支持多次遍历），否则所有自定义或系统提供的普通序列，开发者都应该默认只对其进行单次遍历。
2. 需要多次遍历则重新创建实例：如果需要对同一个逻辑序列进行多次遍历，应该每次遍历前重新初始化序列实例，而不是复用已遍历过的实例。
3. 自定义序列时明确行为：实现自定义序列时，如果希望支持多次遍历，需要确保迭代器不修改原序列的内部状态（比如在makeIterator()方法中返回一个持有独立状态的迭代器实例，而非直接修改序列本身）。

三、关于「有限性」与「可破坏性」的分离讨论 #

Swift社区论坛中曾有讨论提出，应该将序列的「有限性」（元素数量是否有限）和「可破坏性」（是否支持多次遍历）两个概念分离：

• 有限序列不一定是破坏性的：比如[1,2,3]这样的数组（属于Collection）是有限序列，但支持无限次重复遍历；
• 破坏性序列也不一定是有限的：某些自定义无限序列如果依赖修改自身状态生成元素，也会出现第一次遍历后无法再次使用的情况。
  不过目前该讨论并未落地为官方定义，仍属于社区探索的方向。

内容的提问来源于stack exchange，提问作者Asaad Jaber