为什么a = [1,2,3]返回[]为什么a [1：-1：-1]？

Question

我观察到，如果 a 是带有Elements [1,2,3] 的列表（或Numpy数组），我要求 a [1： - - - 1：-1] ，然后我得到空列表。我希望获得 [2,1] ，假设切片跨越可从1到-1的索引，排除了最后一个值（不包括-1），那就是索引1和0。

实际行为可能具有一定的理由，但是当一个人需要从某些通用索引 i 开始到索引时，就可以使事情比预期的比预期更复杂。 i+m （排除）以相反的顺序。一个人会倾向于编写 a [i+m-1：i-1：-1] ，但如果 i 设置为0。对于所有 i ，但零看起来像是一种令人讨厌的矛盾。显然，有解决方法：

1. 一个人可以编写 a [i+m-1-n：i-1-n：-1] 通过 -n 在其中 code > n 是数组长度；或者
2. 可以写 a [i：i+m] [:: - 1] 。

但是，在情况1中，需要知道阵列长度显得不自然，如果在紧密的环中进行切片，则双重索引似乎是不是很合理的开销。

• 有什么重要的原因是我不遗余力地行为是如此重要吗？

• Numpy社区是否考虑过此问题？

• 有比我想出的更好的解决方法了吗？

Answer 1

Numpy从Python的序列索引中采用了这种行为，该规则被解释了这里（有关一些历史记录，请参见下文）。特别是脚注（5）读：

s 的切片来自 i to j 带有步骤 k 定义为带有项目的序列，索引 x = i + n*k ，以便 0＆lt; = n＆lt; （JI）/K 。换句话说，这些索引是 i ， i+k ， i+2*k ， i+3*k 等等，当达到 j 时停止（但永远不会包括 j ）。当 k 为正时， i 和 j 如果它们更大，则将其简化为 len（s）。当 k 为负时， i 和 j 将减少到 len（s）-1 （如果它们更大）。如果 i 或 j 被省略或 none ，它们成为“结束”值（结束取决于 k 的符号代码>）。注意， k 不能为零。如果 k 无，则将其视为 1 。




因此，这些索引是从乘数生成的 n ，但要受 0＆lt; = n＆lt; （JI）/K 。对于您的特定示例（JI）/K＆lt; 0 ，因此没有计算索引。

对于numpy数组 a [i：i+m] [:: - 1] 生成了基础数组的视图，即它的开销可以忽略不计，因此似乎是一个有效的解决方案。显然，它传达了意图，即“从某些通用索引 i 开始，以 a 的子阵列为子阵列 index i+m （排除）以相反的顺序“ 。

另外，您可以使用无作为停止参数，如果 i 为零：

a[i+m-1:(None if i==0 else i-1):-1]

历史

最初，Python通过 __ getslice __ /release/1.4/ref/ref3.html#hdr5“ rel =“ nofollow noreferrer”>在这里）不允许步骤参数，即它仅使用了2个argument form： a [[ a [ I：J] 。这是通过内置序列（例如 list ）实现的。那时，在1995年左右，在矩阵sig （特殊兴趣组）。该前任实现了一个特定的 slice 类型，该类型也可以用来指定一个所谓的 stride （现在 step ），形式与今天非常相似 slice ：例如 a [slice（none，none，none，2）] 。被要求扩展python的语法以允许今天知道的3型切片： a [:: 2] （请参阅eg 此线程）。这是以键入并将传递给 __ getItem __ ，而不是 __ getlice __ 。因此，当时， a [i：j] 被解析为 a .__ getlice __（i，j）而 a [i：j：k] 被解析为 a .__ getItem __（slice（i，j，k））。那时，数值python甚至允许使用2型切片，将第二个参数解释为大步（请参阅 docs ; eg a [i：-1] 等效于 a [i :: - 1] 对于数组对象 a ）。阵列的索引是针对Python序列的索引如何工作的：包括开始索引，不包括停止索引（请参见在这里）。这也适用于负面大步（步骤），因此提供了今天可以观察到的行为。该决定可能是基于最小令人惊讶的原理//docs.python.org/release/1.5/lib/node10.html#section00315000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000来源程序。
花了很长时间，直到Python 2.3为内置类型实施了扩展的切片功能，包括一项步骤（请参阅什么新功能和注意，该文档的2.3版本包含一个错误的切片描述，该阶跃是固定用于2.4版本）。

Answer 2

-1作为索引具有特殊的含义[1]，它被列表的最高=最后一个索引代替。
因此， a [1：-1：-1] 变为空的代码> A [1：2：-1] 是空的。

[1]实际上，Python中的所有负数索引都这样工作。 -1是指列表的最后一个元素，-2二次到二次，-3之前的元素，依此类推。

Answer 3

列表[1：-1：-1] 表示列表[开始索引：end Index：jump]

列表中的索引：

数字	1	2	3
索引	0	1	2
索引	-3	-2	-1

因此，如果我们列出列表 a [1,2,3] 并找到 a [1：： -1：-1] 表示<代码>启动index = 1，end index = -1，jump = -1

so，列表穿越

索引1（IE编号= 2）到索引-1（IE编号= 3），但跳跃= -1（表示向后位置）

所以，返回一个空列表 ie []

Answer 4

正如其他人所指出的 -1 ，终点具有特殊的意思

In [66]: a=[1,2,3]

，将其缩回开始，最好使用 none ：

In [68]: a[1::-1]
Out[68]: [2, 1]
In [69]: a[1:None:-1]
Out[69]: [2, 1]

处理可以跨越边界的切片，任一方都可能很棘手：

In [75]: [a[i+2-1:i-1:-1] for i in range(4)]
Out[75]: [[], [3, 2], [3], []]

简化一点：

In [77]: [a[i+2:i:-1] for i in range(-1,3)]
Out[77]: [[], [3, 2], [3], []]

如果子句：

In [78]: [a[i+2:None if i<0 else i:-1] for i in range(-1,3)]
Out[78]: [[2, 1], [3, 2], [3], []]