python - dict.items 和 dict.values 之间的行为不一致

Question

_{注意: python3 中的代码示例，但问题也适用于 python2(将 .keys 替换为 .viewkeys 等)}

dict 对象提供(有时)支持集合操作的 View 方法:

>>> {'a': 0, 'b': 1}.keys() & {'a'}
{'a'}
>>> {'a': 0, 'b': 1}.items() & {('a', 0)}
{('a', 0)}

但是值 View 不支持集合运算符:

>>> {'a': 0, 'b': 1}.values() & {0}
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: unsupported operand type(s) for &: 'dict_values' and 'set'

我知道字典值可以是不可散列的对象，因此并不总是可以创建一组值，但是 dict.items 也是如此，并且 < strong>此处，一旦字典中存在不可散列的类型，.items 的设置操作只会在运行时失败，而 .values 的设置操作会立即失败.

文档提到 Values views are not treated as set-like since the entries are generally not unique ，但这似乎不是一个令人信服的理由——例如，python 不会阻止您创建像 {0, 0, 1, 2} 这样的集合文字。

这种行为不一致的真正原因是什么？

Answer 1

如果我们要将值 视为一个集合，您会使值字典 View 成为一个生成成本非常高的对象。您必须先计算所有值 的散列值，然后才能将其用作集合；您真的不想为大型字典执行此操作，特别是如果您事先不知道所有值是否都可以哈希。

因此，最好将其保留为显式操作；如果您想将这些值视为一个集合，显式使其成为一个集合:

values = set(yourdict.values())

dict.items() 行为源于这样一个事实，即我们预先知道键至少是唯一的，因此每个 (key, value) 对也是唯一的；在幕后，您可以将成员资格测试委托(delegate)给键字典 View 。

但是一旦您对它使用集合操作(​​交集、并集等)，您就会创建一个新的集对象，而不是字典 View 。对于这样的 set 对象，(key, value) 对中的两个元素必须 是可散列的，因为通用 set 类型不能使它们相同关于键的假设，也不能保持该约束(因为 {'a': 0}.items() & {('a', 1)} 是完全合法的，但会导致重复键) .