Discussion :

[Beginner.]

Salut,

Les "ou logique" sont-ils optimisés par le compilateur ?

Je ne sais pas si je vais être clair...Supposons que j'ai une instruction comme ça :

Code :

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

if(b1 || b2 || b3)...

Si b1 est vrai il est inutile de calculer b2 et b3 car quelque soit leur valeur b1 || b2 || b3 sera vrai...

Alors ma question est-ce que le compilateur fait en sorte dans ce genre de cas que le programme n'ait pas à calculer b2 et b3 ?

Merci.

[CosmoKnacki]

Il y a un moyen simple de le savoir, fait ce test avec b1 vrai:

Code :

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

if (b1 || ++i)

et regarde si la valeur de i a changé.

[thelvin]

Cela dit un essai ne donne la réponse que sur un seul environnement. Ça dit pas si ça se comporte pareil sur d'autres.
(Accessoirement cet exemple ne peut pas compiler. Les variables booléennes ne gèrent pas l'opérateur ++, et les types non booléens ne gèrent pas l'opérateur || . Remplacer par if(b1 || (++i > 0)) )

En fait ce n'est pas une question d'optimisation du compilateur, c'est un mécanisme du langage Java.
Oui l'opérateur || est évalué de gauche à droite jusqu'à tomber sur le premier opérande vrai, les autres opérandes ne sont pas évalués (et donc, leurs effets de bord comme ++i n'ont pas lieu). C'est le langage Java qui l'exige.
Si ce n'est pas souhaité, il existe l'opérateur booléen méconnu | qui, lui, va évaluer tous les opérandes, même après en avoir trouvés qui sont à vrai.

Test :

Code :

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

1
2
3
4
5
int i = 0;
boolean b1 = true;
if(b1 | (++i > 0)) {
  System.out.println(i);
}

[Beginner.]

Merci c'est instructif. +1 et résolu.