当字典键相同时，为什么 Python 只保留最后一个键值对？

Question

假设我创建了一个字典a_dictionary，其中两个键值对具有相同的键：

In [1]: a_dictionary = {'key': 5, 'another_key': 10, 'key': 50} 

In [2]: a_dictionary
Out[2]: {'key': 50, 'another_key': 10}

为什么 Python 选择在这里保留最后一个键值对，而不是抛出关于使用相同键的错误（或至少引发警告）？

在我看来，这里的主要缺点是您可能会在不知情的情况下丢失数据。

（如果相关，我在 Python 3.6.4 上运行了上面的代码。）

Answer 1

如果你的问题是为什么 Python dict 显示最初是这样设计的……可能没人知道。

---

我们知道何时做出决定。 Python 0.9.x (1991-1993) 没有 dict 显示； Python 1.0.x (1994) 做到了。他们的工作方式与今天完全相同。来自文档：¹

字典显示会产生一个新的字典对象。

键/数据对从左到右进行评估以定义 字典条目：每个键对象都用作进入字典的键 字典来存储相应的数据。

对键值类型的限制已在前面列出 部分类型。

未检测到重复键之间的冲突；最后 为给定键存储的数据（显示中最右边的文本） 价值占上风。

并且，测试它：

$ ./python
Python 1.0.1 (Aug 21 2018)
Copyright 1991-1994 Stichting Mathematisch Centrum, Amsterdam
>>> {'key': 1, 'other': 2, 'key': 3}
{'other': 2, 'key': 3}

---

但没有提到 Guido 选择这种设计的原因：

• 1.0 文档。
• Design & History FAQ.
• Guido 的 History of Python 博客。
• 我能想到的任何其他地方都可能有它。

此外，如果您查看具有相似功能的不同语言，其中一些保留最后一个键值对，如 Python，一些保留任意键值对，一些引发某种错误……每种语言都足够了你不能说这是一个显而易见的设计，这就是 Guido 选择它的原因。

---

如果你想要一个可能并不比你自己猜测的更好的疯狂猜测，这里是我的：

编译器不仅可以，而且确实，通过创建一个空的dict并在其中插入键值对来有效地从文字中构造const值。因此，默认情况下，您会获得允许重复、最后一个键获胜的语义；如果您想要其他任何东西，则必须编写额外的代码。而且，没有令人信服的理由来选择一个而不是另一个，Guido 选择不编写额外的代码。

---

那么，如果 的设计没有令人信服的理由，为什么 24 年来没有人试图改变它？

好吧，有人提出了功能请求 (b.p.o. #16385)，以使重复键在 3.4 中成为错误。 但是当有人建议它在-ideas 上提出时显然消失了。）它可能已经出现了几次，但显然没有人希望它改变得足以推动它。

同时，他最接近 Python 现有行为的实际论点是 Terry J. Reedy 的评论：

如果没有更多用例和支持（来自关于 python-ideas 的讨论），我认为这应该被拒绝。能够重写键是 Python 字典的基础，以及为什么它们可以用于 Python 的可变命名空间。一个 write-once 或 write-key-once dict 会是别的东西。

至于文字，代码生成器可能依赖于能够编写重复的键，而不必返回并删除以前的输出。

---

1。我不认为 1.0 的文档可以在任何地方直接链接，但您可以下载 the whole 1.0.1 source archive 并从 TeX 源构建文档。

Answer 2

我认为@tobias_k 有最终答案——否则就会出现不一致。如果

{'key': 0, 'key': 1}

抛出一个错误，然后我会想到

lst = [('key', 0), ('key', 1)]
dict(lst)

失败，然后我会期待

d = {}
d['key'] = 0
d['key'] = 1

也。但是，当然，最后一个选项显然不是我想要的，所以回到链条上，我们达到了当前的行为。

Answer 3

从概念上讲，您可以将字典创建视为一个迭代的增量过程。换句话说，字典字面量的赋值：

a_dictionary = {'key': 5, 'another_key': 10, 'key': 50}

相当于一系列单一的赋值语句：

a_dictionary['key'] = 5
a_dictionary['another_key'] = 10
a_dictionary['key'] = 50

当然，如果一个键多次出现，重新分配一个新值并没有错。

Answer 4

通常您希望覆盖该值而不是引发错误。 如果你想要一个字典来保护自己不被覆盖值，那么创建一个新的类来包装 Dictionary 类并在任何值被覆盖时抛出错误。