Pourquoi une instruction Return dans un bloc Enfin remplace-t-elle la valeur de retour du bloc Try ?

Raison de la valeur de retour inchangée

Dans une instruction try-finally, l'exécution du bloc try se termine par l'exécution de l'instruction return. À ce stade, la valeur de la variable s renvoyée par la méthode est la valeur de s au moment de l'exécution de l'instruction return.

Même si la clausefinal modifie la valeur de s plus tard, elle le fait ne modifie pas la valeur de retour de la méthode après l'exécution de l'instruction return.

Immuable vs Mutable Objets

Il est important de noter que ce comportement s'applique lors de la modification directe de la valeur de s lui-même dans le bloc final. Cependant, si s faisait référence à un objet mutable (ce qui n'est pas le cas de String), la modification du contenu de l'objet dans le bloc final serait reflétée dans la valeur renvoyée.

Spécifications légales

La spécification du langage Java (JLS) fournit des directives détaillées pour ces opérations dans la section 14.20.2. Dans cette section, il est indiqué qu'une instruction return dans un bloc try constitue une terminaison brutale. Par conséquent, la section 14.17 explique qu'une instruction return met fin brusquement à l'exécution du bloc.

Gestion des exceptions et instructions Return

Si le bloc try et le bloc final se terminent brusquement en raison du retour déclarations, les règles du §14.20.2 s'appliquent :

• Si le bloc try se termine brusquement pour une raison autre qu'une exception étant levée, le bloc final est exécuté. L'instruction try se termine ensuite brusquement pour la même raison.
• Si le bloc final se termine brusquement pour la raison S, l'instruction try se termine brusquement pour la raison S, ignorant la raison d'origine.

La conséquence de ces règles est que l'instruction return dans le bloc final détermine la valeur de retour de l'intégralité de l'instruction try-finally, remplaçant la valeur de retour du bloc try. Un phénomène similaire se produit dans les instructions try-catch-finally où une exception est levée dans le bloc try et gérée par un bloc catch, et les blocs catch et enfin contiennent des instructions return.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!