列表理解期间的例外情况.中间结果是否保留在何处？

Question

在for循环上下文中使用try-except时,到目前为止执行的命令显然已经完成了

a = [1, 2, 3, 'text', 5]

b = []
try:
    for k in range(len(a)):
        b.append(a[k] + 4)
except:
    print('Error!')
print(b)

结果

Error!
[5, 6, 7]

然而,对于列表推导而言,情况并非如此

c=[]
try:
    c = [a[k] + 4 for k in range(len(a))]
except:
    print('Error!')
print(c)

结果是

Error!
[]

在发生异常之前构建的中间列表是否保留在任何位置？它可以访问吗？

Answer 1

列表推导中间结果保存在内部CPython堆栈中,并且无法从列表推导中的Python表达式访问.

请注意,Python执行第[.....] 一个生成列表对象,然后将该结果分配给名称c.如果[....]表达式中发生异常,则表达式将终止,异常处理将启动.print(c)因此,您的表达式只能显示绑定的上一个对象,c这里是一个空列表对象.它可能是其他任何东西:

>>> c = 'Anything else'
>>> try:
...     c = [2 // i for i in (1, 0)]
... except ZeroDivisionError:
...     pass
...
>>> c
'Anything else'

在第一个示例中,不会生成新的列表对象.您反而操纵(使用b.append())现有列表对象,这就是为什么您可以看到所有成功b.append()调用已对其执行的操作.

Answer 2

我们来看看字节码:

>>> def example():
...     c=[]
...     try:
...         c = [a[k] + 4 for k in range(len(a))]
...     except:
...         print('Error!')
...     print(c)
... 
>>> import dis
>>> dis.dis(example)

--- removed some instructions       

             27 GET_ITER            
        >>   28 FOR_ITER                20 (to 51)
             31 STORE_FAST               1 (k)
             34 LOAD_GLOBAL              2 (a)
             37 LOAD_FAST                1 (k)
             40 BINARY_SUBSCR       
             41 LOAD_CONST               1 (4)
             44 BINARY_ADD          
             45 LIST_APPEND              2
             48 JUMP_ABSOLUTE           28
        >>   51 STORE_FAST               0 (c)

 --- more instructions...

正如你所看到的,在列表理解被翻译成一系列指令GET_ITER...... JUMP_ABSOLUTE.下一条指令STORE_FAST是修改的指令c.如果在它之前发生任何异常,c则不会被修改.