元组中的星号，列表和集定义，dict定义中的双星号

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}