为什么我不能将任意迭代分配给步长为-1的扩展切片？

Question

Python 3.2.3 (default, Apr 11 2012, 07:15:24) [MSC v.1500 32 bit (Intel)] on win
32
Type "help", "copyright", "credits" or "license" for more information.
>>> u = [4, 5, 6, 7, 8, 9]
>>> u[1::1] = [3, 2, 1, 0]
>>> u
[4, 3, 2, 1, 0]
>>> u[9:0:-1] = [8, 7, 6, 5]
>>> u
[4, 5, 6, 7, 8]
>>> u[9:0:-1] = [16, 12, 8]
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
ValueError: attempt to assign sequence of size 3 to extended slice of size 4
>>> u
[4, 5, 6, 7, 8]
>>>

预期行为:最终赋值语句不会抛出异常; u应该在最后一行打印为[4, 8, 12, 16].

我可以分配一个步长为1的扩展切片,即使我正在分配的可迭代是"错误的长度".那么为什么我不能分配一个步长为-1的扩展切片并让它以明显的方式工作？

Answer 1

我认为创建一个步长为 1 的扩展切片实际上就像一个常规切片而不是一个扩展切片。

扩展切片不允许您更改序列的长度，如此处所述

如果您有可变序列（例如列表或数组），则可以分配或删除扩展切片，但分配给扩展切片和常规切片之间存在一些差异。分配给常规切片可用于更改序列的长度。 扩展切片就没那么灵活了。当分配给扩展切片时，语句右侧的列表必须包含与其要替换的切片相同数量的项目。

至于为什么会这样，我只能猜测是因为没有明显行为的情况。举个例子：

u = [ 1, 2, 3, 4, 5, 6, 7, 8, 9 ]
u[0:8:3] = [ 10, 11 ]

您希望这如何发挥作用？我想你可以用 10 和 11 代替 1 和 4，但是 7 呢？你留下它吗？删除它？删除 7 之后的整个序列的其余部分？也许只有我这么认为，但这个案子似乎不太明确。我认为这就是为什么扩展切片不允许这种行为的原因。