类比 C 代码
你想象你在 python 中的for-loop 是这样的 C 代码:
for (int i = 0; i < 10; i++)
if (i == 5)
i += 3;
更像是这样的 C 代码:
int r[] = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9];
for (int j = 0; j < sizeof(r)/sizeof(r[0]); j++) {
int i = r[j];
if (i == 5)
i += 3;
}
所以在循环中修改i并没有你期望的效果。
反汇编示例
您可以查看disassembly of the python code 看到这个:
>>> from dis import dis
>>> def foo():
... for i in range (0,10):
... if i==5:
... i+=3
... print i
...
>>> dis(foo)
2 0 SETUP_LOOP 53 (to 56)
3 LOAD_GLOBAL 0 (range)
6 LOAD_CONST 1 (0)
9 LOAD_CONST 2 (10)
12 CALL_FUNCTION 2
15 GET_ITER
>> 16 FOR_ITER 36 (to 55)
19 STORE_FAST 0 (i)
3 22 LOAD_FAST 0 (i)
25 LOAD_CONST 3 (5)
28 COMPARE_OP 2 (==)
31 POP_JUMP_IF_FALSE 47
4 34 LOAD_FAST 0 (i)
37 LOAD_CONST 4 (3)
40 INPLACE_ADD
41 STORE_FAST 0 (i)
44 JUMP_FORWARD 0 (to 47)
5 >> 47 LOAD_FAST 0 (i)
50 PRINT_ITEM
51 PRINT_NEWLINE
52 JUMP_ABSOLUTE 16
>> 55 POP_BLOCK
>> 56 LOAD_CONST 0 (None)
59 RETURN_VALUE
>>>
这部分creates a range between 0 and 10并实现:
3 LOAD_GLOBAL 0 (range)
6 LOAD_CONST 1 (0)
9 LOAD_CONST 2 (10)
12 CALL_FUNCTION 2
此时,栈顶包含范围。
这个gets an iterator over the object on the top of the stack,即范围:
15 GET_ITER
此时,堆栈的顶部包含一个已实现范围的迭代器。
FOR_ITER begins iterating over the loop 使用堆栈顶部的迭代器:
>> 16 FOR_ITER 36 (to 55)
此时,栈顶包含迭代器的下一个值。
在这里你可以看到the top of the stack is popped and assigned to i:
19 STORE_FAST 0 (i)
所以无论你在循环中做什么,i 都会被覆盖。
这里是overview of stack machines,如果您以前没有见过的话。