comportement try finally

bonjour à tous,

je suis en train de préparer la certif SCJP et j'en suis à regarder le fonctionnement du try/finally sans de block catch et je tombe pas hasard sur un comportement qui m'interpelle.

voici le code :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17

public class TryFinallyTest{   public int testMethod(){ int i=2; try { return i++; } finally { System.out.println(i+ " dans le finally"); } }   public static void main(String []args){ TryFinallyTest tft = new TryFinallyTest(); System.out.println(tft.testMethod()+" retourné"); } }

---

et le résultat de ce superbe code est :
3 dans le finally
2 retourné

je trouve ça bizarre je m'attendais plutôt à
2 dans le finally
2 retourné
car le return est censé être éxécuté après le block finally et donc la postincrémentation n'aurait pas du entrer en jeu.

on dirait qu'en fait le return i; est mémorisé en attendant son éxécution, la post incrémentation est alors faite, le finally se lance et le return éxécuté.

est-ce vraiment le comportement dans ce type de cas ?

je ne suis pas expert, mais ca me parait bizarre aussi.

le finally a l'air d'etre un cas particulier.

je pense qu'il faut le voir comme ceci :
le bloc try est executé integralement et dans tous les cas avant de poursuivre l'execution le bloc finally serat exécuté.

Si c'était le cas, la fonction devrait de toutes façons retourner 3. Pourquoi t'attends-tu à ce qu'elle retourne 2 ? Le comportement que tu as décrit doit être ce qui se passe, mais ça me paraît étrange...

Non, il n'y a pas d'erreur.

Quand tu marque :

Code:

---

return i++;

---

c'est traduit en gros comme ca :
return i;
i = i + 1 ;

Par contre si tu marque :

Code:

---

return ++i;

---

Tu obtient bien :
i = i + 1 ;
return i ;


De plus, quand tu utilise un try/catch/finally ou try/finally.
Le try est toujours éxécuté en premier et en dernier tu as le finally mais jamais l'inverse.

Dans ton cas je pense que Java traduit ca comme ca :
- je rentre dans la try
- je mémorise le résultat du return
- j'incrémente i
- je rentre dans le finally
- j'affiche le message
- enfin je return le résultat du return

En complément : http://anisfrikha.developpez.com/tut...eptions/#LVI-E

deja un truc , tu devrais avoir un return toto(de type int)dans ta fonction ??!!

ça marche quand même ?

Citation:

---

Envoyé par dams77

Non, il n'y a pas d'erreur.

Quand tu marque :

Code:

---

return i++;

---

c'est traduit en gros comme ca :
return i;
i = i + 1 ;

---

Je dirais que c'est plus un bug de java, car ta traduction n'est pas licite (unreachable code)...

Citation:

---

Envoyé par ®om

Je dirais que c'est plus un bug de java, car ta traduction n'est pas licite (unreachable code)...

---

C'est vrai, si on faisait l'équivalent

Code:

---

1 2 3 4

... return i; i += 1;

---

il aurait généré une erreur... bizarre 8O

Salut,

Citation:

---

Envoyé par ®om

Je dirais que c'est plus un bug de java, car ta traduction n'est pas licite (unreachable code)...

---

Non ce n'est pas un "bug", mais le comportement normal de i++

Citation:

---

Envoyé par OButterlin

C'est vrai, si on faisait l'équivalent

Code:

---

1 2 3 4

... return i; i += 1;

---

il aurait généré une erreur... bizarre 8O

---

C'est normal que le compilateur ne génère pas d'erreur : le code Java est correct.

Code:

---

return i++;

---

Cette code peut se résumer en trois étape :

1. On évalue l'expression qui sera retourné (i++ ici), ce qui donne en fait i, soit 2 dans ce cas) puisque le ++ est effectué après l'expression. La valeur de retour est donc 2
2. L'opérateur ++ est ensuite effectué, i passe donc à 3.
3. Et enfin la valeur de retour est renvoyé, donc 2.

L'équivalent serait donc plutôt quelque chose du genre :

Code:

---

1 2 3

int ret = i; i += 1; return ret;

---

Le finally vient donc s'insérer entre l'étape 2 et 3...

a++

OK, merci pour l'explication...
A+

oups j'avais pas vu le return à l'interieur du try lol
autant pr moi :)