我有两个 Python 字典，我想编写一个表达式来返回这两个字典，合并（即取并集）。 update() 方法将是我所需要的，如果它返回结果而不是就地修改字典。
>>> x = {'a': 1, 'b': 2}
>>> y = {'b': 10, 'c': 11}
>>> z = x.update(y)
>>> print(z)
None
>>> x
{'a': 1, 'b': 10, 'c': 11}
我怎样才能在z而不是x中获得最终合并的字典？
（更清楚地说，dict.update() 的最后一个胜出的冲突处理也是我正在寻找的。）
【问题讨论】：
标签： python dictionary merge
如何在一个表达式中合并两个 Python 字典？
对于字典 x 和 y，z 变为浅合并字典，其中 y 中的值替换 x 中的值。
在 Python 3.9.0 或更高版本（2020 年 10 月 17 日发布）中：PEP-584、discussed here 已实现并提供了最简单的方法：
z = x | y # NOTE: 3.9+ ONLY
在 Python 3.5 或更高版本中：
z = {**x, **y}
在 Python 2（或 3.4 或更低版本）中编写一个函数：
def merge_two_dicts(x, y):
z = x.copy() # start with keys and values of x
z.update(y) # modifies z with keys and values of y
return z
现在：
z = merge_two_dicts(x, y)
假设您有两个字典，并且您想将它们合并到一个新字典中而不改变原来的字典：
x = {'a': 1, 'b': 2}
y = {'b': 3, 'c': 4}
期望的结果是获得一个新字典 (z)，其中的值合并，第二个字典的值覆盖第一个字典的值。
>>> z
{'a': 1, 'b': 3, 'c': 4}
PEP 448 和 available as of Python 3.5 中提出的一种新语法是
z = {**x, **y}
而且确实是一个表达式。
请注意，我们也可以使用文字表示法进行合并：
z = {**x, 'foo': 1, 'bar': 2, **y}
现在：
>>> z
{'a': 1, 'b': 3, 'foo': 1, 'bar': 2, 'c': 4}
它现在显示为在 release schedule for 3.5, PEP 478 中实现，并且现在已进入 What's New in Python 3.5 文档。
但是，由于许多组织仍在使用 Python 2，您可能希望以向后兼容的方式执行此操作。在 Python 2 和 Python 3.0-3.4 中可用的经典 Pythonic 方法是分两步执行此操作：
z = x.copy()
z.update(y) # which returns None since it mutates z
在这两种方法中，y 将排在第二位，其值将替换 x 的值，因此 b 在我们的最终结果中将指向 3。
如果您还没有使用 Python 3.5 或需要编写向后兼容的代码，并且您希望在一个单个表达式中实现这一点，那么最好的方法是把它放在一个函数中：
def merge_two_dicts(x, y):
"""Given two dictionaries, merge them into a new dict as a shallow copy."""
z = x.copy()
z.update(y)
return z
然后你有一个表达式：
z = merge_two_dicts(x, y)
您还可以创建一个函数来合并任意数量的字典，从零到一个非常大的数字：
def merge_dicts(*dict_args):
"""
Given any number of dictionaries, shallow copy and merge into a new dict,
precedence goes to key-value pairs in latter dictionaries.
"""
result = {}
for dictionary in dict_args:
result.update(dictionary)
return result
此函数适用于所有字典的 Python 2 和 3。例如给定字典 a 到 g:
z = merge_dicts(a, b, c, d, e, f, g)
g 中的键值对将优先于字典 a 到 f，依此类推。
不要使用您在以前接受的答案中看到的内容：
z = dict(x.items() + y.items())
在 Python 2 中，您在内存中为每个 dict 创建两个列表，在内存中创建长度等于前两个加在一起的长度的第三个列表，然后丢弃所有三个列表以创建 dict。 在 Python 3 中，这将失败，因为您将两个 dict_items 对象添加在一起，而不是两个列表 -
>>> c = dict(a.items() + b.items())
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
TypeError: unsupported operand type(s) for +: 'dict_items' and 'dict_items'
并且您必须将它们显式创建为列表，例如z = dict(list(x.items()) + list(y.items()))。这是对资源和计算能力的浪费。
同样，当值是不可散列的对象（例如列表）时，在 Python 3 中采用 items() 的并集（在 Python 2.7 中为 viewitems()）也会失败。即使您的值是可散列的，因为集合在语义上是无序的，所以关于优先级的行为是未定义的。所以不要这样做：
>>> c = dict(a.items() | b.items())
此示例演示了当值不可散列时会发生什么：
>>> x = {'a': []}
>>> y = {'b': []}
>>> dict(x.items() | y.items())
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
TypeError: unhashable type: 'list'
这是一个示例，其中 y 应该具有优先权，但由于集合的任意顺序，x 的值被保留：
>>> x = {'a': 2}
>>> y = {'a': 1}
>>> dict(x.items() | y.items())
{'a': 2}
另一个你不应该使用的技巧：
z = dict(x, **y)
这使用dict 构造函数，速度非常快且内存效率很高（甚至比我们的两步过程略高），但除非您确切知道这里发生了什么（也就是说，第二个 dict 被传递为dict 构造函数的关键字参数），很难阅读，这不是预期的用途，因此它不是 Pythonic。
以下是remediated in django 的用法示例。
字典旨在采用可散列的键（例如frozensets 或元组），但当键不是字符串时，此方法在 Python 3 中失败。
>>> c = dict(a, **b)
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
TypeError: keyword arguments must be strings
来自mailing list，该语言的创建者 Guido van Rossum 写道：
我很好 宣布 dict({}, **{1:3}) 非法，因为毕竟它是滥用 **机制。
和
显然 dict(x, **y) 正在作为“呼叫”的“酷黑客” x.update(y) 并返回 x"。我个人觉得它比 很酷。
我的理解（以及对creator of the language 的理解）dict(**y) 的预期用途是为了创建字典以提高可读性，例如：
dict(a=1, b=10, c=11)
而不是
{'a': 1, 'b': 10, 'c': 11}
尽管 Guido 说了什么，
dict(x, **y)符合 dict 规范，顺便说一句。适用于 Python 2 和 3。这仅适用于字符串键这一事实是关键字参数如何工作的直接结果，而不是 dict 的缺点。在这个地方使用 ** 运算符也不是滥用机制，事实上，** 正是为了将字典作为关键字传递而设计的。
同样，当键不是字符串时，它不适用于 3。隐式调用约定是命名空间采用普通字典，而用户必须只传递字符串形式的关键字参数。所有其他可调用对象都强制执行它。 dict 在 Python 2 中打破了这种一致性：
>>> foo(**{('a', 'b'): None})
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
TypeError: foo() keywords must be strings
>>> dict(**{('a', 'b'): None})
{('a', 'b'): None}
考虑到 Python 的其他实现（PyPy、Jython、IronPython），这种不一致很糟糕。因此它在 Python 3 中得到了修复，因为这种用法可能是一个重大变化。
我向您提出，故意编写仅适用于一种语言版本或仅在某些任意约束下有效的代码是恶意无能。
更多cmets：
dict(x.items() + y.items())仍然是 Python 2 最易读的解决方案。可读性很重要。
我的回复：merge_two_dicts(x, y) 实际上对我来说似乎更清楚，如果我们真的关心可读性的话。而且它不向前兼容，因为 Python 2 越来越被弃用。
{**x, **y}似乎不处理嵌套字典。嵌套键的内容只是被覆盖，而不是合并[...]我最终被这些不递归合并的答案烧毁了，我很惊讶没有人提到它。在我对“合并”一词的解释中，这些答案描述了“将一个字典与另一个字典更新”，而不是合并。
是的。我必须让你回到这个问题，它要求 两个 字典的 shallow 合并，第一个的值被第二个的值覆盖- 在一个表达式中。
假设有两个字典，其中一个可能会递归地将它们合并到一个函数中，但是您应该注意不要从任一源修改字典，避免这种情况的最可靠方法是在分配值时进行复制。由于键必须是可散列的，因此通常是不可变的，因此复制它们是没有意义的：
from copy import deepcopy
def dict_of_dicts_merge(x, y):
z = {}
overlapping_keys = x.keys() & y.keys()
for key in overlapping_keys:
z[key] = dict_of_dicts_merge(x[key], y[key])
for key in x.keys() - overlapping_keys:
z[key] = deepcopy(x[key])
for key in y.keys() - overlapping_keys:
z[key] = deepcopy(y[key])
return z
用法：
>>> x = {'a':{1:{}}, 'b': {2:{}}}
>>> y = {'b':{10:{}}, 'c': {11:{}}}
>>> dict_of_dicts_merge(x, y)
{'b': {2: {}, 10: {}}, 'a': {1: {}}, 'c': {11: {}}}
想出其他值类型的意外情况远远超出了这个问题的范围，所以我会指出你my answer to the canonical question on a "Dictionaries of dictionaries merge"。
这些方法的性能较差，但它们会提供正确的行为。
它们的性能将远低于 copy 和 update 或新的解包，因为它们在更高的抽象级别上迭代每个键值对，但它们确实 > 尊重优先顺序（后面的字典有优先级）
您也可以在 dict comprehension 中手动链接字典：
{k: v for d in dicts for k, v in d.items()} # iteritems in Python 2.7
或在 Python 2.6 中（可能早在 2.4 引入生成器表达式时）：
dict((k, v) for d in dicts for k, v in d.items()) # iteritems in Python 2
itertools.chain 将以正确的顺序将迭代器链接到键值对上：
from itertools import chain
z = dict(chain(x.items(), y.items())) # iteritems in Python 2
我只会对已知行为正确的用法进行性能分析。 （自成体系，您可以自己复制和粘贴。）
from timeit import repeat
from itertools import chain
x = dict.fromkeys('abcdefg')
y = dict.fromkeys('efghijk')
def merge_two_dicts(x, y):
z = x.copy()
z.update(y)
return z
min(repeat(lambda: {**x, **y}))
min(repeat(lambda: merge_two_dicts(x, y)))
min(repeat(lambda: {k: v for d in (x, y) for k, v in d.items()}))
min(repeat(lambda: dict(chain(x.items(), y.items()))))
min(repeat(lambda: dict(item for d in (x, y) for item in d.items())))
在 Python 3.8.1 中，NixOS：
>>> min(repeat(lambda: {**x, **y}))
1.0804965235292912
>>> min(repeat(lambda: merge_two_dicts(x, y)))
1.636518670246005
>>> min(repeat(lambda: {k: v for d in (x, y) for k, v in d.items()}))
3.1779992282390594
>>> min(repeat(lambda: dict(chain(x.items(), y.items()))))
2.740647904574871
>>> min(repeat(lambda: dict(item for d in (x, y) for item in d.items())))
4.266070580109954
$ uname -a
Linux nixos 4.19.113 #1-NixOS SMP Wed Mar 25 07:06:15 UTC 2020 x86_64 GNU/Linux
【讨论】：
{**{(0, 1):2}} -> {(0, 1): 2}
x | y
在你的情况下，你可以做的是：
z = dict(list(x.items()) + list(y.items()))
这将如您所愿，将最终的 dict 放入 z，并使键 b 的值被第二个 (y) dict 的值正确覆盖：
>>> x = {'a':1, 'b': 2}
>>> y = {'b':10, 'c': 11}
>>> z = dict(list(x.items()) + list(y.items()))
>>> z
{'a': 1, 'c': 11, 'b': 10}
如果您使用 Python 2，您甚至可以删除 list() 调用。创建 z：
>>> z = dict(x.items() + y.items())
>>> z
{'a': 1, 'c': 11, 'b': 10}
如果你使用 Python 3.9.0a4 或更高版本，那么你可以直接使用：
x = {'a':1, 'b': 2}
y = {'b':10, 'c': 11}
z = x | y
print(z)
{'a': 1, 'c': 11, 'b': 10}
【讨论】：
另一种选择：
z = x.copy()
z.update(y)
【讨论】：
Update 不是人们经常使用的“核心”功能之一。
(lambda z: z.update(y) or z)(x.copy())：P
另一个更简洁的选项：
z = dict(x, **y)
注意：这已成为一个流行的答案，但重要的是要指出，如果 y 有任何非字符串键，那么这完全有效的事实是滥用CPython 实现细节，它在 Python 3 或 PyPy、IronPython 或 Jython 中不起作用。另外，Guido is not a fan。所以我不能将这种技术推荐给前向兼容或交叉实现的可移植代码，这实际上意味着应该完全避免它。
【讨论】：
这可能不是一个受欢迎的答案，但您几乎可以肯定不想这样做。如果您想要一个合并的副本，请使用副本（或deepcopy，取决于您想要什么）然后更新。这两行代码比使用 .items() + .items() 创建的单行代码更具可读性 - 更 Pythonic。显式优于隐式。
此外，当您使用 .items()（Python 3.0 之前的版本）时，您正在创建一个包含来自字典的项目的新列表。如果您的字典很大，那么开销会很大（两个大列表将在创建合并的字典后立即被丢弃）。 update() 可以更有效地工作，因为它可以逐项运行第二个dict。
就time而言：
>>> timeit.Timer("dict(x, **y)", "x = dict(zip(range(1000), range(1000)))\ny=dict(zip(range(1000,2000), range(1000,2000)))").timeit(100000)
15.52571702003479
>>> timeit.Timer("temp = x.copy()\ntemp.update(y)", "x = dict(zip(range(1000), range(1000)))\ny=dict(zip(range(1000,2000), range(1000,2000)))").timeit(100000)
15.694622993469238
>>> timeit.Timer("dict(x.items() + y.items())", "x = dict(zip(range(1000), range(1000)))\ny=dict(zip(range(1000,2000), range(1000,2000)))").timeit(100000)
41.484580039978027
IMO 前两者之间的微小减速对于可读性而言是值得的。此外，创建字典的关键字参数仅在 Python 2.3 中添加，而 copy() 和 update() 将在旧版本中使用。
【讨论】：
在后续回答中，您询问了这两种替代方案的相对性能：
z1 = dict(x.items() + y.items())
z2 = dict(x, **y)
至少在我的机器上（运行 Python 2.5.2 的相当普通的 x86_64），替代 z2 不仅更短、更简单，而且速度明显更快。您可以使用 Python 附带的 timeit 模块自己验证这一点。
示例 1：将 20 个连续整数映射到自身的相同字典：
% python -m timeit -s 'x=y=dict((i,i) for i in range(20))' 'z1=dict(x.items() + y.items())'
100000 loops, best of 3: 5.67 usec per loop
% python -m timeit -s 'x=y=dict((i,i) for i in range(20))' 'z2=dict(x, **y)'
100000 loops, best of 3: 1.53 usec per loop
z2 以 3.5 倍左右的优势获胜。不同的字典似乎产生了截然不同的结果，但z2 似乎总是领先。 （如果您在 same 测试中得到不一致的结果，请尝试使用大于默认 3 的数字传入 -r。）
示例 2：非重叠字典将 252 个短字符串映射到整数，反之亦然：
% python -m timeit -s 'from htmlentitydefs import codepoint2name as x, name2codepoint as y' 'z1=dict(x.items() + y.items())'
1000 loops, best of 3: 260 usec per loop
% python -m timeit -s 'from htmlentitydefs import codepoint2name as x, name2codepoint as y' 'z2=dict(x, **y)'
10000 loops, best of 3: 26.9 usec per loop
z2 以大约 10 倍的优势获胜。在我看来，这是一个相当大的胜利！
比较这两者之后，我想知道z1 的糟糕表现是否可以归因于构建这两个项目列表的开销，这反过来又让我想知道这种变化是否会更好：
from itertools import chain
z3 = dict(chain(x.iteritems(), y.iteritems()))
一些快速测试，例如
% python -m timeit -s 'from itertools import chain; from htmlentitydefs import codepoint2name as x, name2codepoint as y' 'z3=dict(chain(x.iteritems(), y.iteritems()))'
10000 loops, best of 3: 66 usec per loop
让我得出结论，z3 比z1 快一些，但不如z2 快。绝对不值得所有额外的输入。
这个讨论仍然缺少一些重要的东西，即这些替代方案与合并两个列表的“明显”方法的性能比较：使用update 方法。为了尽量与表达式保持平等，其中没有一个修改 x 或 y，我将复制 x 而不是就地修改它，如下所示：
z0 = dict(x)
z0.update(y)
一个典型的结果：
% python -m timeit -s 'from htmlentitydefs import codepoint2name as x, name2codepoint as y' 'z0=dict(x); z0.update(y)'
10000 loops, best of 3: 26.9 usec per loop
换句话说，z0 和 z2 似乎具有基本相同的性能。你认为这可能是巧合吗？我没有……
事实上，我什至声称纯 Python 代码不可能做得比这更好。如果你可以在 C 扩展模块中做得更好，我想 Python 人可能会对将你的代码（或你的方法的变体）合并到 Python 核心感兴趣。 Python 在很多地方都使用了dict；优化其运营是一件大事。
你也可以这样写
z0 = x.copy()
z0.update(y)
就像 Tony 所做的那样，但（并不奇怪）符号的差异对性能没有任何可衡量的影响。使用任何适合您的方式。当然，他完全正确地指出，双语句版本更容易理解。
【讨论】：
items() 不可连接，iteritems 不存在。
在 Python 3.0 及更高版本中，您可以使用 collections.ChainMap 将多个 dicts 或其他映射组合在一起以创建一个可更新的单一视图：
>>> from collections import ChainMap
>>> x = {'a':1, 'b': 2}
>>> y = {'b':10, 'c': 11}
>>> z = dict(ChainMap({}, y, x))
>>> for k, v in z.items():
print(k, '-->', v)
a --> 1
b --> 10
c --> 11
Python 3.5 及更高版本的更新：您可以使用PEP 448 扩展字典打包和解包。这既快速又简单：
>>> x = {'a':1, 'b': 2}
>>> y = {'b':10, 'c': 11}
>>> {**x, **y}
{'a': 1, 'b': 10, 'c': 11}
Python 3.9 及更高版本的更新：您可以使用PEP 584 联合运算符：
>>> x = {'a':1, 'b': 2}
>>> y = {'b':10, 'c': 11}
>>> x | y
{'a': 1, 'b': 10, 'c': 11}
【讨论】：
del 时说，ChainMap c 将删除第一个映射那个键。
dict 以避免这种情况，即：dict(ChainMap({}, y, x))
a single, updateable view。应该还原此修改。
我想要类似的东西，但能够指定重复键上的值如何合并，所以我破解了这个（但没有进行大量测试）。显然这不是一个单一的表达式，而是一个单一的函数调用。
def merge(d1, d2, merge_fn=lambda x,y:y):
"""
Merges two dictionaries, non-destructively, combining
values on duplicate keys as defined by the optional merge
function. The default behavior replaces the values in d1
with corresponding values in d2. (There is no other generally
applicable merge strategy, but often you'll have homogeneous
types in your dicts, so specifying a merge technique can be
valuable.)
Examples:
>>> d1
{'a': 1, 'c': 3, 'b': 2}
>>> merge(d1, d1)
{'a': 1, 'c': 3, 'b': 2}
>>> merge(d1, d1, lambda x,y: x+y)
{'a': 2, 'c': 6, 'b': 4}
"""
result = dict(d1)
for k,v in d2.iteritems():
if k in result:
result[k] = merge_fn(result[k], v)
else:
result[k] = v
return result
【讨论】：
def deepupdate(original, update):
"""
Recursively update a dict.
Subdict's won't be overwritten but also updated.
"""
for key, value in original.iteritems():
if key not in update:
update[key] = value
elif isinstance(value, dict):
deepupdate(value, update[key])
return update演示：
pluto_original = {
'name': 'Pluto',
'details': {
'tail': True,
'color': 'orange'
}
}
pluto_update = {
'name': 'Pluutoo',
'details': {
'color': 'blue'
}
}
print deepupdate(pluto_original, pluto_update)输出：
{
'name': 'Pluutoo',
'details': {
'color': 'blue',
'tail': True
}
}感谢 rednaw 的编辑。
【讨论】：
Python 3.5 (PEP 448) 允许更好的语法选项：
x = {'a': 1, 'b': 1}
y = {'a': 2, 'c': 2}
final = {**x, **y}
final
# {'a': 2, 'b': 1, 'c': 2}
甚至
final = {'a': 1, 'b': 1, **x, **y}
在 Python 3.9 中，您还可以使用 |和 |= 使用 PEP 584 中的以下示例
d = {'spam': 1, 'eggs': 2, 'cheese': 3}
e = {'cheese': 'cheddar', 'aardvark': 'Ethel'}
d | e
# {'spam': 1, 'eggs': 2, 'cheese': 'cheddar', 'aardvark': 'Ethel'}
【讨论】：
dict(x, **y)-解决方案更好？正如您 (@CarlMeyer) 在您自己的回答 (stackoverflow.com/a/39858/2798610) 注释中提到的那样，Guido 认为该解决方案 非法。
dict(x, **y) 的（非常好的）原因是它依赖于 y 仅具有有效关键字参数名称的键（除非您使用 CPython 2.7，其中 dict 构造函数作弊） .此反对/限制不适用于 PEP 448，它将 ** 解包语法推广到 dict 文字。所以这个方案和dict(x, **y)一样简洁，没有缺点。
不使用副本时我能想到的最佳版本是：
from itertools import chain
x = {'a':1, 'b': 2}
y = {'b':10, 'c': 11}
dict(chain(x.iteritems(), y.iteritems()))
它比dict(x.items() + y.items()) 快，但不如n = copy(a); n.update(b) 快，至少在CPython 上是这样。如果您将 iteritems() 更改为 items()，此版本也适用于 Python 3，这是由 2to3 工具自动完成的。
我个人最喜欢这个版本，因为它用一个函数式语法很好地描述了我想要的东西。唯一的小问题是，来自 y 的值优先于来自 x 的值并没有完全明显，但我认为这并不难弄清楚。
【讨论】：
x = {'a':1, 'b': 2}
y = {'b':10, 'c': 11}
z = dict(x.items() + y.items())
print z
对于在两个字典中都有键的项目 ('b')，您可以通过将其放在最后来控制哪个最终出现在输出中。
【讨论】：
虽然这个问题已经被回答了好几次， 这个问题的简单解决方案还没有列出来。
x = {'a':1, 'b': 2}
y = {'b':10, 'c': 11}
z4 = {}
z4.update(x)
z4.update(y)
它和上面提到的z0和邪恶的z2一样快，但是容易理解和改变。
【讨论】：
z4 = {} 并将下一行更改为 z4 = x.copy() -- 好于只有好的代码不会做不必要的事情（这使得它更具可读性和可维护性）。
def dict_merge(a, b):
c = a.copy()
c.update(b)
return c
new = dict_merge(old, extras)
在这些阴暗和可疑的答案中，这个光辉的例子是在 Python 中合并 dicts 的唯一好方法，得到了 dictator for life Guido van Rossum 本人的认可！其他人建议了一半，但没有将其放入函数中。
print dict_merge(
{'color':'red', 'model':'Mini'},
{'model':'Ferrari', 'owner':'Carl'})
给予：
{'color': 'red', 'owner': 'Carl', 'model': 'Ferrari'}
【讨论】：
如果你认为 lambdas 是邪恶的，那就不要再读下去了。 根据要求，您可以使用一个表达式编写快速且节省内存的解决方案：
x = {'a':1, 'b':2}
y = {'b':10, 'c':11}
z = (lambda a, b: (lambda a_copy: a_copy.update(b) or a_copy)(a.copy()))(x, y)
print z
{'a': 1, 'c': 11, 'b': 10}
print x
{'a': 1, 'b': 2}
如上所述，使用两行代码或编写一个函数可能是更好的方法。
【讨论】：
是pythonic。使用comprehension:
z={i:d[i] for d in [x,y] for i in d}
>>> print z
{'a': 1, 'c': 11, 'b': 10}
【讨论】：
def dictmerge(*args): return {i:d[i] for d in args for i in d}
z={k: v for d in (x, y) for k, v in d.items()}
在python3中，items方法no longer returns a list，而是一个view，它的作用就像一个集合。在这种情况下，您需要使用 set union，因为与 + 连接不起作用：
dict(x.items() | y.items())
对于 2.7 版中的类似 python3 的行为，viewitems 方法应该可以代替 items：
dict(x.viewitems() | y.viewitems())
无论如何我更喜欢这种表示法，因为将其视为集合并集操作而不是串联（如标题所示）似乎更自然。
编辑：
关于 python 3 的更多要点。首先，请注意 dict(x, **y) 技巧在 python 3 中不起作用，除非 y 中的键是字符串。
此外，Raymond Hettinger 的 Chainmap answer 非常优雅，因为它可以将任意数量的字典作为参数，但 from the docs 它看起来像是按顺序查看每个查找的所有字典的列表：
查找连续搜索底层映射，直到找到一个键。
如果您的应用程序中有大量查找，这可能会减慢您的速度：
In [1]: from collections import ChainMap
In [2]: from string import ascii_uppercase as up, ascii_lowercase as lo; x = dict(zip(lo, up)); y = dict(zip(up, lo))
In [3]: chainmap_dict = ChainMap(y, x)
In [4]: union_dict = dict(x.items() | y.items())
In [5]: timeit for k in union_dict: union_dict[k]
100000 loops, best of 3: 2.15 µs per loop
In [6]: timeit for k in chainmap_dict: chainmap_dict[k]
10000 loops, best of 3: 27.1 µs per loop
因此，查找速度要慢一个数量级。我是 Chainmap 的粉丝，但在可能有很多查找的地方看起来不太实用。
【讨论】：
两个字典
def union2(dict1, dict2):
return dict(list(dict1.items()) + list(dict2.items()))
n 个字典
def union(*dicts):
return dict(itertools.chain.from_iterable(dct.items() for dct in dicts))
sum 性能不佳。见https://mathieularose.com/how-not-to-flatten-a-list-of-lists-in-python/
【讨论】：
使用保留顺序的 itertools 的简单解决方案（后面的 dicts 优先）
# py2
from itertools import chain, imap
merge = lambda *args: dict(chain.from_iterable(imap(dict.iteritems, args)))
# py3
from itertools import chain
merge = lambda *args: dict(chain.from_iterable(map(dict.items, args)))
它的用法：
>>> x = {'a':1, 'b': 2}
>>> y = {'b':10, 'c': 11}
>>> merge(x, y)
{'a': 1, 'b': 10, 'c': 11}
>>> z = {'c': 3, 'd': 4}
>>> merge(x, y, z)
{'a': 1, 'b': 10, 'c': 3, 'd': 4}
【讨论】：
滥用导致Matthew's answer 的单一表达式解决方案：
>>> x = {'a':1, 'b': 2}
>>> y = {'b':10, 'c': 11}
>>> z = (lambda f=x.copy(): (f.update(y), f)[1])()
>>> z
{'a': 1, 'c': 11, 'b': 10}
你说你想要一个表达式，所以我滥用lambda 来绑定一个名称，并使用元组来覆盖 lambda 的一个表达式限制。随意畏缩。
如果您不关心复制，当然也可以这样做：
>>> x = {'a':1, 'b': 2}
>>> y = {'b':10, 'c': 11}
>>> z = (x.update(y), x)[1]
>>> z
{'a': 1, 'b': 10, 'c': 11}
【讨论】：
尽管答案对于这个 shallow 字典来说是好的，但这里定义的方法都没有真正进行深度字典合并。
示例如下：
a = { 'one': { 'depth_2': True }, 'two': True }
b = { 'one': { 'extra': False } }
print dict(a.items() + b.items())
人们会期待这样的结果：
{ 'one': { 'extra': False', 'depth_2': True }, 'two': True }
相反，我们得到了这个：
{'two': True, 'one': {'extra': False}}
如果它确实是一个合并，那么“one”条目应该在其字典中包含“depth_2”和“extra”作为项目。
使用链也行不通：
from itertools import chain
print dict(chain(a.iteritems(), b.iteritems()))
结果：
{'two': True, 'one': {'extra': False}}
rcwesick 提供的深度合并也产生了相同的结果。
是的，它可以合并示例字典，但它们都不是通用的合并机制。一旦我编写了一个真正合并的方法，我稍后会更新它。
【讨论】：
如果你不介意修改x，
x.update(y) or x
简单、易读、高性能。你知道update() 总是返回None，这是一个假值。所以上面的表达式在更新后总是会计算为x。
标准库中的大多数变异方法（如.update()）按照约定返回None，因此这种模式也适用于这些方法。但是，如果您使用 dict 子类或其他不遵循此约定的方法，则 or 可能会返回其左操作数，这可能不是您想要的。相反，您可以使用元组显示和索引，无论第一个元素的计算结果如何（尽管它不是很漂亮），它都可以工作：
(x.update(y), x)[-1]
如果您的变量中还没有x，您可以使用lambda 在不使用赋值语句的情况下创建一个局部变量。这相当于将lambda 用作let 表达式，这是函数式语言中的常用技术，但可能不是pythonic。
(lambda x: x.update(y) or x)({'a': 1, 'b': 2})
虽然它与下面使用 new walrus 运算符（仅限 Python 3.8+）并没有太大区别，
(x := {'a': 1, 'b': 2}).update(y) or x
特别是如果您使用默认参数：
(lambda x={'a': 1, 'b': 2}: x.update(y) or x)()
如果您确实想要一份副本，PEP 584 样式 x | y 是 3.9+ 上最 Pythonic 的。如果您必须支持旧版本，PEP 448 样式 {**x, **y} 对于 3.5+ 最简单。但是，如果您的（甚至更旧的）Python 版本不支持该功能，那么 let 表达式 模式也可以在这里使用。
(lambda z=x.copy(): z.update(y) or z)()
（当然，这几乎等同于 (z := x.copy()).update(y) or z，但如果您的 Python 版本足够新，那么 PEP 448 样式将可用。）
【讨论】：
Python 3.9 中的New： 使用联合运算符（|）合并dicts，类似于sets：
>>> d = {'a': 1, 'b': 2}
>>> e = {'a': 9, 'c': 3}
>>> d | e
{'a': 9, 'b': 2, 'c': 3}
对于匹配键，右 dict 优先。
这也适用于|= 就地修改dict：
>>> e |= d # e = e | d
>>> e
{'a': 1, 'c': 3, 'b': 2}
【讨论】：
.update 什么都不返回真是太愚蠢了。
我只是使用一个简单的辅助函数来解决问题：
def merge(dict1,*dicts):
for dict2 in dicts:
dict1.update(dict2)
return dict1
例子：
merge(dict1,dict2)
merge(dict1,dict2,dict3)
merge(dict1,dict2,dict3,dict4)
merge({},dict1,dict2) # this one returns a new copy
【讨论】：
（仅适用于 Python2.7*；对于 Python3* 有更简单的解决方案。）
如果您不反对导入标准库模块，您可以这样做
from functools import reduce
def merge_dicts(*dicts):
return reduce(lambda a, d: a.update(d) or a, dicts, {})
（lambda 中的or a 位是必需的，因为dict.update 总是在成功时返回None。）
【讨论】：
在这里和其他地方借鉴想法，我理解了一个函数：
def merge(*dicts, **kv):
return { k:v for d in list(dicts) + [kv] for k,v in d.items() }
用法（在python 3中测试）：
assert (merge({1:11,'a':'aaa'},{1:99, 'b':'bbb'},foo='bar')==\
{1: 99, 'foo': 'bar', 'b': 'bbb', 'a': 'aaa'})
assert (merge(foo='bar')=={'foo': 'bar'})
assert (merge({1:11},{1:99},foo='bar',baz='quux')==\
{1: 99, 'foo': 'bar', 'baz':'quux'})
assert (merge({1:11},{1:99})=={1: 99})
您可以改用 lambda。
【讨论】：
迄今为止列出的解决方案的问题是，在合并字典中，键“b”的值为 10，但按照我的思维方式，它应该是 12。 鉴于此，我提出以下内容：
import timeit
n=100000
su = """
x = {'a':1, 'b': 2}
y = {'b':10, 'c': 11}
"""
def timeMerge(f,su,niter):
print "{:4f} sec for: {:30s}".format(timeit.Timer(f,setup=su).timeit(n),f)
timeMerge("dict(x, **y)",su,n)
timeMerge("x.update(y)",su,n)
timeMerge("dict(x.items() + y.items())",su,n)
timeMerge("for k in y.keys(): x[k] = k in x and x[k]+y[k] or y[k] ",su,n)
#confirm for loop adds b entries together
x = {'a':1, 'b': 2}
y = {'b':10, 'c': 11}
for k in y.keys(): x[k] = k in x and x[k]+y[k] or y[k]
print "confirm b elements are added:",x
0.049465 sec for: dict(x, **y)
0.033729 sec for: x.update(y)
0.150380 sec for: dict(x.items() + y.items())
0.083120 sec for: for k in y.keys(): x[k] = k in x and x[k]+y[k] or y[k]
confirm b elements are added: {'a': 1, 'c': 11, 'b': 12}
【讨论】：
cytoolz.merge_with (toolz.readthedocs.io/en/latest/…) 感兴趣
感谢PEP 572: Assignment Expressions，在 Python 3.8 发布时会有一个新选项 (scheduled for 20 October, 2019)。新的赋值表达式运算符:= 允许您分配copy 的结果并仍然使用它来调用update，使组合代码成为一个表达式，而不是两个语句，改变：
newdict = dict1.copy()
newdict.update(dict2)
到：
(newdict := dict1.copy()).update(dict2)
在各方面表现相同。如果您还必须返回结果dict（您要求返回dict的表达式；上面创建并分配给newdict，但不返回它，因此您不能使用它来传递参数按原样添加到函数中，例如myfunc((newdict := dict1.copy()).update(dict2))），然后只需将or newdict 添加到末尾（因为update 返回None，这是错误的，然后它将评估并返回newdict 作为表达式）：
(newdict := dict1.copy()).update(dict2) or newdict
重要的警告：一般来说，我不赞成这种方法，而是赞成：
newdict = {**dict1, **dict2}
解包方法更清晰（对于首先了解通用解包的任何人，which you should），根本不需要结果的名称（因此在构造立即传递给函数或包含在 list/tuple 文字等中），并且几乎可以肯定也更快，（在 CPython 上）大致相当于：
newdict = {}
newdict.update(dict1)
newdict.update(dict2)
但在 C 层完成，使用具体的dict API，因此不涉及动态方法查找/绑定或函数调用调度开销（其中(newdict := dict1.copy()).update(dict2) 在行为上不可避免地与原始的两行代码相同，执行以离散步骤进行工作，动态查找/绑定/调用方法。
它也更具可扩展性，因为合并三个dicts 很明显：
newdict = {**dict1, **dict2, **dict3}
使用赋值表达式不会像那样缩放；你能得到的最接近的是：
(newdict := dict1.copy()).update(dict2), newdict.update(dict3)
或没有Nones 的临时元组，但对每个None 结果进行真实性测试：
(newdict := dict1.copy()).update(dict2) or newdict.update(dict3)
其中任何一个显然都更丑陋，并且还包括进一步的低效率（要么浪费了Nones 的临时tuple 用于逗号分隔，要么对每个update 的None 进行无意义的真实性测试以返回@987654354 @分离）。
赋值表达式方法的唯一真正优势在于：
sets 和dicts 的通用代码（它们都支持copy 和update，因此代码的工作原理与您的预期大致相同） dict 本身，并且必须保留左侧的类型和语义（而不是以普通dict)。虽然myspecialdict({**speciala, **specialb}) 可能会起作用，但它会涉及一个额外的临时dict，并且如果myspecialdict 具有普通dict 无法保留的功能（例如，常规dicts 现在根据密钥的第一次出现保留顺序, 和基于键的最后出现的值；您可能想要一个基于键的 last 外观保留顺序的键，因此更新值也会将其移至末尾），那么语义将是错的。由于赋值表达式版本使用命名方法（可能被重载以适当地表现），它根本不会创建dict（除非dict1 已经是dict），保留原始类型（和原始类型的语义） )，同时避免任何临时性。【讨论】：
from collections import Counter
dict1 = {'a':1, 'b': 2}
dict2 = {'b':10, 'c': 11}
result = dict(Counter(dict1) + Counter(dict2))
这应该可以解决您的问题。
【讨论】：
.update() 而不是 +。这是因为，如果任何键的总和结果为 0，Counter 将删除它。
这可以通过单个 dict 理解来完成：
>>> x = {'a':1, 'b': 2}
>>> y = {'b':10, 'c': 11}
>>> { key: y[key] if key in y else x[key]
for key in set(x) + set(y)
}
在我看来，“单一表达式”部分的最佳答案是不需要额外的功能，而且很短。
【讨论】：