我有点沮丧，因为找不到一个准确描述切片功能的在线源代码或Python文档。

我接受了Aaron Hall的建议，阅读了CPython源代码的相关部分，并编写了一些Python代码，这些代码执行切片与CPython中的切片类似。我已经用Python 3对整数列表进行了数百万次随机测试。

您可能会发现我的代码中对CPython中相关函数的引用很有用。

def slicer(x, start=None, stop=None, step=None):
    """ Return the result of slicing list x.  

    See the part of list_subscript() in listobject.c that pertains 
    to when the indexing item is a PySliceObject.
    """

    # Handle slicing index values of None, and a step value of 0.
    # See PySlice_Unpack() in sliceobject.c, which
    # extracts start, stop, step from a PySliceObject.
    maxint = 10000000       # A hack to simulate PY_SSIZE_T_MAX
    if step is None:
        step = 1
    elif step == 0:
        raise ValueError('slice step cannot be zero')

    if start is None:
        start = maxint if step < 0 else 0
    if stop is None:
        stop = -maxint if step < 0 else maxint

    # Handle negative slice indexes and bad slice indexes.
    # Compute number of elements in the slice as slice_length.
    # See PySlice_AdjustIndices() in sliceobject.c
    length = len(x)
    slice_length = 0

    if start < 0:
        start += length
        if start < 0:
            start = -1 if step < 0 else 0
    elif start >= length:
        start = length - 1 if step < 0 else length

    if stop < 0:
        stop += length
        if stop < 0:
            stop = -1 if step < 0 else 0
    elif stop > length:
        stop = length - 1 if step < 0 else length

    if step < 0:
        if stop < start:
            slice_length = (start - stop - 1) // (-step) + 1
    else:
        if start < stop:
            slice_length = (stop - start - 1) // step + 1

    # Cases of step = 1 and step != 1 are treated separately
    if slice_length <= 0:
        return []
    elif step == 1:
        # See list_slice() in listobject.c
        result = []
        for i in range(stop - start):
            result.append(x[i+start])
        return result
    else:
        result = []
        cur = start
        for i in range(slice_length):
            result.append(x[cur])
            cur += step
        return result

如果你觉得切片中的负指数令人困惑，这里有一个非常简单的方法来考虑：用len-index替换负指数。例如，用len（list）-3替换-3。

说明切片在内部做什么的最佳方法是在实现此操作的代码中显示它：

def slice(list, start = None, end = None, step = 1):
  # Take care of missing start/end parameters
  start = 0 if start is None else start
  end = len(list) if end is None else end

  # Take care of negative start/end parameters
  start = len(list) + start if start < 0 else start
  end = len(list) + end if end < 0 else end

  # Now just execute a for-loop with start, end and step
  return [list[i] for i in range(start, end, step)]

语法为：

a[start:stop]  # items start through stop-1
a[start:]      # items start through the rest of the array
a[:stop]       # items from the beginning through stop-1
a[:]           # a copy of the whole array

还有一个步长值，可用于上述任何一项：

a[start:stop:step] # start through not past stop, by step

要记住的关键点是：stop值表示不在所选切片中的第一个值。因此，停止和开始之间的区别是所选元素的数量（如果步骤为1，则为默认值）。

另一个特点是start或stop可以是负数，这意味着它从数组的末尾开始计数，而不是从开始计数。因此：

a[-1]    # last item in the array
a[-2:]   # last two items in the array
a[:-2]   # everything except the last two items

类似地，步骤可以是负数：

a[::-1]    # all items in the array, reversed
a[1::-1]   # the first two items, reversed
a[:-3:-1]  # the last two items, reversed
a[-3::-1]  # everything except the last two items, reversed

如果项目比你要求的少，Python对程序员很友好。例如，如果您请求一个[：-2]，而一个只包含一个元素，则会得到一个空列表而不是一个错误。有时你会更喜欢错误，所以你必须意识到这可能会发生。

