if (r->step == Py_None) {
     /* step 默认是 1，这不难理解 */
   *step = 1;
 } else {
   if (!_PyEval_SliceIndex(r->step, step)) return -1;
     /* step 不能为零，否则报 ValueError，要注意的是，这个异常是在执行 BINARY_SUBSCR 才报出来，
    * 在创建 slice 对象时如果 step 为 0 并不会报错 */
   if (*step == 0) {
     PyErr_SetString(PyExc_ValueError, "slice step cannot be zero");
     return -1;
   }
   /* step 的最小值，他是根据 size_t 来定义的
    * #define PY_SSIZE_T_MAX ((Py_ssize_t)(((size_t)-1)1))
    * 所以在 32 为系统上就是 -2147483647 */
   if (*step < -PY_SSIZE_T_MAX)
     *step = -PY_SSIZE_T_MAX;
 }

/* 当 start 未设置时的默认值，length 是序列的长度
  * 如果切片从序列头部开始（step > 0），start = 0
  * 如果切片从序列末尾开始（step < 0），start = length - 1 */
 defstart = *step < 0 "htmlcode">

/* 当 stop 未设置时的默认值，length 是序列的长度
  * 如果切片从序列头部开始（step > 0），stop = length，比最后一个元素的下标多 1
  * 如果切片从序列末尾开始（step < 0），start = -1，比第一个元素的下标少 1 */
 defstop = *step < 0 "color: #ff0000">注意：


  
指定的区间是左开右闭型
  
从头开始，开始索引数字可以省略，冒号不能省略
  
到末尾结束，结束索引数字可以省略，冒号不能省略。
  
步长默认为1，如果连续切片，数字和冒号都可以省略。

关于Python中的slice操作扩展：
Python中slice操作的完整语法：


# i默认是0
# j默认是len(S)
# k的步长，默认为+1
S[i:j:k]


其中i,j,k都可以是负数：
若i < 0或者k<0，等价于len(S) + i，或者len(S) + j；
若k < 0，则表示将[i,k)之间的字符按照步长k,从右往左数，而不是从左往右数


>S = 'abcdefg'
>S[-3:-1]
'ef'

>S[-1:-3:-1]  # 将位于S[-1:-3]的字符子串，按照步长1，从右往左数，而不是从左往右数
'gf'

>S[4:2:-1]
'ed'

>S[2:4:-1]  # 输出空字符串
''

>S[::-1]  # 逆序
'gfedcba'


需要指出的是s[i:j:k]的形式，等价于下面的形式：


>S = 'abcdefg'
>S[slice(None, None, -1)]  # 等价于使用slice对象进行数组元素的访问操作
'gfedcba'