Try Catch Finally et Return

Version imprimable

01/06/2007, 17h10
melleb

Try Catch Finally et Return
Bonjour,

ptite question...

pourquoi on ne peut pas mettre de return dans un finally ?...

et puis, si on fait ça :
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 bool retour; try { //.... retour = true; } catch { //... retour = false; } return retour;
est-ce que c'est correct?
est-ce qu'on va toujours passer par le return?...
01/06/2007, 17h34
Astartee
La clause finally est destinée à effectuer des traitements, qu'une exception ait été lancée ou non, et donc elle ne peut pas retourner une valeur...
Ex :
Code:

1 2 3 4 try { instruction1} catch (NullReferenceException e) { instruction2 } finally { instruction3 }
Si instruction1 ne lance pas d'exception, on effectuera instruction3 (après instruction1 bien sûr...)
Si instruction1 lance une NullRefrenceException, on effectuera instruction2 puis instruction3.
Si instruction1 lance une autre exception, on effectuera instruction3 avant de renvoyer l'exception au niveau supérieur => dans ce cas-là, puisqu'on lance une exception, on ne peut pas retourner de valeur avec un return !

Avec un "catch" tout court, on intercepte toutes les exceptions, donc on devrait pouvoir, selon le contenu du bloc catch, être à peu près sûr (et encore, on ne sait jamais...) qu'aucune exception n'est "en attente d'être lancée" lorsqu'on passe dans bloc finally, mais ce n'est pas le but de ce bloc (et puis si jamais instruction2 lançait une exception, hein ?).

Dans le code copié ici, oui, dans tous les cas on passera par le return !
Sauf exception ou erreur inattendue, bien sûr...
01/06/2007, 17h52
Graffito
Bonjour,

Deux petites questions subsidiaires :
1) Je me suis toujours demandé si il y avait en pratique une différence (et laquelle) entre :
Code:

1 2 3 try { instruction1} catch (NullReferenceException e) { instruction2 } finally { instruction3 }
et :
Code:

1 2 3 try { instruction1} catch (NullReferenceException e) { instruction2 } { instruction3 }
2)Si instruction 2 génére une exception, passe-t'on ou non dans le bloc finally ?
01/06/2007, 18h00
Astartee

En cas d'exception non capturée par le catch (donc ici une exception non convertible -euh- "castable" -euh- comment on dit ? en NullReferenceException) :
- dans le premier cas, on effectue instruction3 avant de renvoyer l'exception
- dans le deuxième cas, on renvoie directement l'exception

En l'absence d'exception, ou pour une exception bien prise en compte par le catch (donc ici une NullReferenceException) et si on ne lance pas d'exception dans le bloc catch, le comportement sera le même dans les deux cas...

Voir ici par exemple :)
01/06/2007, 19h18
Graffito

Bonjour,

Merci de cette réponse, en fait j'ai recopié "bétement" : j'avais en tête
catch (Exception e) { instruction2 }

Mais, du coup :lol:, je comprends mieux le pourquoi de la syntaxe try ... catch ... finally ...
04/06/2007, 08h53
melleb

autre petite question...

on peut faire un return dans un catch?
si on ne veut pas faire le reste dans le cas où une exception est levée...
27/07/2011, 14h56
giova_fr
Bonjour.

Je me permets de remonter ce vieux topic, car son titre est tres explicite, et j'aimerai completer le sujet :

A quel moment s'execute le finally, si il y a un return dans le try?

J'ai lu la chose suivante dans un article, et aimerai avoir confirmation pour etre sur d'avoir bien compris.

Pour le code suivant:
Code:

1 2 3 4 5 6 7 8 9 try { return _mavar1 == _mavar2; } finally { _reader.Close(); }
j'ai lu que dans le try, au moment où on arrive sur le return:
1)le IL Emitter évalue l'expression "_mavar1 == _mavar2" et stocke le résultat
2)il execute le contenu de finally
3) il fait un return avec le resultat de l'expression qu'il avait stocké.

J'en déduit que si "_mavar1 == _mavar2" leve une exception
1) il stocke l'exception
2) execute le finally
3) leve l'exception

Est ce exact?

Ben je viens d'essayer ce petit bout de code

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
private bool TestTry()
    {
      int i = 0;
      int j = 34;
      try
      {
        return (j / i) == 0;
      }
      finally
      {
        MessageBox.Show("coucou");
      }      
    }

