为什么 * 在赋值语句和函数调用中的工作方式不同？

Question

在 Python 中，可变参数集合的工作方式似乎与序列解包在赋值语句中的工作方式完全不同。我试图了解这种可能令人困惑的差异的原因。我敢肯定有一个很好的理由，但它是什么？

# Example 1 with assignment statement
a, *b, c = 1,2,3,4
print(b) # [2, 3]

# Example 1 with function call
def foo(a, *b, c):
    print(b)
foo(1,2,3,4)

函数调用导致如下错误：

Traceback (most recent call last):
  File "<pyshell#309>", line 1, in <module>
    foo(1,2,3,4)
TypeError: foo() missing 1 required keyword-only argument: 'c'

问题1：为什么b不赋值类似于赋值语句中的赋值方式？

# Example 2 with function call
def foo(*x):
    print(x)
    print(type(x))
foo(1,2,3) # (1, 2, 3) <class 'tuple'>

# Example 2 with assignment statement
a, *b, c = 1,2,3,4,5
print(b) # [2, 3, 4]
print(type(b)) # <class 'list'>

问题 2：为什么类型不同（列表 vs 元组）？

Answer 1

当在赋值中使用时，Python 将尝试使 *b 匹配它需要的任何内容以使赋值起作用（这是 Python 3 中的新功能，请参阅 PEP 3132）。这些都是有效的：

a, *b, c = 1,4
print(b) # []

a, *b, c = 1,2,3,4,5 
print(b) # [2, 3, 4]

在函数中使用时，如果*b是函数定义中的第二个参数，它将匹配函数调用中倒数第二个参数，如果有的话。当您希望函数接受可变数量的参数时使用它。一些例子：

def foo(a, *b):
    print(b)
foo(1) # ()
foo(1,2,3,4,5) # (2,3,4,5)

我建议您阅读以下内容：

• PEP 3132 -- Extended Iterable Unpacking

• Understanding the asterisk(*) of Python.

• Unpacking Argument Lists.

• Keyword Arguments

---

关于列表和元组之间的区别，最大的区别在于可变性。列表是可变的，元组不是。这意味着这有效：

myList = [1, 2, 3]
myList[1] = 4
print(myList) # [1, 4, 3]

这不是：

myTuple = (1, 2, 3)
myTuple[1] = 4 # TypeError: 'tuple' object does not support item assignment

b在这种情况下是一个列表的原因：

a, *b, c = 1,2,3,4,5 
print(b) # [2, 3, 4]

而不是元组（就像在函数中使用 *args 时的情况一样），因为您可能希望在分配后对 b 做一些事情，所以最好将其设为列表，因为列表是可变的。使其成为元组而不是列表是在被接受为功能之前考虑的可能更改之一，如PEP 3132 中所述：

使加星标的目标成为一个元组而不是一个列表。这将是 与函数的 *args 一致，但对 结果更难。