Hypothesis是否生成迭代顺序不同的同内容字典/集合？重运行时顺序是否保留？

1. Hypothesis是否会生成同内容但迭代顺序不同的字典/集合？ #

• 字典：默认策略下不会。Hypothesis的dictionaries()策略默认按键的自然排序顺序插入键值对，生成的字典迭代顺序与键的排序顺序一致，因此同内容字典的迭代顺序不会有差异。如果需要生成同内容但顺序不同的字典，可自定义策略实现，比如先生成键值对列表，再对键的顺序排列后构造字典：

  from hypothesis import strategies as st
  
  def ordered_dicts_with_same_content():
      key_value_pairs = st.lists(st.tuples(st.integers(), st.strings()), min_size=1, unique_by=lambda x: x[0])
      return key_value_pairs.flatmap(lambda pairs: st.permutations(pairs).map(dict))
  

• 集合：由于Python集合的迭代顺序依赖哈希表实现，即便内容完全相同，不同生成的集合迭代顺序也可能不同。Hypothesis的sets()策略不会刻意固定迭代顺序，因此同内容集合可能出现不同的迭代顺序。

2. 重运行测试时是否保证输入对象的迭代顺序一致？ #

是的，完全保证。Hypothesis的测试具备确定性：只要使用相同的随机种子（包括@example装饰的用例、收缩过程、flake检查场景），生成的对象会和第一次完全一致，包括字典的插入顺序、集合的哈希表状态，因此迭代顺序不会发生变化。

3. Hypothesis是否主动探索这类易被忽略的对象差异？ #

默认情况下不会。Hypothesis的核心目标是高效发现bug，默认策略会生成“规范形式”的对象（比如有序字典）来减少冗余测试用例，避免重复测试相同内容的不同顺序变体。但如果你的场景需要覆盖这类差异，可通过自定义策略（如上述字典的排列策略）主动生成不同顺序的同内容对象，针对性测试序列化逻辑的稳定性。

序列化场景实用建议 #

如果需要将字典、集合序列化到JSON并存入版本控制，确保序列化结果仅随内容变化，最可靠的方式是在序列化前统一处理：

• 字典：将键按固定规则排序后再序列化（比如通过sorted(d.items())转换为有序结构）
• 集合：转换成排序后的列表再序列化（比如sorted(my_set)）

这样无论原始对象的迭代顺序如何，最终的JSON表示都会保持一致，避免不必要的版本变更。

内容的提问来源于stack exchange，提问作者Zac Hatfield-Dodds