当一个 **Python** 类通过 `__eq__` 定义自定义相等性，但未能实现 `__hash__`，特别是在对象作为映射键的可用性方面，会出现什么后果？

对问题的回答

当一个 Python 类定义了 __eq__ 来自定义相等性比较时，除非显式重写，否则解释器会自动将 __hash__ 设置为 None。这使得实例变得不可哈希，防止其用作 dict 键或 set 成员。基本不变性要求通过 __eq__ 进行比较相等的对象必须产生相同的哈希值；违反这一点会导致哈希基集合中的未定义行为。因此，尝试将这样的对象用作映射键时会引发 TypeError: unhashable type。

生活中的情况

一个开发团队正在构建会话管理服务，其中 User 对象作为内存缓存 dict 中的键来存储活动会话。User 类实现了 __eq__，以便根据 user_id 比较实例，确保两个不同的表示同一数据库用户的对象被视为相等。最初的实现如下：

class User:
    def __init__(self, user_id, name):
        self.user_id = user_id
        self.name = name
    
    def __eq__(self, other):
        if not isinstance(other, User):
            return NotImplemented
        return self.user_id == other.user_id

最初，团队并未实现 __hash__，假设默认行为足够。然而，当服务尝试使用 cache[user] = session_data 缓存会话时，Python 引发了 TypeError: unhashable type: 'User'，导致服务崩溃。

团队考虑了三种解决方案。第一种方法是使用 id(self) 作为哈希值。由于其违反了关键的不变性，因此被拒绝：两个具有相同 user_id 的不同 User 实例将具有不同的哈希，即使它们通过 __eq__ 相等。这样会使它们看起来是不同的键，完全破坏缓存查找并允许同一逻辑用户的重复条目。

第二种方法是使用 hash(self.user_id) 作为哈希值。这满足了不变性，因为相等的用户共享相同的 user_id。然而，这需要确保 user_id 是不可变的，因为可变的哈希值会导致对象在插入后变得 "丢失"。

第三种选择放弃了使用 User 对象作为键，而是直接使用字符串 user_id。尽管安全和简单，但这牺牲了类型安全，并要求维护从 ID 到 User 对象的单独映射，使代码库复杂化，增加了额外的查找逻辑。

团队选择了第二种解决方案，为类添加了以下实现：

    def __hash__(self):
        return hash(self.user_id)

他们还将 user_id 设置为只读属性，以确保不可变性。这保留了将 User 实例用作键的能力，同时保持正确的相等语义。结果是一个强大的缓存，能够正确识别用户，无论对象实例的身份如何。

候选人常常忽视的内容

为什么当定义了 __eq__ 但未定义 __hash__ 时，Python 自动将 __hash__ 设置为 None？

当一个类定义了 __eq__ 时，从 object 继承的基于身份的默认哈希在逻辑上变得无效。默认的 __hash__ 依赖于 id(self)，意味着两个不同的对象具有不同的哈希值。如果 __eq__ 被重写以比较值，则两个不同的实例可能相等，但它们的哈希值却不同，违反了基本规则 a == b 意味着 hash(a) == hash(b)。Python 通过将 __hash__ 设置为 None 来防止这种不一致，明确标记该类为不可哈希，而不是允许危险的默认行为，这将导致字典性能不稳定或无法访问的键。

如果一个可变对象在基于可变字段实现 __hash__ 后被用作字典键，会发生什么？

如果 __hash__ 依赖于可变状态，则哈希值可能在对象插入 dict 后发生变化。字典根据插入时的哈希值将键存储在哈希桶中。如果由于突变导致哈希后来发生变化，则随后查找会计算不同的哈希并搜索不同的桶，使得原始键无法访问。该对象仍然存在于内存中，但无法通过正常的键访问找到或删除。这会造成内存泄漏和逻辑不一致，这就是 Python 要求可哈希对象必须是不可变的或基于不可变标识符的原因。

@dataclass 装饰器如何处理 __eq__ 和 __hash__ 的生成，使用 unsafe_hash=True 有什么风险？

默认情况下，@dataclass 根据字段值生成 __eq__ 但将 __hash__ 设置为 None，使实例不可哈希。这个保守的默认设置防止了可变数据类中的错误。要启用哈希，您必须将 frozen=True 设置为（使字段只读并生成安全的 __hash__）或显式设置 unsafe_hash=True。unsafe_hash=True 参数强制 Python 基于字段值生成 __hash__，即便字段是可变的。这是危险的，因为如果在对象用作字典键后，任何字段发生变化，哈希值就会改变，从而使键变得不可访问，导致之前描述的 "丢失键" 问题。候选人常常忽视 unsafe_hash 不仅仅是一个警告，而是一个破坏字典不变性的功能风险。