Python字符串索引越界疑问：为何str[n:n+2]无需-3而str[n+3]需要？

需求：统计给定字符串中“code”（其中'd'可替换为任意字符）的出现次数，示例如下：

• count_code('aaacodebbb') → 1
• count_code('codexxcode') → 2
• count_code('cozexxcope') → 2

我的初始代码：

def count_code(str):
    count=0
    for n in range(len(str)):
        if str[n:n+2]=='co' and str[n+3]=='e':
            count+=1
    return count

我知道正确代码只需将第3行改为range(len(str)-3)即可，但无法理解为何str[n:n+2]无需减3，而str[n+3]会引发索引越界问题，恳请解惑。

这个问题的核心其实是搞懂Python里切片操作和单个索引访问的本质区别，我来给你拆解清楚：

1. 单个索引访问：严格的边界检查 #

当你用str[n+3]这种方式访问单个字符时，Python会严格校验索引是否在有效范围内——也就是必须满足 0 ≤ 索引 < 字符串长度。如果索引超出这个范围，Python会直接抛出IndexError。

举个实际例子：假设字符串长度是5，最大有效索引是4（因为索引从0开始）。当循环到n=3时，n+3=6，这时候str[6]显然超出了边界，自然会报错。

2. 切片操作：自带“容错”的边界调整 #

而str[n:n+2]这种切片操作的规则完全不同：Python会自动调整超出边界的start或end参数，不会报错。具体规则是：

• 如果start大于等于字符串长度，切片结果是空字符串''；
• 如果end大于字符串长度，切片会直接取到字符串末尾；
• 如果start > end，同样返回空字符串。

回到你的代码，当n接近字符串末尾时（比如n = len(str)-1），str[n:n+2]会被自动调整为str[len(str)-1:]，也就是只取最后一个字符，显然不等于'co'，所以这部分判断会自动失败，不会影响统计逻辑，也不会触发错误。

为什么要把循环范围改成range(len(str)-3)？ #

我们要找的是coXe模式的子串（X是任意字符），这个子串需要占据4个连续的字符位置（索引n、n+1、n+2、n+3）。所以n的最大有效值是len(str)-4——因为n+3 = len(str)-4 +3 = len(str)-1，刚好是字符串的最后一个有效索引。

range(len(str)-3)生成的是从0到len(str)-4的整数序列，完美覆盖了所有可能的合法起始位置，既不会漏掉符合条件的子串，也不会出现str[n+3]越界的问题。

内容的提问来源于stack exchange，提问作者Dragovic