python - 元组，列表和集合定义中的星号，字典定义中的双星号

Question

我现在正在使用 Python 3.5 解释器并发现非常有趣的行为：

>>> (1,2,3,"a",*("oi", "oi")*3)
(1, 2, 3, 'a', 'oi', 'oi', 'oi', 'oi', 'oi', 'oi')
>>> [1,2,3,"a",*range(10)]
[1, 2, 3, 'a', 0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
>>> ('aw','aw',*range(10),*(x**2 for x in range(10)))
('aw', 'aw', 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 0, 1, 4, 9, 16, 25, 36, 49, 64, 81)
>>> {"trali":"vali", **dict(q=1,p=2)}
{'q': 1, 'p': 2, 'trali': 'vali'}
>>> {"a",1,11,*range(5)}
{0, 1, 2, 3, 4, 11, 'a'}

尽管我有多年的 Python 经验，但我从未在文档和示例中或任何源代码中看到过这种情况。我发现它非常有用。

从 Python 语法的角度来看，这对我来说似乎是合乎逻辑的。函数参数和元组可以被解析为相同或相似的状态。

它是记录在案的行为吗？它记录在哪里？

哪些版本的 Python 具有此功能？

Answer 1

这是PEP-448: Additional Unpacking Generalizations，它是 Python 3.5 中的新功能。

相关的更改日志位于https://docs.python.org/3/whatsnew/3.5.html#pep-448-additional-unpacking-generalizations：

PEP 448 扩展了*可迭代解包运算符和**字典解包运算符的允许用途。现在可以在函数调用中使用任意数量的解包：

>>>

>>> print(*[1], *[2], 3, *[4, 5])
1 2 3 4 5

>>> def fn(a, b, c, d):
...     print(a, b, c, d)
...

>>> fn(**{'a': 1, 'c': 3}, **{'b': 2, 'd': 4})
1 2 3 4

类似地，元组、列表、集合和字典显示允许多次解包：

>>>

>>> *range(4), 4
(0, 1, 2, 3, 4)

>>> [*range(4), 4]
[0, 1, 2, 3, 4]

>>> {*range(4), 4, *(5, 6, 7)}
{0, 1, 2, 3, 4, 5, 6, 7}

>>> {'x': 1, **{'y': 2}}
{'x': 1, 'y': 2}