Forcer les opérandes à s'exécuter

Bonjour à tous,

J'ai deux traitements et au cas où d'un est effectif, je dois en faire un troisième.

Cela donne :

Code:

---

1 2 3

if(op1() || op2()) op3();

---

Sauf que si le compilateur évalue op1() à false, il ne cherche pas à exécuter op2() car il connait déjà le résultat de la condition, en tout cas c'est ce que le débogage m'inspire.

Le problème c'est que l'exécution de op2() est nécessaire pour la routine.

J'ai essayé :

Code:

---

1 2 3 4

bool b1 = op1(); bool b2 = op2(); if(b1 || b2) op3();

---

Pareil avec des int * ^2, rien à faire

Y a-t-il n moyen de forcer l'exécution des opérandes même si ce n'est pas nécessaire pour connaitre le résultat final ?

| ou lieu de || et & au lieu de &&. Cela revient en faite a faire un masque binaire de b1 et b2. Tout les resultats sont evalués pour réaliser le masque.

Salut,

Attention: l'opérateur logique || forcera l'exécution du second opérande si le premier est évalué à false, car la table de vérité montre que l'état unique est false:

Code:

---

1 2 3 4 5 6

A | B | A||B --------------------- FALSE | FALSE | FALSE FALSE | TRUE | TRUE TRUE | <NE>* | TRUE <NE> NON EVALUE car TRUE || n'importe quoi == TRUE

---

C'est l'opérateur && qui n'évaluera pas le deuxième opérande si le premier est évalué à false, car sa table de vérité donne

Code:

---

1 2 3 4 5 6

A | B | A&&B --------------------- FALSE | <NE>* | FALSE TRUE | FALSE | FALSE TRUE | TRUE | TRUE <NE> NON EVALUE car FALSE && n'importe quoi == FALSE

---

Quoi qu'il en soit, étant donné que les deux opérateurs logiques ont la possibilités de ne pas évaluer le second opérande en fonction du premier, tu es pour le moins coincé (du moins avant C++17) et tu ne peux pas les utiliser "tels quels".

Mais la solution de passer par une (ou plusieurs) variable(s) intermédiaire(s) sous une forme proche de

Code:

---

1 2 3 4

bool test1=operande1(); bool test2=operande2(); if(test1||test2) fonction3();

---

ou, sous la forme de

Code:

---

1 2 3 4

bool result = operande1(); result ||=operande2(); if(result) fonction3();

---

Devraient fonctionner. Dés lors: comment en arrive tu à la conclusion que l'on ne passe pas dans le deuxième opérande:question: Pourrais tu nous montrer un minimum de code, avec, au minimum, la signature de tes fonctions servant pour operande1 et operande2 reproduisant ton problème :question:

Merci pour vos réponses,

J'ai utilisé :

Code:

---

1 2 3 4 5

bool b1 = ...; bool b2 = ...; bool b3 = ...; return b1 || b2 || b3;

---

Si ça ne fonctionnait pas hier c'est parce que j'avais oublié de l'appliquer à un endroit.

Merci encore

Citation:

---

Envoyé par koala01

ou, sous la forme de

Code:

---

1 2 3 4

bool result = operande1(); result ||=operande2(); if(result) fonction3();

---

Devraient fonctionner.

---

Là, je suis surpris. C'est contre-intuitif pour moi (d'ailleurs, je ne savais même pas que ||= était supporté, mais je confonds peut-être avec C#).

Edit: Je viens de tester sous Visual 2013, ni &&= ni ||= ne compilent.
Par contre, |= marche parfaitement et fait ce qu'on voulait (toujours évaluer la seconde opérande).

Edit2: C# (du moins, C# 2.0) ne reconnait pas &&= comme un opérateur non plus.