Python 3.7+字典为何默认有序？底层Hash表解析

Python 3.7+ 字典默认保持插入顺序，并非靠额外排序，而是源于底层「紧凑哈希表」的精巧双数组设计——indices 数组专注 O(1) 快速查找，entries 数组严格按插入顺序存储键值对，使遍历天然有序且性能不打折扣；但需警惕字典本质仍是哈希映射而非序列，不支持索引访问，JSON 序列化保序也仅依赖实际插入逻辑而非代码书写形式，误将有序性等同于按键排序更会埋下隐蔽陷阱。

Python 3.7+ 的字典默认按插入顺序迭代，不是因为加了排序逻辑，而是底层哈希表结构被重构成「紧凑哈希表」（compact hash table）——它把“查找”和“顺序”拆开了。

字典的有序性来自两个分离数组：indices 和 entries

旧版字典（Python 3.6 之前）把 hash、key、value 全塞进一个稀疏数组，遍历时只能按内存布局顺序读，自然无序。3.7+ 改用双数组结构：

• indices：稀疏索引数组，只存哈希寻址用的偏移量（类似指针），不存数据
• entries：紧凑数据数组，严格按插入顺序追加 [hash, key, value] 三元组

遍历时不再扫描 indices，而是直接从头到尾读 entries，顺序就稳了。查询时仍靠 indices 做 O(1) 定位，性能没丢。

为什么不能用 dict.keys()[0] 或 d[0] 访问第一个键值对

字典还是哈希表，不是序列类型。它没有下标接口，也不支持切片或索引访问：

• d.keys() 返回的是 dict_keys 视图对象，不是 list，不支持 [0]
• list(d.keys())[0] 能取第一个键，但会触发全量转列表，O(n) 开销，别在热路径里用
• 真要按位置操作，说明你其实需要 collections.OrderedDict，它提供 move_to_end() 和 popitem(last=False)

JSON 序列化保持字段顺序的真正前提

json.dumps() 输出顺序依赖字典迭代顺序，但它**不保证**输出一定和代码书写顺序一致——关键看字典是怎么构建的：

• 直接写 {'a': 1, 'b': 2}：CPython 3.7+ 解析器会按书写顺序插入，没问题
• 用字面量拼接或解包：{**d1, **d2}：顺序由 d1 和 d2 的插入顺序拼接而成，不是语法顺序
• 从 JSON 反序列化再 dump 回去：json.loads() 在 3.7+ 返回有序 dict，所以能保序；但若中间混入 dict.update() 或键重复赋值，顺序可能被覆盖
• 用 json.dumps(..., sort_keys=True)：会强制按键字母序重排，跟插入顺序无关

最易被忽略的一点：有序是「插入顺序」，不是「定义顺序」或「键大小顺序」。如果逻辑里隐含了「字典按键自动排序」的假设，比如拿 dict.keys() 当 sorted keys 用，运行时就会出错。

以上就是《Python 3.7+字典为何默认有序？底层Hash表解析》的详细内容，更多关于的资料请关注golang学习网公众号！