0

0

如何让 hash 只对 frozen 对象生效且类型安全

冰川箭仙

冰川箭仙

发布时间:2026-01-27 19:12:10

|

925人浏览过

|

来源于php中文网

原创

hash()拒绝未冻结对象是因为可变对象的哈希值不稳定,破坏字典/集合结构;Python通过将__hash__设为None实现约束,@dataclass(frozen=True)、NamedTuple等提供类型安全的哈希支持。

如何让 hash 只对 frozen 对象生效且类型安全

为什么 hash() 会拒绝未冻结对象

hash() 在 Python 中要求对象是“不可变”的,本质是要求 __hash__ 返回稳定值——而可变对象的哈希值可能随内容改变,破坏字典/集合的底层结构。Python 不强制检查是否真的“不可变”,而是约定:若实现了 __eq__ 且没显式定义 __hash__,则自动设为 None(即不可哈希)。所以“只对 frozen 对象生效”不是 hash() 的内置规则,而是你主动控制的结果。

@dataclass(frozen=True) 实现类型安全的哈希对象

这是最直接、类型友好的方式。启用 frozen=True 后,dataclass 自动生成带类型注解的 __hash__,且禁止运行时修改字段(触发 FrozenInstanceError)。

实操建议:

  • 必须标注所有字段的类型(如 name: str),否则 typing 工具(如 mypy)无法校验构造参数类型
  • 避免在 __post_init__ 中修改字段——即使 frozen,该方法仍可执行,但后续赋值会报错
  • 若含可变默认值(如 list),必须用 field(default_factory=list),否则运行时报错

示例:

@dataclass(frozen=True)
class Point:
    x: int
    y: int
<p>p = Point(1, 2)
print(hash(p))  # ✅ 正常返回整数</p><h1>p.x = 3       # ❌ FrozenInstanceError

手动定义 __hash__ 时如何保持类型安全

手动实现适用于需要自定义哈希逻辑(如忽略某些字段),但容易绕过类型检查。关键点在于:确保 __hash__ 只依赖 __eq__ 所依赖的字段,且这些字段本身是不可变类型。

常见错误现象:

Winston AI
Winston AI

强大的AI内容检测解决方案

下载
  • 字段含 listdict → 运行时报 TypeError: unhashable type
  • 字段是自定义类但没实现 __hash__ → 哈希失败
  • 用了 __slots__ 却漏写某个参与比较的字段 → hash()== 行为不一致

正确做法:

  • 只对 tuplestrint 等原生不可变类型或已哈希的自定义对象取哈希
  • typing.Final 标注字段(如 id: Final[int]),提示类型检查器该字段不应被重写
  • __hash__ 中显式调用 hash((self.a, self.b)),而非 hash(self.a + self.b)(后者易冲突)

NamedTuple 替代时要注意什么

NamedTuple 天然 frozen 且可哈希,也支持类型注解,但它是类工厂,不是普通类——它的字段是只读属性,没有 __dict__,也不支持继承或自定义 __init__

使用场景:

  • 轻量级、纯数据容器(如配置项、坐标点)
  • 需和 typing.NamedTuple 配合做静态类型检查

容易踩的坑:

  • 定义时用 class X(NamedTuple): 形式,别用 collections.namedtuple() —— 后者不支持类型注解
  • 字段名不能是 Python 关键字(如 classdef),否则生成类失败
  • 若字段类型是泛型(如 list[str]),需用 typing.List[str](Py3.9+ 可用内置)

类型安全不是靠“加个 frozen 就完事”,而是让类型检查器能追踪到“这个对象一旦创建,哪些属性永远不变”,并阻止任何可能破坏哈希稳定性的赋值路径。真正难的是嵌套结构——比如一个 frozen dataclass 包含另一个可变对象,这时 hash 依然会崩,但错误发生在运行时而非类型检查阶段。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

1071

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

617

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

335

2025.08.29

C++中int的含义
C++中int的含义

本专题整合了C++中int相关内容,阅读专题下面的文章了解更多详细内容。

235

2025.08.29

class在c语言中的意思
class在c语言中的意思

在C语言中,"class" 是一个关键字,用于定义一个类。想了解更多class的相关内容,可以阅读本专题下面的文章。

911

2024.01.03

python中class的含义
python中class的含义

本专题整合了python中class的相关内容,阅读专题下面的文章了解更多详细内容。

32

2025.12.06

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

89

2026.03.13

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

76

2026.03.13

Python异步编程与Asyncio高并发应用实践
Python异步编程与Asyncio高并发应用实践

本专题围绕 Python 异步编程模型展开,深入讲解 Asyncio 框架的核心原理与应用实践。内容包括事件循环机制、协程任务调度、异步 IO 处理以及并发任务管理策略。通过构建高并发网络请求与异步数据处理案例,帮助开发者掌握 Python 在高并发场景中的高效开发方法,并提升系统资源利用率与整体运行性能。

116

2026.03.12

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
最新Python教程 从入门到精通
最新Python教程 从入门到精通

共4课时 | 22.5万人学习

Django 教程
Django 教程

共28课时 | 5万人学习

SciPy 教程
SciPy 教程

共10课时 | 2万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号