迭代时Runtime Error：Python集合与列表差异及自定义类实现疑问

这个问题问得挺到位的，我来拆解一下：

一、Python是怎么检测集合迭代时的修改操作的？ #

核心在于**版本号（修改计数器）**的机制。Python里的集合、字典这类可变容器，内部都会维护一个隐藏的版本计数器（你可以理解成一个整数标记）：

• 当你初始化迭代器（比如用for ... in set的时候），迭代器会先记录下当前集合的版本号。
• 每次对集合执行add()、remove()这类修改结构的操作时，集合的版本号会自动加1。
• 迭代器每执行一次__next__()（也就是每次循环取元素），都会把自己记录的版本号和当前集合的版本号做对比：如果不一致，说明集合在迭代过程中被修改了，直接抛出RuntimeError。

举个实际的例子，你运行这段代码肯定会报错：

a_set = {1, 2, 3}
for num in a_set:
    a_set.add(num + 3)

而列表之所以不会触发这个错误，是因为列表的迭代器是基于索引的——它只会按顺序取0,1,2...索引对应的元素，哪怕列表长度在迭代中变了，它也只会继续往后走，不会去检查什么版本号，自然也就不会报错（当然这可能导致逻辑bug，但Python不会主动阻止）。

二、实现伪列表类，只重载__iter__够吗？ #

答案是不够。要实现类似集合的限制，你需要自己手动实现版本号的维护和检查逻辑，步骤大概是这样：

1. 在自定义类里加一个版本计数器，比如self._version，初始值为0；
2. 所有会修改列表结构的方法（比如append、insert、pop），在执行完修改后都要把self._version加1；
3. 重载__iter__方法，返回一个自定义的迭代器——这个迭代器要在初始化时记录当前的版本号；
4. 迭代器的__next__方法每次都要检查当前实例的版本号和记录的是否一致，不一致就抛出RuntimeError。

给你写个可运行的示例代码：

class RestrictedList:
    def __init__(self):
        self._data = []
        self._version = 0

    def append(self, item):
        self._data.append(item)
        self._version += 1  # 修改结构时更新版本号

    def __len__(self):
        return len(self._data)

    def __getitem__(self, idx):
        return self._data[idx]

    def __iter__(self):
        # 迭代器初始化时记录当前版本号
        current_version = self._version
        idx = 0
        while idx < len(self._data):
            # 每次迭代前检查版本号是否一致
            if self._version != current_version:
                raise RuntimeError("RestrictedList changed size during iteration")
            yield self._data[idx]
            idx += 1

测试一下：

rl = RestrictedList()
rl.append(1)
rl.append(2)
rl.append(3)

# 这段代码会触发RuntimeError
for num in rl:
    rl.append(num + 3)

如果只是单纯重载__iter__，却没有版本号的维护和检查，那append操作还是不会触发错误——毕竟你没告诉Python什么时候要检测修改。

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