反转字符串如何与 string[ : :-1] 一起使用

Question

我了解切片语法包含3个参数，即：

1. 开始

2. 停止

3. 步骤

使用以下默认值：

1. 开始 = 0

2. stop = 字符串长度

3. 步长 = 1

所以，对于

> string = "abc"

> string[::]

将返回

> "abc"

但是，对于

> string[::-1]

它不应该返回吗：

> "a"

因为，string[start = 0] = 'a' 然后，string[start + step]，即string[0-1] = 'c'，但是因为它不小于stop = 3，所以会中断。

或者我想错了方向，python 只是按照通常的方向切割字符串，如果步骤为负，则返回 that 字符串的反转？为简化起见，负步在内部是如何工作的？

Answer 1

当提供负步长值时，Python 会交换开始值和停止值。此外，当没有提供开始和结束值时，它们默认为序列的开始和结束。

鉴于s[i:j:k]，来自内置类型文档的the Common Sequence Operations section 的以下引用适用：

如果 i 或 j 被省略或没有，它们将成为“结束”值（结束 取决于 k) 的符号。

---

关于它是如何工作的，在 CPython 中有两个函数用于处理列表下标，list_subscript()（用于读取）和list_ass_subscript()（用于分配）。

在这两个函数中，在验证下标指定切片后，调用PySlice_Unpack() 和PySlice_AdjustIndices() 以提取和规范化开始和停止值。

开始值处理

来自PySlice_Unpack()：

if (r->start == Py_None) {
    *start = *step < 0 ? PY_SSIZE_T_MAX : 0;

如果起始值为None且步长值为负，则起始值设置为可能的最大值。

然后，在PySlice_AdjustIndices()：

else if (*start >= length) {
    *start = (step < 0) ? length - 1 : length;

如果起始值大于列表的长度（这无疑是由于上面的赋值）并且步长值为负，则起始值设置为length - 1（即length指序列的长度）。

停止值处理

来自PySlice_Unpack()：

if (r->stop == Py_None) {
    *stop = *step < 0 ? PY_SSIZE_T_MIN : PY_SSIZE_T_MAX;

如果停止值为None且步长值为负，则停止值设置为可能的最小值。

然后，在PySlice_AdjustIndices()：

if (*stop < 0) {
    *stop = (step < 0) ? -1 : 0;

如果停止值是负数（这是由于上面的赋值）并且步长值是负数，停止值设置为-1。

所以输入string[::-1]，你最终会得到：

• 起始值：len(string) - 1
• 停止值：-1
• 步骤：-1

Answer 2

当负值作为step 传递时，start 和stop 的默认“值”相反。 start 从“序列开始”变为“序列结束”，stop 从“序列结束”变为“序列开始”。如果它不这样做，那么执行完整切片会出现问题，因为任何切片的结尾都是独占的； mystr[len(mystr)-1:0:-1] 将排除第一个字符（因为不会包括0），并且您不能通过-1 而不是过去0，因为这与len(mystr)-1 的含义相同（感谢 Python 处理负索引的方式），而且你什么都不会切掉。切换默认值，以便省略结尾（或等效地，显式传递None）一直运行到开头，包括在内，是唯一明智的解决方案。