Discussion :

[sd0273]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 ?

[eclesia]

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

[Rayndell]

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

[dams77]

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

Quand tu marque :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

return i++;

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

Par contre si tu marque :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

[Ricky81]

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

[baroudi]

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

ça marche quand même ?

[®om]

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

Quand tu marque :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

[OButterlin]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
 
...
return i;
i += 1;

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

[adiGuba]

Salut,

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

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
 
...
return i;
i += 1;

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

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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

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

a++