Python dict 文字和 dict(list of pairs) 是否保持它们的键顺序？

Question

在 Python 3.7+ 中，dict literals 是否保持键的顺序？例如，是否保证 {1: "one", 2: "two"} 在迭代时总是以这种方式（1，然后 2）排序其键？ （有一个thread in the Python mailing list 有类似的主题，但它四面八方，我找不到答案。）

类似地，像dict([('sape', 4139), ('guido', 4127), ('jack', 4098)]) 这样的字典是否在列表中排序？

other naturally ordered constructions 也有同样的问题，比如字典理解和dict(sape=4139, guido=4127, jack=4098)。

PS：据记载dictionaries preserve insertion order。因此，这个问题本质上是在问：是否保证数据按 dict 文字的顺序、列表给dict() 的顺序插入，等等。

Answer 1

是的，在 Python 3.7+ 中，任何构造 dict 的方法都会保留插入顺序。

---

对于 dict 文字，请参阅 How to keep keys/values in same order as declared? 上的 Martijn's answer。另外，来自documentation：

如果给出逗号分隔的键/数据对序列，则从左到右对它们进行评估以定义字典的条目：[...]

对于理解，来自same source。

运行推导时，生成的键和值元素会按照它们产生的顺序插入到新字典中。

最后，dict initializer 通过迭代其参数和关键字参数来工作，并按顺序插入每个参数，类似于：

def __init__(self, mapping_or_iterable, **kwargs):
    if hasattr(mapping_or_iterable, "items"):  # It's a mapping
        for k, v in mapping_or_iterable.items():
            self[k] = v
    else:  # It's an iterable of key-value pairs
        for k, v in mapping_or_iterable:
            self[k] = v

    for k, v in kwargs.items():
        self[k] = v

（这是基于source code，但忽略了很多不重要的细节，例如dict_init 只是dict_update_common 的包装。另外请注意，我不知道C，但我得到了要点。）

这一点，再加上关键字参数自Python 3.6 以来以相同的顺序传递字典的事实，使得dict(x=…, y=…) 保留了变量的顺序。