01 引言
在日常生活中，"顺序"是一个再常见不过的概念。比如，当我们说"请把这些盒子从小到大排列"时，没有人会困惑"顺序"指的是什么；同样，当你在商店排队时，先到的人自然站在前面，后到的人依次排在后面------这种"先来后到"的规则不言自明。
然而，在编程的世界里，数据结构的"顺序性"却并非总是如此直观。Python 提供了多种数据结构，有些是明确有序的（如列表、元组），有些则并非如此。那么，字典（dict）------这种以键值对形式存储数据的高效结构------是否属于有序数据结构呢？
早期的 Python 版本中，字典的键值对顺序是完全随机的，开发者无法预测它们的排列方式；但从 Python 3.6 开始，字典突然开始"记住"插入顺序，这一特性在 3.7 版本中更是被正式纳入语言规范。这是否意味着字典从此变成了"有序"结构？
要回答这个问题，我们需要深入理解"有序"在数据结构中的真正含义，以及字典的设计哲学与列表等序列的本质区别。
02 Python 3.6 之前的字典
在 Python 3.6 版本之前，字典的行为与现在截然不同。如果你曾经使用过 Python 2.7 或更早的版本，可能会注意到一个有趣的现象：当你创建一个字典并打印它时，键值对的顺序似乎毫无规律可循。例如，定义queue = {"James": [], "Kate": [], "Andy": [], "Isabelle": []}，但在解释器中查看时，输出的顺序可能是{'Kate': [], 'James': [], 'Isabelle': [], 'Andy': []}------与初始定义的顺序完全不同。
这种看似随机的顺序并非一种设计缺陷，而是由字典的底层实现决定的。早期的 Python 字典基于哈希表（hash table）实现，这是一种高效的数据结构，能够以接近常数时间复杂度（O(1)）完成键的查找、插入和删除操作。然而，哈希表的特性决定了键值对的存储顺序并不与插入顺序一致，而是由键的哈希值、哈希冲突解决策略等因素共同决定。因此，字典在遍历或打印时，键值对的顺序是不可预测的。
这种无序性给开发者带来了一些限制。例如，假设你希望按照用户添加的顺序处理字典中的条目，或者需要确保序列化后的 JSON 文件保持特定顺序，早期的字典根本无法满足这类需求。开发者不得不依赖 collections.OrderedDict 来实现有序字典的功能，或者转而使用列表嵌套元组等替代方案。
有趣的是，这种无序性在某些情况下反而成了一种优势。由于顺序无关紧要，Python 可以更自由地优化字典的内存布局和访问效率。
03 Python 3.6 及之后的字典
Python 3.6 版本的发布悄然改变了字典的行为。开发者们很快注意到一个有趣的现象：当创建字典并打印时，键值对竟然按照插入的顺序排列。比如，定义queue = {"James": [], "Kate": [], "Andy": [], "Isabelle": []}后，直接输出这个字典会得到与定义完全一致的顺序：{'James': [], 'Kate': [], 'Andy': [], 'Isabelle': []}。
实际上，这一改进最初并非刻意为之。CPython 开发团队在实现 PEP 468 时，对字典的内存结构进行了优化，采用了一种更紧凑的存储方式。新的实现不仅减少了内存占用，还意外地保留了键值对的插入顺序。这一"副作用"很快受到开发者社区的欢迎，于是在 Python 3.7 中，这个特性被正式写入 Python 语言规范。
这种顺序性与传统的有序数据结构仍用本质上的区别。字典仍然基于哈希表实现，保留顺序只是其内部实现的副产品。与列表不同，字典的顺序不会影响其相等性判断。例如，{"a":1, "b":2}和{"b":2, "a":1}仍然被视为相等的字典，尽管它们的键值对顺序不同。这种设计体现了 Python 对字典核心定位的坚持------它首先是一个高效的键值映射工具，保留顺序只是锦上添花的一种特性。
既然普通字典已经保留顺序，为什么还需要专门的 OrderedDict？
04 为什么还需要 collections.OrderedDict？
OrderedDict与普通字典最大的区别在于它对顺序的严格态度。当两个OrderedDict包含相同的键值对但顺序不同时，它们不会被判定为相等。例如，OrderedDict([('a',1),('b',2)])与OrderedDict([('b',2),('a',1)])会被视为不同的对象。
OrderedDict 还提供了一系列普通字典不具备的顺序操作方法。最典型的是move_to_end()方法，它允许将指定键移动到字典的末尾或开头，这在实现 LRU（最近最少使用）缓存等算法时特别有用。popitem()方法也提供了更灵活的控制，可以选择从字典的任一端移除键值对。这些操作方法赋予了开发者对字典顺序更精细的控制能力，是普通字典无法替代的。
由于需要额外维护顺序信息，OrderedDict的内存开销略高，操作速度也稍慢。但在大多数应用场景中，对于需要明确顺序语义的场景，这种微小的性能代价通常是值得的。