Python中遍历字符串切片的空间复杂度究竟是多少？

核心结论 #

在Python中，遍历字符串切片for c in s[1:]的空间复杂度为O(n)，其中n是切片的长度。这是因为切片操作s[1:]会先创建一个原字符串的副本，这个副本需要占用与切片长度成正比的内存空间，之后遍历的就是这个新生成的字符串对象。

为什么切片会占用O(n)空间 #

Python的字符串是不可变序列，根据官方定义，切片操作（如s[a:b]）会返回一个新的字符串对象，包含原字符串中从索引a到b-1的所有字符。由于字符串不可变，无法直接在原字符串上生成“视图”式切片，必须生成完整副本，因此内存开销与切片长度线性相关。

可以用sys.getsizeof()直观验证内存占用：

import sys

# 创建包含100万个字符的字符串
s = "x" * 10**6
# 生成切片
slice_s = s[1:]
# 打印切片的内存大小（远大于空字符串的基础开销）
print(sys.getsizeof(slice_s))  # 输出约1000049字节（具体值随Python版本略有变化）

对比索引遍历的O(1)空间 #

for i in range(1, len(s))这种索引遍历方式确实是O(1)空间，因为Python 3中的range对象是懒加载的序列类型，它不会生成完整的整数列表，仅存储起始值、结束值和步长三个参数，内存占用固定，与序列长度无关。

既简洁又省内存的替代方案 #

如果想保留for c in ...的简洁语法，同时避免切片的O(n)内存开销，可以使用itertools.islice。它直接在原字符串上迭代指定范围的字符，无需创建副本，空间复杂度为O(1)：

import itertools

s = "hello_world"
# 从索引1开始迭代到字符串末尾
for c in itertools.islice(s, 1, None):
    print(c)

关于“切片是否会被优化为迭代器”的疑问 #

你的猜测并不成立：Python解释器不会在for循环中对字符串切片做特殊优化，切片操作始终会生成新的字符串对象，之后for循环只是迭代这个新字符串的字符。这一点可以通过上述内存测试或CPython源码验证——字符串切片的实现逻辑就是创建新字符串并复制字符。

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