Python 3.7+ 中 dict 按插入顺序迭代是语言规范强制要求，非实现细节；底层采用紧凑哈希表双数组结构，entries 严格按插入顺序存储，遍历零开销保序；JSON 序列化/解析默认忠实反映该顺序；OrderedDict 仅在需动态调序、顺序敏感比较等场景必要。
dict 在 Python 3.7+ 中按插入顺序迭代，是语言规范强制要求，不是偶然或优化副产品——你写 d = {'c': 3, 'a': 1, 'b': 2}，遍历或 json.dumps(d) 就一定输出 {"c": 3, "a": 1, "b": 2}。
Python 3.6 和 3.7 的顺序保证有本质区别
3.6 的“有序”只是 CPython 解释器的实现细节，文档明确标注为 implementation detail，不能跨解释器或跨版本依赖：
- PyPy、Jython 在 3.6 下可能返回乱序
- 同一段代码在 CI 环境（如 Ubuntu 默认 PyPy）中行为不一致
- **kwargs 解包、__annotations__ 遍历等场景在 3.6 下不保序
而 3.7 起，PEP 558 把插入顺序写进语言规范，所有合规实现（CPython、PyPy、Jython）都必须遵守。判断依据只有一个：sys.version_info >= (3, 7)，不是“看起来有序”。
底层不是链表，而是紧凑哈希表双数组结构
有序性不靠额外排序或链表维护，而是存储结构天然支持：
- indices 数组（稀疏）只存跳转索引，大小约是 entries 的 2–4 倍
- entries 数组（紧凑）严格按插入顺序追加存储 (hash, key, value)
- 查键走 indices 快速定位，遍历直接顺序读 entries，零开销保序
这意味着：
- for k in d: 比 3.5 快约 20%，内存占用下降最多 95%
- list(d.keys()) 和 len(d) 性能差异极小，因为不需要重建顺序
- 不存在“重建 dict 导致顺序丢失”的风险（除非显式调用 dict(sorted(...))）
JSON 序列化/解析默认忠实反映插入顺序
json.dumps() 不排序、不重排，它只调用 dict.__iter__()，而这个迭代器在 3.7+ 中返回的就是 entries 的线性顺序：
- json.dumps({'b': 2, 'a': 1}) 输出永远是 {"b": 2, "a": 1}（未设 sort_keys=True）
- json.loads('{ "x": 1, "y": 2 }') 返回的 dict 键顺序就是 JSON 字符串里出现的顺序
但要注意：
- 第三方库如 ujson 或某些 ORM 的序列化逻辑可能重建 dict，触发内部重哈希，顺序未必保留
- copy.deepcopy() 在某些旧版标准库中会构造新 dict 并逐项赋值，顺序通常保留，但非绝对可靠
- 若前端渲染表单依赖字段顺序，确保构造字典时插入顺序与 UI 期望一致，而非依赖后续排序
什么时候该用 OrderedDict 而不是普通 dict
普通 dict 在 3.7+ 已覆盖绝大多数“需要顺序”的场景，OrderedDict 只在以下情况必要：
- 需要 od.move_to_end(key) 动态调整顺序
- 需要 od.popitem(last=False) 弹出最老项（LRU 缓存等）
- 需要顺序敏感的相等性判断：OrderedDict([('a',1),('b',2)]) == OrderedDict([('b',2),('a',1)]) 返回 False
- 框架明确要求类型为 OrderedDict（极少见，如某些旧版 Django 配置）
误用 OrderedDict 的代价：
- 内存占用更高（额外维护双向链表）
- isinstance(od, dict) 为 False，可能被 FastAPI / Pydantic v1 等拒绝
- 无谓增加类型判断分支和兼容逻辑
真正容易被忽略的是：有序性只保证“插入顺序”，不保证“逻辑顺序”。如果你把 dict 当作 list 用——比如试图用 d[0] 取第一个键，或依赖 dict.keys()[0]（这本身会报错）——那不是顺序问题，是类型误用。字典仍是映射类型，不是序列。
