我可以期望相同的pickle字典的字符串表示在同一Python版本的不同机器或运行中是一致的吗？在同一台机器上的一个运行范围内呢？
例如：
# Python 2.7
import pickle
initial = pickle.dumps({'a': 1, 'b': 2})
for _ in xrange(1000**2):
assert pickle.dumps({'a': 1, 'b': 2}) == initial
这是否取决于我的字典对象的实际结构（嵌套值等）？
更新： 问题在于，无论我的字典对象看起来如何（哪些键/值等），我都无法在一个运行范围内使上面的代码失败（Python 2.7）。
通常情况下你不能，原因与其他场景下无法依赖字典顺序排序相同；在此pickling并没有特殊性。一个字典的字符串表示是当前字典迭代顺序的函数，不管你如何加载它。
你自己的小测试过于有限，因为它没有对测试字典进行任何变异，并且没有使用可能导致冲突的键。你使用完全相同的Python源代码创建字典，因此这些将产生相同的输出顺序，因为字典的编辑历史记录完全相同，并且使用连续字母组成的两个单字符键不太可能引起冲突。
需要注意的是，你实际上测试的是字符串表示是否相等，你只测试它们的内容是否相同（两个在字符串表示上不同的字典仍然可以相等，因为相同的键值对，经过不同的插入顺序，可能会产生不同的字典输出顺序）。
在 cPython 3.6 之前，字典迭代顺序中最重要的因素是哈希键生成函数，在单个 Python 可执行文件的生命周期内必须保持稳定（否则会破坏所有字典），因此单进程测试永远不会看到基于不同哈希函数结果的字典顺序更改。PYTHONHASHSEED 环境变量 用于生成 str、bytes 和 datetime 键的哈希值。该设置自 Python 2.6.8 和 3.2.3 开始提供，并且在 Python 3.3 中默认启用并设置为 random。因此，该设置因 Python 版本而异，且 可以在本地设置为其他值。ssize_t 整数，这是一种平台相关的有符号整数类型，因此不同的体系结构可能会产生不同的哈希值，仅仅因为它们使用了更大或更小的 ssize_t 类型定义。由于不同机器和不同 Python 运行环境下哈希函数的输出不同，您将看到字典的不同字符串表示。
最后，从cPython 3.6开始，dict类型的实现方式更改为一种更紧凑的格式，同时也恰好保留了插入顺序。从Python 3.7开始，语言规范已更改以使此行为成为强制性的，因此其他Python实现必须实现相同的语义。因此，在不同的Python实现或版本之间进行pickling和unpickling，即使所有其他因素相等，也可能导致不同的字典输出顺序。
Python 3.5.6 (default, Oct 26 2018, 11:00:52)
[GCC 7.3.0] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> import pickle
>>> d = {'first_string_key': 1, 'second_key_string': 2}
>>> pickle.dump
>>> pickle.dumps(d)
b'\x80\x03}q\x00(X\x11\x00\x00\x00second_key_stringq\x01K\x02X\x10\x00\x00\x00first_string_keyq\x02K\x01u.'
Python 3.6.7 (default, Oct 26 2018, 11:02:59)
[GCC 7.3.0] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> import pickle
>>> d = {'first_string_key': 1, 'second_key_string': 2}
>>> pickle.dumps(d)
b'\x80\x03}q\x00(X\x10\x00\x00\x00first_string_keyq\x01K\x01X\x11\x00\x00\x00second_key_stringq\x02K\x02u.'
sort_keys=True，请参阅 https://docs.python.org/3/library/json.html#json.dump。 - Slampickle，但根据您的实际需求，它仍可能是一个可行的解决方案。 - bruno desthuilliersPython2中的字典是无序的，其顺序取决于键的哈希值，正如Martijn Pieters在这个很好的答案中所解释的那样。我认为你不能在这里使用字典，但你可以使用一个OrderedDict（需要Python 2.7或更高版本），它维护键的顺序。例如：
from collections import OrderedDict
data = [('b', 0), ('a', 0)]
d = dict(data)
od = OrderedDict(data)
print(d)
print(od)
#{'a': 0, 'b': 0}
#OrderedDict([('b', 0), ('a', 0)])
您可以像pickle字典一样pickle一个OrderedDict，但是顺序将被保留，并且在pickle相同对象时生成的字符串将是相同的。
from collections import OrderedDict
import pickle
data = [('a', 1), ('b', 2)]
od = OrderedDict(data)
s = pickle.dumps(od)
print(s)
OrderedDict的构造函数中传递字典，因为键已经被放置。如果您有一个字典，您应该先将其转换为具有所需顺序的元组。OrderedDict是dict的子类，并具有所有dict方法，因此您可以创建一个空对象并分配新键。import pickle
initial = pickle.dumps({'a': 1, 'b': 2})
assert pickle.dumps({'b': 2, 'a': 1}) != initial
当我们将键“b”放在首位时，生成的字符串应该与将键“a”放在首位时不同（在Python >= 3.6中会有所不同），但在Python2中它们是相同的，因为键“a”在键“b”之前。
回答你的主要问题，Python2字典是无序的，但使用相同的代码和Python版本时，字典可能具有相同的顺序。但是，该顺序可能与您在字典中放置项目的顺序不同。如果顺序很重要，最好使用OrderedDict或更新Python版本。
如果您不修改字典，它的字符串表示在程序运行期间不会改变，并且其.keys方法将以相同的顺序返回键。但是，在Python 3.6之前，顺序可能会在每次运行时发生变化。
此外，具有相同键值对的两个不同字典对象不能保证使用相同的顺序（在Python 3.6之前）。
顺便说一下，使用自己的变量遮蔽模块名称不是一个好主意，就像你在那个lambda中所做的那样。这会使代码难以阅读，并且如果您忘记了已经遮蔽了该模块并尝试在程序后面访问其他名称，则会导致混淆的错误消息。
pickle 不关心字符串表示，它使用 .items。但是你的代码不应该依赖于 pickle 维护键顺序（在 Python 3.6 之前）。 - PM 2Ringd1 == d2 不能保证内部排序一致。 - jpp
xrange，这意味着Python 2中字典键的顺序是随意的（这使得字符串表示法无用）。 - DeepSpacecollections.OrderedDict呢？ - jpppickle = dumps。如果您所做的只是传递相同数量的参数，则不需要使用lambda。 - GP89