Ben il m'envoie le messagebox avant de crasher

Le mot clé finally permet d'effectuer une suite d'instructions à coup sûr ...
Elle s'effectue quoi qu'il arrive pendant ou a la fin du try ... catch ...
C'est le dernier bloc exécuté du try ... catch ...

Il est très utile et souvent employé pour effectuer des libérations ...
Par exemple :
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 // declaration d'une socket try { // travail sur la socket } catch(MyException) { // gère d'éventuelles exceptions } finally { // quoi qu'il arrive, je ferme la socket ... }

27/07/2011, 17h43
giova_fr

Citation:

Envoyé par brachior

C'est le dernier bloc exécuté du try ... catch ...

Visiblement non si tu lis bien :D
27/07/2011, 17h55
brachior

Si tu parles de l'exception qui est levée après le finally ...
Forcément qu'elle est levée après ...
Sinon le finally ne pourrait s'exécuter :aie:

Donc le finally est bien le dernier bloc exécuté avant de quitter le try ... catch,
Et qu'importe la façon dont on le quitte (Exception, return, exit, ...)
27/07/2011, 21h32
DonQuiche

Il semble que personne n'avait répondu simplement à la question de base alors...

Citation:

Envoyé par melleb

pourquoi on ne peut pas mettre de return dans un finally ?...

Mettre un return dans le finally, alors que l'exception est supposée être renvoyée à la fin du bloc finally, équivaudrait à empêcher la levée de l'exception. Ceci est le rôle de catch, pas de finally.

La bonne place pour le return est donc après finally. Soit une exception a été levée et elle est relancée après le finally et avant le return, soit tout s'est bien passé et on atteint le return.
28/07/2011, 09h47
giova_fr

Merci donQuiche.

c'est pour cette raison que j'ai demandé

Citation:

A quel moment s'execute le finally, si il y a un return dans le try?

Mais en fait mon interrogation est :
il y a t'il un piège si on place un return dans le try ou le catch? un effet de bord indésirable qui se produirait dans un cas particulier?

C'est pour cette raison que je tente de comprendre précisément comment se comporte finally, dans quel ordre se passent les choses... ;)
28/07/2011, 09h55
brachior

Citation:

Envoyé par DonQuiche

La bonne place pour le return est donc après finally.

