Discussion :

[M-RiX]

Bonjour
Est-ce-que Pascal fait des évaluation paresseuses?
Si non, comment aboutir à quelque chose d'équivalent sur une structure du genre:

Code :

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

while A and B do...

( si ca change quelque chose, j'utilise turbopascal 7.0)

[M.Dlb]

Evaluation paresseuse ? Quelle jolie expression... Mais c'est quoi ?

Sois plus clair

[M-RiX]

C'est, quand on a une serie de test avec des AND, le fait de ne pas continuer les tests suivant une fois qu'un test est faux.

[HRS]

OUI

avec OR, quand le 1er est vrai, il s'arrête
avec AND, quand le 1er est faux, il s'arrête

Contrairement à ADA qui implicitement parallélisent les tests

[M-RiX]

Merci
Mais j'ai maintenant un problème, je pensais que c'était juste un problème d'évaluation paresseuse ou non, mais si ce n'est pas le cas je ne comprend plus.
C'est un peu hors-sujet par rapport à la question de départ, désolé.
J'essaie de faire une procedure pour tester si un tableau de nombres est borné par un nombre donné. Voilà juste la boucle principale:

Code :

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

1
2
3
 i:=1;
while (i<=n) and (tab[i]>=m) do i:=i+1;
resultat:=(i=n+1);

tab est le tableau, n la longueur du tableau, m la borne que l'on teste (et resultat est un bouléen)
Après des tests, je me suis rendu compte que la procédure marche si je met à la fin:

Code :

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

resultat:=(i=n);

c'est là que je ne comprend pas; si le tableau est effectivement borné par m, lorsque i=n, (i<=n) et (tab[i]>=m) sont vrai donc l'instruction i:=i+1 est executé, i prend la valeur n+1, le test (i<=n) devient faut et on sort de la boucle, on devrait donc avoir à la fin i=n+1...

[Alcatîz]

Bonjour !

Il est possible que ce soit la condition (tab[i]>=m) qui arrête la boucle alors que la valeur de i égale n.
Sinon, ça me semble impossible.

[Clandestino]

Peut-etre la dernière case de ton tableau est-elle vide...

[pascal_damien]

Salut,

Tu as peut-être trouvé la solution, étant donné que ça date un peu, mais pourrais-tu détailler ce que tu veux faire avec cette boucle ? Comment as-tu déclaré ton tableau ?

[Eric Sigoillot]

Pour répondre plus en détail à la première question. Le Pascal ne parle pas d'évaluation booléenne "paresseuse", mais d'évaluation booléenne complète (ou pas).

Il est possible de choisir le comportement du compilateur à l'aide d'une directive de compilation.
Sous Turbo Pascal, il s'agit de $B, pour activer ou non l'évaluation complète. En mode {$B+}, les conditions sont évaluées en entier avant de passer à la suite, alors qu'en mode {$B-}, la condition s'arrête dès que le résultat peut être connu.

@++