Discussion :

[arthix]

salut,

petite question concernant l'opérateur && dans une condition if, par exemple :

Code :

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

if (toto && calc(a,b))

la fonction calc rendant bien évidemment un booléen...

si toto est à FALSE, est-ce que calc est tout de même executée?

merci !!

[Trap D]

Non, l'évaluation se fait de gauche à droite et si toto est false calc(a,b) ne sera pas calculé.
Ce genre de truc est potentiellement dangereux.

[afrikha]

la fonction calc rendant bien évidemment un booléen...

à ma connaissance il n'y a pas de type booléen en C.
C considère que 0==false et a==true où a est du type int et different de 0.
le resultat des operateurs logiques est du type int.

[arthix]

Trap D, à ton sens mieux vaut le faire en temps temps, genre tester toto puis eventuellement executer calc et tester son résultat ??

[diogene]

Code :

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

toto && calc(a,b)

Ce n'est pas un problème lié à if(...)
C'est un des rares cas où l'ordre d'évaluation des termes d'une expression est imposé et où tous les opérandes ne seront pas forcémént évalués. C'est extrèmement commode dans certans cas. Mais Trap D le signale justement il FAUT connaître ce comportement parce que celà signifie que la fonction calc(...) n'est appelée QUE si toto est Vrai et tirer avantage de ce comportement.
Ce comportement rend l'opérateur effectivement non commutatif puisque

Code :

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

toto && calc(a,b)

ne fait pas la même chose que

Code :

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

calc(a,b) && toto

[arthix]

OK j'avais bien compris ca

bonne soirée et bonne semaine !!!
a++

[Emmanuel Delahaye]

Non, l'évaluation se fait de gauche à droite et si toto est false calc(a,b) ne sera pas calculé.
Ce genre de truc est potentiellement dangereux.

Ah ? Je dirais plutôt que le fait que le sens de l'évaluation soit défini est au contraire une source de sécurité. Par exemple :

Code :

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

1
2
3
4
 
if (p != NULL && *p != 0)
{
}

Ca, ce serait dangereux :

Code :

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

1
2
3
4
 
if (*p != 0 && p != NULL)
{
}

[diogene]

afrikha :

à ma connaissance il n'y a pas de type booléen en C

C'est très discutable (même en Ansi C)

[Emmanuel Delahaye]

la fonction calc rendant bien évidemment un booléen...

à ma connaissance il n'y a pas de type booléen en C.

Du moins pas en C90.

C considère que 0==false et a==true où a est du type int et different de 0.
le resultat des operateurs logiques est du type int.

et les valeurs sont 0 ou 1.

[arthix]

Emmanuel, je veux bien un peu plus d'explications sur ton exemple, je vois pas le truc là

merci

[Emmanuel Delahaye]

Emmanuel, je veux bien un peu plus d'explications sur ton exemple, je vois pas le truc là

l'expression de gauche p != NULL est évaluée en premier, ce qui fait que si elle est vrai, l'expression de droite n'est pas évaluée. Comme celle de droite comporte un déréférencement de pointeur, ça tombe bien!

Si on avait écrit l'expression dans l'autre sens (2ème exemple), on aurait eu un risque de déréférencement d'un pointeur NULL, ce qui entraine un comportement indéfini (autrement dit, c'est un bug, mais pas forcément visible, ce qui le rend extrèmement dangereux).

[arthix]

ok thanks !!

bonne soirée

[Trap D]

Emmanuel, je disais potentiellement dangereux car de la manière donc c'est écrit avec une lecture un peu rapide on peut oublier qu'il n'y a pas toujours appel à la fonction.
Moi je ne conseille vraiment pas cette écriture.

[Emmanuel Delahaye]

Emmanuel, je disais potentiellement dangereux car de la manière donc c'est écrit avec une lecture un peu rapide on peut oublier qu'il n'y a pas toujours appel à la fonction.
Moi je ne conseille vraiment pas cette écriture.

Oui, ok, c'est un peu de l'écriture ... d'apprenti gourou.

En ce qui me concerne, j'y suis habitué, pas de problème.

[Trap D]

C'est vrai, tu n'es plus un débutant