免费编程软件「pythonpycharm」链接https://pan.quark.cn/s/48a86be2fdc0一个让我在线上环境翻车的Bug去年双十一前夕我们有个订单统计系统需要在遍历订单字典时根据某些规则重新整理订单数据。代码大概是这样的orders { A001: {status: paid, amount: 299}, A002: {status: unpaid, amount: 150}, A003: {status: paid, amount: 399}, } # 把状态为paid的订单统一改个编号前缀 for key in orders.keys(): if orders[key][status] paid: new_key fPAID_{key} orders[new_key] orders.pop(key)运行时直接报错RuntimeError: dictionary changed size during iteration我当时就卡住了为什么不能改我只是修改键名而已又没有增加或减少元素数量。改完一个删一个字典大小保持不变为什么不让遍历继续后来我仔细研究了Python字典的底层实现才明白为什么会有这个限制。今天把这些理解讲清楚顺便聊聊那些变通方案背后的隐患。第一步先搞清楚错误是怎么触发的这个错误不仅仅是Python不准你这样做那么简单。它背后有个重要的设计考量字典在迭代过程中需要保持内部结构的一致性。先看几个会触发错误的典型操作d {a: 1, b: 2, c: 3} # 操作1直接遍历并删除 for key in d: if key b: del d[key] # RuntimeError # 操作2用keys()遍历并删除 for key in d.keys(): if key b: del d[key] # RuntimeError # 操作3遍历时新增键 for key in list(d.keys()): d[f{key}_new] d[key] # RuntimeError # 操作4遍历时修改键名先增后删 for key in d.keys(): new_key fnew_{key} d[new_key] d.pop(key) # RuntimeError以上四种操作Python都会禁止。但有一个例外在遍历时修改现有键的值是允许的。for key in d: d[key] d[key] * 2 # 可以值变了但键和大小都没变为什么改值可以改键增删就不行因为改值不改变字典的结构哈希表的大小和排列而增删键会触发字典的重新哈希或表变化导致迭代器失效。第二步字典的底层结构——一张不断扩大的桌子要理解为什么不能一边遍历一边改得先了解Python字典的底层实现。Python字典本质上是一张哈希表。你可以想象成一个大桌子桌子上有N个位置槽位每个键通过哈希算法算出一个数字然后放到对应的槽位上。当字典里的元素太多桌子上的位置不够用时字典会扩容——换一张更大的桌子把所有元素重新放一遍这个操作叫rehash。这就带来两个问题迭代过程中如果扩容了迭代器正在遍历旧桌子但字典已经换成了新桌子迭代器就找不到原来的位置了。即使不扩容删除一个键会让某个槽位变成空洞迭代器的内部指针可能指向一个空槽导致遗漏或重复。为了安全和简单Python设计者决定一旦字典在迭代期间发生变化增删键直接抛出异常。第三步三个合法但各有利弊的绕坑方案既然不能直接改那怎么达到修改键的目的呢有三种常见方案各有优缺点。方案1把键复制成列表这是最简单、最直观的做法。orders { A001: {status: paid, amount: 299}, A002: {status: unpaid, amount: 150}, A003: {status: paid, amount: 399}, } for key in list(orders.keys()): # 复制一份键列表 if orders[key][status] paid: new_key fPAID_{key} orders[new_key] orders.pop(key) print(orders) # {A002: {status: unpaid, amount: 150}, PAID_A001: {status: paid, amount: 299}, PAID_A003: {status: paid, amount: 399}}list(orders.keys())会生成一个独立的列表包含字典当前所有的键。迭代的是这个列表而不是字典本身所以字典在迭代过程中怎么改都没事。优点简单、安全、代码可读性好。缺点需要复制一份键列表如果字典很大百万级键复制会占用额外内存和时间。方案2创建新字典不修改原字典而是构造一个新字典。orders { A001: {status: paid, amount: 299}, A002: {status: unpaid, amount: 150}, A003: {status: paid, amount: 399}, } new_orders {} for key, value in orders.items(): if value[status] paid: new_key fPAID_{key} else: new_key key new_orders[new_key] value orders new_orders print(orders)优点没有修改原字典更安全适合函数式编程风格。缺点同样需要额外内存而且如果字典很大复制开销不小。方案3使用collections.OrderedDict或遍历顺序控制Python 3.7天然有序在Python 3.7字典天然有序。如果你利用这个特性配合方案2可以保证新字典的顺序符合预期。但不要尝试在迭代时使用for key in d:再加del或新增无论版本多少都报错。第四步更深层的坑——修改值也会牵连键吗d {a: 1} for key in d: d[key] d[key] 1 # 改值安全改值安全是因为没有触发表结构变化。但有一种情况要小心如果值是可变对象修改它不会触发表结构变化但可能影响后续逻辑。d {a: [1, 2, 3]} for key in d: d[key].append(4) # 列表内容变了但字典结构没变安全第五步实战——过滤字典中不符合条件的键一个常见的需求删除字典中所有值小于5的键。# 错误写法 d {a: 1, b: 2, c: 3, d: 4} for key in d: if d[key] 5: del d[key] # RuntimeError正确写法# 方法1复制键列表 for key in list(d.keys()): if d[key] 5: del d[key] # 方法2字典推导式 d {key: value for key, value in d.items() if value 5}第六步两种错误的偷懒写法及其后果错误1在循环中用.pop()删除并判断d {a: 1, b: 2, c: 3} for key in d: if d[key] % 2 0: del d[key] # RuntimeError错误2在循环中用新的键覆盖旧键d {A: 1, B: 2} for key in d: if key A: d[A_new] d.pop(A) # RuntimeError这两种都会触发报错而且很难通过日志定位。第七步利用while循环配合popitem别试有些人想到用while d:加popitem()处理d {a: 1, b: 2} while d: key, value d.popitem() # 处理...这样虽然不会报错但popitem()会随机弹出键值对实际上按后进先出顺序你很难控制处理顺序。一张表总结操作是否安全原因遍历时修改键的值✅ 安全不改变表结构遍历时修改可变值的内容✅ 安全不改变表结构遍历时删除键❌ 报错改变表大小遍历时新增键❌ 报错可能触发rehash遍历时修改键名先删后增❌ 报错相当于删增复制键列表后遍历修改✅ 安全迭代的是独立列表创建新字典后赋值✅ 安全原字典没被修改用字典推导式创建新字典✅ 安全不修改原字典最后的建议如果你遇到在遍历字典时需要修改键的问题按这个优先级选择首选用字典推导式创建新字典除非你特别在意内存。次选复制键列表list(d.keys())代码直接、可读性好。不要做直接在遍历原字典时增删键也别试图用while加popitem()控制顺序。记住这个原则迭代器迭代的是字典当前的视图迭代期间改变视图本身迭代器就失效了。那次双十一之后我把所有类似代码都改成了先收集要修改的键统一处理的模式。从那以后再没因为改字典键出过线上事故。