Python中为何向set.discard传入集合时不抛出错误？

先看你给出的报错场景：

someSet = {1,2,3,4}
someSet.discard([5])

执行后抛出错误：

Traceback (most recent call last):
  File "File.py", line 2, in <module>
    someSet.discard([5])
TypeError: unhashable type: 'list'

列表报错的核心原因：不可哈希 #

集合的底层实现依赖哈希表，任何需要在集合中查找元素的操作（包括discard），第一步都是计算目标元素的哈希值，以此快速定位哈希表中的对应位置。

列表是可变类型，Python不允许可变类型被哈希（因为可变对象的内容可以随时改变，哈希值也会随之变化，会破坏哈希表的一致性），所以当你传递列表给discard时，Python尝试计算其哈希值时直接抛出TypeError——这就是报错的唯一原因，没有其他额外因素。

关于someSet.discard({5})的疑问 #

你提到执行someSet.discard({5})没有报错，但这不符合Python的正常行为。普通集合（set）同样是可变类型，不可哈希，传递它给discard时，Python会和处理列表一样尝试计算哈希值，最终抛出TypeError: unhashable type: 'set'。

如果你确实没看到报错，大概率是以下两种情况之一：

• 混淆了普通集合和冻结集合：如果你实际传递的是frozenset({5})（冻结集合是不可变的、可哈希的），那么discard不会报错，因为冻结集合可以被计算哈希值。
• 代码执行时未捕获报错输出：比如在脚本中执行但没有查看控制台输出，或者代码书写有误（比如写成了someSet.discard(5)而非someSet.discard({5})）。

补充说明 #

集合的元素必须是可哈希的，所以你根本无法将列表或普通集合存入集合中（比如someSet.add([5])或someSet.add({5})都会直接报错），这和discard的报错逻辑完全一致——都是因为目标对象不可哈希，无法参与集合的哈希表操作。

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