切片中设置的默认值是什么？

Question

我查看了 why-does-list-1-not-equal-listlenlist-1 和 what-are-the-default-slice-indices-in-python-really 上的热门答案，以了解切片中的默认值设置。两个最佳答案均参考以下文档：

给定s[i:j:k]，

如果 i 或 j 被省略或没有，它们将成为“结束”值（结束取决于 k 的符号）。注意，k 不能为零。如果 k 为 None，则将其视为 1。

假设我有以下代码：

s = "hello"
forward_s = s[::1]
print(forward_s) # => "hello"

backward_s = s[::-1]
print(backward_s) # => "olleh"

我知道如果省略了索引，那么 Python 会将其视为在这些地方使用了 None 的值。根据文档，[i:j:k] 中的i 和j 的索引根据k 的符号设置为“结束”值。对于肯定的k，我假设i 设置为0，j 设置为字符串的长度。但是，为负 k 设置的值是什么？

例如，以下也反转字符串：

reversed_str = s[-1:-6:-1]

所以当k = -1 时，i 的默认值可能设置为-1 和j 设置为-len(s) - 1？

Answer 1

default values 是 None、None 和 None。

class Sliceable(object):
    def __getitem__(self, slice):
        print(slice)

Sliceable()[::]
>>> slice(None, None, None)

这与slice() 确实需要stop 参数无关。库文档对此没有那么明确，但C API makes clear，所有三个值都可能为空：

start、stop和step参数用作同名切片对象属性的值。任何值都可以是NULL，在这种情况下，None 将用于相应的属性。

由可切片对象来理解默认值。惯例是使用第一个元素，过去最后一个元素，内置集合实现的最小步进：

l = [1, 2, 3]
l[slice(None, None, None])
>>> [1, 2, 3]
s[None:None:None])
>>> [1, 2, 3]

负步进将导致默认的start 和end 值在语义上反转，即：

s = 'abc'
s[slice(None, None, -1)]
>>> 'cba'
s[::-1]
>>> 'cba'

请注意，这并不意味着简单的值翻转，end 的默认值通常是“序列末尾的一个，在任何方向上”，因为range() 不是包含结束值，但切片的默认值应包含完整序列。

这是记录在here：

s[i:j:k]

s 的切片从i 到j 的步长为k 被定义为索引为x = i + n*k 的项目序列，使得0 <= n < (j-i)/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 被省略或无，它们将成为“结束”值（结束取决于k 的符号）。请注意，k 不能为零。如果k 是None，则将其视为1。