IF THEN ELSE ou IF ELSE ELSE ?

Bonjour,

J'ai rencontré pour la première fois un phénomène étrange.

Dans un test if Boolean1_var then exit else x := val; quelque soit l'état de Boolean1_var c'était toujours la branche else qui était prise (d'où l'intérêt d'un test 8O).
En revanche if Boolean2_var then x := val else exit; fonctionnait parfaitement.

Le débugger montre que l'expression est bien calculée mais le code assembleur laisse planner un doute avec une adresse dans rax également utilisé via al dans le test de condition.

Quelqu'un a déjà eu ce problème ?

Salutations

Bonjour ! Très étrange en effet. Non, ça ne me rappelle rien.

Bonjour,

Je m'interroge sur l'utilité d'une section else dans le test ? Soit l'instruction exit mettra fin à la routine, soit l'instruction x := val; sera exécutée :

Code:

---

1 2 3

if Boolean1_var then Exit; x := val;

---

Bonjour,

Bon après plusieurs lectures, j'ai voulu tester (Windows 11 Lazarus 3.8 Free Pascal 3.2.2)
Donc voici mon code :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40

Program IfThenElse;   {$R *.res}   Var x : Integer;   Procedure LireUnBooleen (Boolean1Var : Boolean; Val : Integer); Begin if Boolean1Var then Exit else x := val; End;   Procedure LireUnBooleen2 (Boolean2Var : Boolean; Val : Integer); Begin if Boolean2Var then x := val else Exit; End;     Begin   x := 10; LireUnBooleen(False, 1); WriteLn('Apres appel a False (1) : x = ', x); x := 11; LireUnBooleen(True, 2); WriteLn('Apres appel a True (2) : x = ', x); x := 10; LireUnBooleen2(False, 1); WriteLn('Apres appel a False (1) : x = ', x); x := 11; LireUnBooleen2(True, 2); WriteLn('Apres appel a True (2) : x = ', x);   ReadLn;   End.

---

et voici les résultat en optimisation 4 (-O4)

Citation:

---

Apres appel a False (1) : x = 1
Apres appel a True (2) : x = 11
Apres appel a False (1) : x = 10
Apres appel a True (2) : x = 2

---

Je n'ai donc pas le phénomène que tu décris. Mais je n'ai pas tout ton programme...
NB: Pour les puristes j'avais mis des accents dans mes textes mais je les ai enlevé car j'avais la flemme de chercher l'instruction qui met la console en UTF8
EDIT 28/01/2025 : Bon, je l'ai retrouvé Il faut
1/ Ajouter Windows aux uses (si pas déjà là)
2/ Ajouter SetConsoleOutputCP(CP_UTF8); dans les premières lignes du programme

Dans mon cas ça donne :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44

Program IfThenElse;   uses windows; // Pour la fonction Setconsoleoutputcp   {$R *.res}   Var x : Integer;   Procedure LireUnBooleen (Boolean1Var : Boolean; Val : Integer); Begin if Boolean1Var then Exit else x := val; End;   Procedure LireUnBooleen2 (Boolean2Var : Boolean; Val : Integer); Begin if Boolean2Var then x := val else Exit; End;     Begin SetConsoleOutputCP(CP_UTF8); // Pourla sortie en UTF8   x := 10; LireUnBooleen(False, 1); WriteLn('Après appel à False (1) : x = ', x); x := 11; LireUnBooleen(True, 2); WriteLn('Après appel à True (2) : x = ', x); x := 10; LireUnBooleen2(False, 1); WriteLn('Après appel à False (1) : x = ', x); x := 11; LireUnBooleen2(True, 2); WriteLn('Après appel à True (2) : x = ', x);   ReadLn;   End.

---

Ce qui fait en sortie :

Citation:

---

Après appel à False (1) : x = 1
Après appel à True (2) : x = 11
Après appel à False (1) : x = 10
Après appel à True (2) : x = 2

---

Fin EDIT

Cordialement

Bonjour Alcatîz,

Citation:

---

Envoyé par Alcatîz

...Je m'interroge sur l'utilité d'une section else dans le test ? Soit l'instruction exit mettra fin à la routine...[/CODE]

---

C'est exact, mais ce test était dans une entrée d'un case. L'écriture linéaire aurait nécessité un begin...end; pour ce cas ce qui n'est pas nécessaire avec le if...then...else sans qu'il y ait de coût supplémentaire. J'ai donc choisi la concision.

Salut.

Bonjour,

Ne vous cassez pas la tête là-dessus : contourner ce comportement n'est pas très difficile (le temps perdu avant de comprendre que le test ne testait rien fut quand même important). Je voulais seulement savoir si quelqu'un l'avait déjà rencontré.

Merci.

Salutations.