与切片对象的关系

切片对象可以表示切片操作，即：

a[start:stop:step]

相当于：

a[slice(start, stop, step)]

根据参数的数量，切片对象的行为也略有不同，类似于range（），即切片（stop）和切片（start，stop[，step]）都受支持。要跳过指定给定参数，可以使用None，例如[start:]等同于[sslice（start，None）]或[：：-1]等同于[Sslice（None，None，-1）]。

虽然基于：的表示法对简单切片非常有用，但slice（）对象的显式使用简化了切片的编程生成。

我想加一个你好，世界！为初学者解释切片基础知识的示例。这对我帮助很大。

让我们列出六个值[“P”、“Y”、“T”、“H”、“O”、“N”]：

+---+---+---+---+---+---+
| P | Y | T | H | O | N |
+---+---+---+---+---+---+
  0   1   2   3   4   5

现在，该列表中最简单的部分是其子列表。符号是[<index>：<index>]，关键是这样读：

[ start cutting before this index : end cutting before this index ]

现在，如果你从上面的列表中选择一个片段[2:5]，就会发生这种情况：

        |           |
+---+---|---+---+---|---+
| P | Y | T | H | O | N |
+---+---|---+---+---|---+
  0   1 | 2   3   4 | 5

在索引为2的元素之前进行了一次切割，在索引为5的元素之前又进行了一个切割。因此，结果将是这两个剪辑之间的一个片段，一个列表['T'，'H'，'O']。

我自己使用“元素之间的索引点”方法来思考它，但描述它的一种方式有时有助于其他人获得它：

mylist[X:Y]

X是所需的第一个元素的索引。Y是不需要的第一个元素的索引。

如果我们可以将切片与范围联系起来，这很容易理解，因为范围给出了索引。我们可以将切片分为以下两类：

---

1.无台阶或台阶>0。例如，[i:j]或[i:j:k]（k>0）

假设序列为s=[1,2,3,4,5]。

如果0<i<len（s）和0<j<len，则[i:j:k]->范围（i，j，k）

例如，[0:3:2]->范围（0,3,2）->0，2

如果i>len或j>len，则i=len或j=len

例如，[0:100:2]->范围（0，len（s），2）->范围（0,5,2）->0，2，4

如果i＜0或j＜0，则i＝max（0，len（s）+i）或j＝max

例如，[0:-3:2]->范围（0，len（s）-3,2）->范围（0,2,2）->0

例如，[0:-1:2]->范围（0，len（s）-1,2）->范围（0,4,2）->0，2

如果未指定i，则i=0

例如，[：4:2]->范围（0,4,2）->范围（4,2）->0，2

如果未指定j，则j=len（s）

例如，[0:：2]->范围（0，len（s），2）->范围（0,5,2）->0，2，4

---

2.步骤<0。例如，[i:j:k]（k<0）

假设序列为s=[1,2,3,4,5]。

如果0<i<len（s）和0<j<len，则[i:j:k]->范围（i，j，k）

例如，[5:0:-2]->范围（5,0，-2）->5，3，1

如果i>len或j>len，则i=len（s）-1或j=len（s）-1

例如，[100:0:-2]->范围（len（s）-1,0，-2）->范围（4,0，-2）->4，2

如果i＜0或j＜0，则i＝max（-1，len（s）+i）或j＝max（-1len（s）+j）

例如，[-2:-10:-2]->range（len（s）-2，-1，-2）->range（3，-1，-1）->3，1

如果未指定i，则i=len（s）-1

例如，[：0:-2]->范围（len（s）-1,0，-2）->范围（4,0，-2）->4，2

如果未指定j，则j=-1

例如，[2:：-2]->范围（2，-1，-2）->2，0

例如，[：：-1]->range（len（s）-1，-1，-1）->range（4，-1，1）->4，3，2，1，0

---

总而言之