finally et return

Version imprimable

Bonjour,
une question que je me pose: soi le programme suivant (executé sous python 2.7):
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 def tst(): try: print 'bonjour' print 5/0 return 'M' except: print 'exception caught' return 'E' finally: print 'au revoir' return 'F' print tst()
j'obtiens comme résultat:
Code:

1 2 3 4 5 6 [david@localhost ~]$ python tst.py bonjour exception caught au revoir F
donc, lors de l'appel à la fonction tst(), l'exception est attrapé et traité (bloc except) puis on passe au code de cleanup (block finally) mais visiblement le 'return' du bloc 'except' n'est pas pris en compte pouvez vous m'expliquer ce qui se passe dans le déroulement du programme ?

01/11/2012, 22h07
mont29

Je ne vois pas trop le problème*? Puisque (sauf exception non-capturée), le bloc finally: est toujours exécuté, son return écrase celui du bloc try (ou except en cas d’exception capturée)…

Ça doit d’ailleurs bien être la seule situation où on peut avoir deux return d’exécutés dans une même fonction, non*?
01/11/2012, 23h17
davguez

Moi ça m'étone

en fait, ce qui m'étonne, c'est que l'on puisse 'ecraser' un return. Pour moi, un return provoque le passage du 'registre d'instruction' à l'appelant et devrait donc court-circuiter le bloc finally. Autrement dit, return ne termine pas la fonction mais met a jours une sorte de variable interne qui est retournée à la toute fin. Mais bon, je reconnais que c'est un cas d'école un peu pathologique, cet exemple.

bye.

Ce que tu souhaites me fait plutôt penser à ce code

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
import sys
 
def tst():
        try:
                print 'bonjour'
                print 5/0
                return 'M'
        except:
                print 'exception caught'
                return 'E'
        else:
                print 'au revoir'
                return 'F'
print tst()

else à la place de finally.

finally est dans tous les cas exécuté en fin de fonction.

Voir la doc je sais plus où, pas le temps de chercher.

Bonsoir,

Citation:

Envoyé par davguez

en fait, ce qui m'étonne, c'est que l'on puisse 'ecraser' un return.

Et bien en fait c'est dans la doc. En cas d’exception les clauses 'except' sont parcourues et celle correspondante évaluée. 'finally' étant toujours évaluée en dernier si celle ci retourne un return, raise ou une exception c'est celle qui ressort.
Voici un exemple avec if:

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
>>> v = True
>>> def Foo():
...     if v:
...         print('ok')
...     else:
...         print('Nok')
... 
>>> import dis
>>> dis.dis(Foo)
  2           0 LOAD_GLOBAL              0 (v)
              3 JUMP_IF_FALSE            9 (to 15)
              6 POP_TOP             
 
  3           7 LOAD_CONST               1 ('ok')
             10 PRINT_ITEM          
             11 PRINT_NEWLINE       
             12 JUMP_FORWARD             6 (to 21)
        >>   15 POP_TOP             
 
  5          16 LOAD_CONST               2 ('Nok')
             19 PRINT_ITEM          
             20 PRINT_NEWLINE       
        >>   21 LOAD_CONST               0 (None)
             24 RETURN_VALUE

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
>>> def Bar():
...     try:
...         raise ZeroDivisionError('Oups')
...     except ZeroDivisionError:
...         pass
...     finally:
...         pass
... 
>>> dis.dis(Bar)
  2           0 SETUP_FINALLY           42 (to 45)
              3 SETUP_EXCEPT            16 (to 22)

  3           6 LOAD_GLOBAL              0 (ZeroDivisionError)
              9 LOAD_CONST               1 ('Oups')
             12 CALL_FUNCTION            1
             15 RAISE_VARARGS            1
             18 POP_BLOCK           
             19 JUMP_FORWARD            19 (to 41)

  4     >>   22 DUP_TOP             
             23 LOAD_GLOBAL              0 (ZeroDivisionError)
             26 COMPARE_OP              10 (exception match)
             29 JUMP_IF_FALSE            7 (to 39)
             32 POP_TOP             
             33 POP_TOP             
             34 POP_TOP             
             35 POP_TOP             

  5          36 JUMP_FORWARD             2 (to 41)
        >>   39 POP_TOP             
             40 END_FINALLY         
        >>   41 POP_BLOCK           
             42 LOAD_CONST               0 (None)

  7     >>   45 END_FINALLY         
             46 LOAD_CONST               0 (None)
             49 RETURN_VALUE

Le return n'est pas 'écrasé', il est 'oublié' If the finally clause raises another exception or executes a return or break statement, the saved exception is dicarded / When a return, break or continue statement is executed in the try suite of a try...finally statement, the finally clause is also executed ‘on the way out.’ .

@+

03/11/2012, 15h21
wiztricks
Salut,

Citation:

donc, lors de l'appel à la fonction tst(), l'exception est attrapé et traité (bloc except) puis on passe au code de cleanup (block finally) mais visiblement le 'return' du bloc 'except' n'est pas pris en compte pouvez vous m'expliquer ce qui se passe dans le déroulement du programme ?

finally étant exécuté dans tous les cas, la mouture proposée de tst retournera toujours 'F'.
Son code pourrait être écrit ainsi:
Code:

1 2 3 4 5 6 7 def tst(): try: print ('bonjour') except: print ('exception') print ('bye') return 'F'
A quoi peut bien servir le finally?
Dans ce cas, à pas grand chose!
Son intérêt est de pouvoir nettoyer le contexte quoi qu'il se passe.
Par exemple (et ils sont mauvais car Python a d'autres tours pour gérer cela),
avant d'exécuter le block try, on doit acquérir un verrou ou ouvrir un fichier.
Code:

1 2 3 4 5 6 7 8 def test(): v = lock.acquire() ou f = open(path) try: ... return 'success' except: ... return 'failure'
finally permettra de fermer le fichier ou de rendre le verrou dans tous les cas, quelques soient les blocs exécutés. C'est une construction qui permet de simplifier l'écriture du code: pas de "goto", ni de sauvegarde du code de retour dans une variable locale avant de...

Il n'est pas interdit d'y mettre un "return" mais que faire des autres dans ce cas sinon les ignorer?

- W