python - tutorial - Excepción durante la comprensión de la lista. ¿Se mantienen los resultados intermedios en algún lugar?

qgis introduccion

Question

Cuando se usa try-except en un contexto de bucle for, los comandos ejecutados hasta ahora se realizan obviamente con

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

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

resultados con

Error!
[5, 6, 7]

Sin embargo, lo mismo no es cierto para las listas de comprensión.

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

Y el resultado es

Error!
[]

¿La lista intermedia, construida antes de que ocurriera la excepción, se mantiene en algún lugar? ¿Es accesible?

Answer 1

Los resultados intermedios de la lista de comprensión se guardan en una pila interna de CPython, y no son accesibles desde las expresiones de Python que forman parte de la lista de comprensión.

Tenga en cuenta que Python ejecuta primero [.....] , lo que produce un objeto de lista, y solo entonces asigna ese resultado al nombre c . Si ocurre una excepción dentro de la expresión [....] , la expresión se termina y en su lugar se inicia el manejo de excepciones. Por lo tanto, su expresión de print(c) solo puede mostrar el objeto anterior al que estaba vinculado c , que aquí es un objeto de lista vacía. Podría haber sido cualquier otra cosa:

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

En su primer ejemplo, no se produce ningún nuevo objeto de lista. En su lugar, manipula (utilizando b.append() ) un objeto de lista existente , por lo que puede ver lo que todas las llamadas b.append() exitosas b.append() han hecho.

Answer 2

Veamos el bytecode:

>>> 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...

Como puede ver, la lista de comprensión se traduce en una serie de instrucciones GET_ITER ... JUMP_ABSOLUTE . La siguiente instrucción STORE_FAST es la que modifica c . Si se produce alguna excepción antes de esto, c no se habrá modificado.