Python中使用元组作为集合元素的异常现象解析

准确条件 #

集合的每一个元素必须是可哈希（hashable）类型，而非仅仅是“不可变类型”。

底层原理 #

Python的集合基于哈希表实现，存储元素时依赖两个核心要求：

• 元素必须能通过__hash__()方法生成一个生命周期内稳定不变的哈希值
• 元素必须能通过__eq__()方法和其他元素比较是否相等

只有满足这两个条件的对象，才能被哈希表正确存储和检索。

两种元组情况的差异原因 #

• 元组(1,)：内部元素是整数，整数属于可哈希类型（哈希值稳定，支持相等比较）。元组的哈希值会基于所有元素的哈希值计算生成，因此整个元组是可哈希的，能被集合正常接收。
• 元组([1],)：内部元素是列表，列表是可变类型，Python直接禁用了它的__hash__()方法（返回None），属于不可哈希类型。当计算该元组的哈希值时，会遍历内部元素的哈希值，遇到不可哈希的列表就会触发TypeError，导致集合创建失败。

本质上，元组的可哈希性是“依赖内部元素”的——只有当它的所有元素都可哈希时，元组本身才具备可哈希性，才能作为集合的元素。

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