Python range()函数负值处理逻辑及相关技术问题咨询

问题现象原因 #

你编写的range(-1, -10)没有返回任何元素，核心原因是range的元素生成规则和你推测的逻辑不同：
range完整语法为range(start, stop[, step])，未指定步长时默认步长为1，元素生成判断遵循以下规则：

• 步长为正数时，只有满足 start <= 元素值 < stop 的值才会被生成，只要当前值大于等于stop就立刻停止生成
• 步长为负数时，只有满足 start >= 元素值 > stop 的值才会被生成，只要当前值小于等于stop就立刻停止生成

你的代码中start=-1、stop=-10、步长=1（正数），初始的start=-1就已经大于stop=-10，不满足start <= 元素值 < stop的前提，所以整个range是空序列，循环自然不会有任何输出。

range() 内部实现逻辑 #

• range是Python内置的惰性序列类型，不会预先生成所有元素存储在内存中，只会在访问对应元素时才计算值，因此不管区间多大，内存占用始终固定。
• 步长不能设置为0，否则会直接抛出ValueError异常。
• 如果你要生成-1到-10的递减负数序列，正确的写法是range(-1, -11, -1)：步长设为-1触发递减逻辑，stop设为-11是为了保证-10满足元素值 > stop的条件，会被包含到生成序列中。

in 成员运算符对range的处理逻辑 #

对range对象使用in运算符时，不会遍历整个序列逐一比对，而是通过数学计算直接判断，运算效率和range的长度无关，判断逻辑如下：

1. 先校验目标值是否在range对应的有效区间内：步长为正则判断是否在[start, stop)区间，步长为负则判断是否在(stop, start]区间
2. 再计算(目标值 - start) % 步长的结果是否为0，如果两个条件都满足则返回True，否则返回False

举个示例：-5 in range(-1, -11, -1)的判断过程：

• 首先-5在(-11, -1]区间内，符合第一步要求
• 计算(-5 - (-1)) % (-1) = (-4) % (-1) = 0，符合第二步要求，最终返回True

修正后代码示例 #

print("Start")
for index in range(-1, -11, -1):
    print("Index is", index)
print("Bye")

运行后会依次输出-1到-10的所有整数值。

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