更新切片列表

Question

我以为我了解 Python 切片操作，但是当我尝试更新切片列表时，我感到困惑：

>>> foo = [1, 2, 3, 4]
>>> foo[:1] = ['one'] # OK, foo updated
>>> foo
['one', 2, 3, 4] 
>>> foo[:][1] = 'two' # why foo not updated?
>>> foo
['one', 2, 3, 4] 
>>> foo[:][2:] = ['three', 'four'] # Again, foo not updated
>>> foo
['one', 2, 3, 4] 

为什么 foo 在foo[:][1] = 'two' 之后没有更新？

更新：也许我没有清楚地解释我的问题。我知道切片时会创建一个新列表。我的疑问是为什么切片分配会更新列表（例如foo[:1] = ['one']），但如果有两个切片级别，它不会更新原始列表（例如foo[:][2:] = ['three', 'four']）。

Answer 1

foo[:] 是foo 的副本。你改变了副本。

Answer 2

这是因为 python 不 具有可以分配的 l 值。相反，有些表达式有一个赋值形式，这是不同的。

foo[something] 是语法糖：

foo.__getitem__(something)

但是foo[something] = bar 是一个语法糖，用于完全不同：

foo.__setitem__(something, bar)

其中切片只是something 的特例，因此foo[x:y] 扩展为

foo.__getitem__(slice(x, y, None))

foo[x:y] = bar 扩展为

foo.__setitem__(slice(x, y, None), bar)

现在带有切片的__getitem__ 返回一个新列表，该列表是指定范围的副本，因此修改它不会影响原始数组。并且通过__setitem__ 是一种不同的方法分配作品，可以简单地做其他事情。

但是，特殊赋值处理仅适用于最外层的操作。成分是正常的表达。所以当你写

foo[:][1] = 'two'

它被扩展为

foo.__getitem__(slice(None, None, None)).__setitem__(1, 'two')

foo.__getitem__(slice(None, None, None)) 部分创建一个副本，该副本由__setitem__ 修改。但不是原来的数组。

Answer 3

这里要注意的主要事情是foo[:] 将返回其自身的副本，然后索引[1] 将应用于返回的复制列表

# indexing is applied on copied list
(foo[:])[1] = 'two'
    ^
copied list

如果您保留对复制列表的引用，则可以查看此内容。因此，foo[:][1] = 'two' 操作可以重写为：

foo = [1, 2, 3, 4]

# the following is similar to foo[:][1] = 'two'

copy_foo = foo[:]  
copy_foo[1] = 'two'

现在，copy_foo 已更改：

print(copy_foo)
# [1, 'two', 3, 4]

但是，foo 保持不变：

print(foo)
# [1, 2, 3, 4]

在您的情况下，您没有通过使用foo[:] 复制foo 列表来命名中间结果，也就是说，您没有保留对它的引用。在使用foo[:][1] = 'two' 执行对'two' 的分配后，中间复制列表不再存在。

Answer 4

使用

foo[1]  = 'two'

和

foo[2:] = ['three', 'four']

它有效。

答案在上面的评论中（因为您使用的是副本）