“k in d”怎么可能是假的，但“k in d.keys()”怎么会是真的呢？

Question

我有一些抛出 KeyError 异常的 Python 代码。到目前为止我还没有能够在运行环境之外复现，所以我不能在这里发布一个简化的测试用例。

引发异常的代码是通过这样的循环迭代：

for k in d.keys():
    if condition:
        del d[k]

del[k] 行引发异常。我在它周围添加了一个try/except 子句，并且能够确定k in d 为假，但k in d.keys() 为真。

d 的键是旧式类实例的绑定方法。

该类实现了__cmp__ 和__hash__，所以这就是我一直关注的地方。

Answer 1

k in d.keys() 将迭代地测试每个键的相等性，而 k in d 使用 __hash__，因此您的 __hash__ 可能会被破坏（即它为比较相等的对象返回不同的哈希值）。

Answer 2

出于兴趣的简单示例：

>>> count = 0
>>> class BrokenHash(object):
...     def __hash__(self):
...             global count
...             count += 1
...             return count
...
...     def __eq__(self, other):
...             return True
...
>>> foo = BrokenHash()
>>> bar = BrokenHash()
>>> foo is bar
False
>>> foo == bar
True
>>> baz = {bar:1}
>>> foo in baz
False
>>> foo in baz.keys()
True

Answer 3

在迭代 d 时不要删除项目，将要删除的键存储在列表中并在另一个循环中删除它们：

deleted = []
for k in d.keys():
    if condition:
        deleted.append(k)
for k in deleted:
    del d[k]

Answer 4

您正在做的事情会在 Java 中引发并发修改异常。 d.keys() 会在您调用它时创建一个密钥列表，但该列表现在是静态的 - 对 d 的修改不会更改 d.keys() 的存储版本。因此，当您迭代 d.keys() 但删除项目时，您最终可能会修改不再存在的密钥。

您可以使用d.pop(k, None)，如果k 不存在，它将返回映射到k 或None 的值。这避免了KeyError 问题。

编辑：为了澄清，为了防止更多的幻影降级（负面反馈没有问题，只需使其具有建设性并发表评论，这样我们就可以进行潜在的信息性讨论 - 我在这里学习和帮助）：

确实，在这种特殊情况下，它不应该搞砸。我只是把它作为一个潜在的问题提出来，因为如果他在程序的另一部分使用相同类型的编码方案，他不对他如何处理数据结构如此小心/幸运，可能会出现这样的问题。他甚至没有使用字典，而是使用一个实现某些方法的类，以便您可以以类似的方式处理它。