是什么让一个元素有资格在 Python 中进行集合成员资格测试？ [复制]

Question

我想了解哪些项目可以在 Python 中测试 set 成员资格。一般来说，集合成员资格测试的工作方式类似于 Python 中的list 成员资格测试。

>>> 1 in {1,2,3}
True
>>> 0 in {1,2,3}
False
>>> 

但是，集合与列表的不同之处在于它们不能包含不可散列的对象，例如嵌套集合。

列表，好的：

>>> [1,2,{1,2}]
[1, 2, {1, 2}]
>>> 

设置，因为不可散列而不起作用：

>>> {1,2,{1,2}}
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
TypeError: unhashable type: 'set'
>>> 

现在，即使集合不能是其他集合的成员，我们也可以在成员资格测试中使用它们。这样的检查不会导致错误。

>>> {1} in {1,2,3}
False
>>> {1,2} in {1,2,3}
False
>>> set() in {1,2,3}
False
>>> 

但是，如果我尝试在要测试的元素是 dict 的情况下进行相同的测试，我会收到一个错误，表明要测试的元素不能是不可散列的。

>>> {'a':1} in {1,2}
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: unhashable type: 'dict'
>>> {} in {1,2}
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: unhashable type: 'dict'
>>> 

这不可能是全部，因为 set 可以测试它是否属于另一个集合，即使它本身是不可散列的，给出结果而不是错误。

所以问题是：是什么让一个元素有资格在 Python 中进行集合成员资格测试？

Answer 1

混淆是因为当你说“如果在集合中设置”时，我认为 python 将左手集合转换为冻结集合，然后对其进行测试。例如

>>> f = frozenset({1})
>>> f
frozenset([1])
>>> x = {f, 2, 3}
>>> {1} in x
True

但是，对于dict来说，没有等价于frozenset，因此它不能将dict转换为不可变对象以进行成员资格测试，因此它失败了。

我不知道这里遵循的“规则”——是否有一些通用的方法可以被覆盖以提供不可变转换，或者这种行为是否被硬编码为特定的 set在集合中。

Answer 2

您不能在 set 中测试不可散列元素的成员资格。示例 -

>>> [1,2] in {1,2}
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: unhashable type: 'list'
>>> {1:2} in {1,2}
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: unhashable type: 'dict'

设置了唯一可用于包含检查的不可散列对象。正如documentation -中给出的那样

注意，__contains__()、remove() 和 discard() 方法的 elem 参数可能是一个集合。为了支持对等价的frozenset 的搜索，elem 集在搜索过程中会暂时发生变异，然后再恢复。在搜索过程中，不应该读取或改变元素集，因为它没有有意义的值。

为了支持搜索与集合具有相同元素的冻结集合，集合被临时变异为frozenset() 并进行比较。示例 -

>>> set([1,2]) in {1,2,frozenset([1,2])}
True