关于itertools.islice在stop≤start时仍迭代start次的行为合理性问询

我在实现一个包装迭代器的自定义容器时，计划将部分逻辑委托给itertools.islice，核心诉求是避免对包装的迭代器进行不必要的迭代。但发现调用itertools.islice(iterable, start, stop, step)且stop≤start时，虽然结果确实是空生成器符合预期，但该方法仍会对可迭代对象至少迭代start次。

复现测试用例 #

from unittest.mock import Mock
import itertools

iterableMock = Mock()
iterableMock.__iter__ = Mock(return_value=iterableMock)
iterableMock.__next__ = Mock(side_effect=range(10))

iterable = iterableMock
start = 5
stop = 0
step = None

isliceResult = list(itertools.islice(iterable, start, stop, step))
assert isliceResult == []
assert iterableMock.__next__.call_count == 0  # <= 失败，实际call_count == 5

行为定性选项 #

请问该行为属于：

• 预期/设计如此：无论如何都要跳过元素直到到达start位置
• 当前实现的副作用：仅影响部分极端场景性能
• 可放心优化的潜在改进点

文档相关补充 #

官方文档对预期行为的描述存在一定误导性/易误解：

• “跳过可迭代对象中的元素直到到达start位置”
• “在指定位置停止”

文档给出的“等效实现”及CPython源码明确会迭代至start-1位置，之后才会考虑stop参数。

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