Je suis pas d'accord,
Placer le return après le finally n'a pas vraiment d'utilité ...
Du moins, en règle général, le finally sert à exécuter un bloc avant de quitter le try ... catch
Et est souvent utiliser pour exécuter un bloc avant de quitter une méthode.
Mettre le return après exprime qu'on gère les exceptions dans la méthode,
Donc l'utilisation du finally n'est pas primordiale
(enfin, c'est peut être à mon sens ^^)

Citation:

Envoyé par giova_fr

C'est pour cette raison que je tente de comprendre précisément comment se comporte finally, dans quel ordre se passent les choses...

finally est exécuter à la fin du bloc try ... catch, quelque soit sa fin (une levée d'exception, un return, bon déroulement, ...)
28/07/2011, 10h09
nah666

Le finally sert pour le cleanup et la remise en état des objets une fois l'instruction try/catch effectuée (typiquement fermer la connexion BDD).

Les instructions de branchement, comme le return, sont a totalement proscrire dans le finally car ils cassent le fil d’exécution normal.

Citation:

Du moins, en règle général, le finally sert à exécuter un bloc avant de quitter le try ... catch

En fait il sert a remettre en état ton contexte, que tu aie eu une exception, ou pas.

Citation:

Et est souvent utiliser pour exécuter un bloc avant de quitter une méthode.

Non absolument pas.

Citation:

La bonne place pour le return est donc après finally. Soit une exception a été levée et elle est relancée après le finally et avant le return, soit tout s'est bien passé et on atteint le return.

Exact.

Citation:

il y a t'il un piège si on place un return dans le try ou le catch? un effet de bord indésirable qui se produirait dans un cas particulier?

Non pas de piège particulier, il faut cependant garder en tête que ton finally sera toujours exécuté APRES que ta variable 'return' soit affectée:

Citation:

The execution order is:

Code before return statement is executed
Expression in return statement is evaluated
finally block is executed
Result evaluated in step 2 is returned

Voir ici :http://stackoverflow.com/questions/4...null-statement
28/07/2011, 10h26
giova_fr

Citation:

The execution order is:

Code before return statement is executed
Expression in return statement is evaluated
finally block is executed
Result evaluated in step 2 is returned

dans ce cas.
Que le return soit dans le try, ou apres le finally, ca ne change rien, non?

Alors pourquoi :

Citation:

Envoyé par nah666

Citation:

Envoyé par DonQuiche

La bonne place pour le return est donc après finally. Soit une exception a été levée et elle est relancée après le finally et avant le return, soit tout s'est bien passé et on atteint le return.

Exact.
28/07/2011, 10h53
brachior

Citation:

Envoyé par nah666

Du moins, en règle général, le finally sert à exécuter un bloc avant de quitter le try ... catch

En fait il sert a remettre en état ton contexte, que tu aie eu une exception, ou pas.

Et est souvent utiliser pour exécuter un bloc avant de quitter une méthode.

Non absolument pas.

Une méthode devrait être un code représentant une fonction simple, une brique d'un algorithme plus complexe.
Pour moi une méthode qui procède à d'innombrable blocs d'exécution, est une méthode mal pensée ...
C'est pourquoi, il est très rare pour moi de voir dans une méthode un try ... catch suivi d'autres blocs ...
Ce qui insinue que le try ... catch débute et termine la méthode dans 90% des cas ...

Ça reste ma vision ... Mais je tenais à expliquer le pourquoi de mes dires ^^
28/07/2011, 11h02
nah666

Citation:

dans ce cas.
Que le return soit dans le try, ou apres le finally, ca ne change rien, non?

En fait si ça change :
http://blogs.msdn.com/b/jmstall/arch...finally-2.aspx

A préciser d'ailleurs qu'en .NET ca ne compile juste pas le return dans le finally (comme le GOTO d'ailleurs)

Citation:

In C#, this is just illegal. Returns are forbidden in finally clauses. This nicely just avoids the whole problem by refusing to let you write such potentially ambiguous and confusing code.
28/07/2011, 11h07
giova_fr

Le blog en question ne traite que le fait qu'un return est illégal dans un finally. Il ne parle pas de la différence entre un return dans le try, ou apres le finally. A moins que j'ai raté la marche? :aie:
28/07/2011, 11h12
nah666

Ah, mais le return dans le try ou même dans le catch ne pose pas de problème.
(Ton finally sera toujours exécuté si présent).

C'est uniquement le return dans le finally qui ne compile pas car il peut y avoir des trucs casse gueule, du genre je lance une autre exception dans mon catch, et mon finally fait un return => quesqui doit sortir de la fonction ?

Après mettre ton return dans le try (et/ou le catch), ou a la fin de la fonction, dépend uniquement de ce que dois faire ta fonction et éventuellement des règles de codage des boites.
28/07/2011, 11h25
brachior

Et si un finally est appelé par un return,
Et qu'il fait lui aussi un return ...
C'est illogique :aie:

@giova_fr

Citation:

il y a t'il un piège si on place un return dans le try ou le catch? un effet de bord indésirable qui se produirait dans un cas particulier?

C'est pour cette raison que je tente de comprendre précisément comment se comporte finally, dans quel ordre se passent les choses...

Aucun effet de bord, non. :)

En fait, la magie se passe au niveau de la génération du code IL. Si tu observes ce dernier, tu constates que le "return" que tu places dans ton bloc "try" ou "catch" est remplacé par une assignation à une variable locale. Le return est ensuite inséré après le bloc finally et renvoie le contenu de la variable locale en question.
Code:

1 2 3 4 5 6 7 8 9 // Code d'origine : try { return GimmeAnInteger(); } finally { CleanUp(); } // Le compilateur ce qui précède par ce qui suit : int __result; try { __result = GimmeAnInteger(); } finally { CleanUp(); } return __result;
@brachior et nah666
Quand j'ai parlé de placer le return après le finally, je ne voulais absolument pas dire que c'était mieux que de le placer dans le bloc try, c'était simplement dans le contexte de la question de savoir pourquoi on ne pouvait pas mettre de return dans le finally.

Alors est-ce mieux de mettre le return dans le try ou après le finally ? Bof, c'est une pure question stylistique, les deux se défendent.