Dans quel ordre se fait l'évaluation

Version imprimable

17/08/2008, 23h08
dj.motte

Dans quel ordre se fait l'évaluation
Salut,

Par exemple :
Code:

1 2 3 4 5 6 int isLeapYear( int y ) { return ((y % 4 == 0 ) && ( y % 100 != 0 ) || ( y % 400 == 0 )) ; }
Dans ce cas de figure quel est l'ordre d'évaluation de ces trois conditions logiques ?
Y a-t-il un moyen en C de faire en sorte que dès la première évaluation fausse le test s'arrête ?
17/08/2008, 23h15
Melem

Comment est évaluée l'expression E1 && E2 ?
17/08/2008, 23h15
sim_mmm

Bonjour,

Le langage C utilise l'évaluation paresseuse (REF : http://www.spi.ens.fr/beig/systeme/langageC.html)

Ainsi les conditions logiques sont évaluées dans l'ordre où elle se présente.
Dans ce cas, si la première condition est évaluer à FAUX, les autres conditions ne sont pas évaluées...

Citation:

Envoyé par dj.motte

Y a-t-il un moyen en C de faire en sorte que dès la première évaluation fausse le test s'arrête ?

C'est déjà fait. C'est un mécanisme intrinsèque du langage garanti sur les implémentation conformes.

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
 
#include <stdio.h>
 
int main (void)
{
   {
      int i = 0;
 
      while (i < 5 && printf ("i = %d\n", i) != 0)
      {
         i++;
      }
      printf ("\n");
   }
 
   {
      int i = 0;
 
      while (printf ("i = %d\n", i) != 0 && i < 5)
      {
         i++;
      }
      printf ("\n");
   }
 
   return 0;
}

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
i = 0
i = 1
i = 2
i = 3
i = 4
 
i = 0
i = 1
i = 2
i = 3
i = 4
i = 5
 
 
Process returned 0 (0x0)   execution time : 0.037 s
Press any key to continue.

18/08/2008, 01h41
dj.motte

Salut,

Citation:

Ainsi les conditions logiques sont évaluées dans l'ordre où elle se présente.
Dans ce cas, si la première condition est évaluer à FAUX, les autres conditions ne sont pas évaluées...

Ah oui sûr ? Même si les conditions logiques penchent à droite ?
18/08/2008, 01h50
sim_mmm

Citation:

Envoyé par dj.motte

Salut,

Ah oui sûr ? Même si les conditions logiques penchent à droite ?

Effectivement ce que j'ai dit plus haut est faux (j'ai pas tenu compte du ||)...

Si la première condition est évaluée à VRAI l'évaluation des autres conditions sera omise...
Si la première condition est évaluée à FAUX, la dernière condition sera évaluée pour déterminer le résultat. Normalement, la seconde condition ne sera pas évaluée...
18/08/2008, 08h15
Melem

Citation:

Envoyé par sim_mmm

Si la première condition est évaluée à VRAI l'évaluation des autres conditions sera omise ...
Si la première condition est évaluée à FAUX, la dernière condition sera évaluée pour déterminer le résultat. Normalement, la seconde condition ne sera pas évaluée...

Quoi ??? Alors j'ai donné le lien vers la FAQ pour rien ?
18/08/2008, 08h19
Melem

Citation:

Envoyé par dj.motte

Salut,

Citation:

Ainsi les conditions logiques sont évaluées dans l'ordre où elle se présente.
Dans ce cas, si la première condition est évaluée à FAUX, les autres conditions ne sont pas évaluées ...

Ah oui sûr ? Même si les conditions logiques penchent à droite ?

Il n'y a rien de plus sûr, pour l'opérateur &&. Pour l'opérateur ||, t'as qu'à remplacer FAUX par VRAI.
19/08/2008, 11h45
souviron34
Citation:

Envoyé par dj.motte

Salut,

Ah oui sûr ? Même si les conditions logiques penchent à droite ?

et d'autre part, le meilleur moyen de s'affranchir des doutes ET d'avoir un code propre est de mettre les parenthèses là où c'est nécessaire ET pour la lisibilité ET pour l'exécution..
Code:

1 2 3 4 5 int isLeapYear( int y ) { return ( ((y % 4 == 0 ) && ( y % 100 != 0 )) || ( y % 400 == 0 )) ; }

Citation:

Envoyé par souviron34

et d'autre part, le meilleur moyen de s'affranchir des doutes ET d'avoir un code propre est de mettre les parenthèses là où c'est nécessaire ET pour la lisibilité ET pour l'exécution..

Code:

1
2
3
4
5
int isLeapYear( int y )
{
 return  ( ((y % 4 == 0 ) && ( y % 100 != 0 )) || ( y % 400 == 0 )) ; 
}

OK. Ca fonctionne parce que le % est clairement plus prioritaire que && et ||.

Je recommande ceci, surtout si au lieu de +-/*%, on a &|!^ .

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
#include <stdio.h>
 
int isLeapYear (unsigned y)
{
   return (y % 4) == 0 && ((y % 100) != 0 || (y % 400) == 0);
}
int main (void)
{
   unsigned y;
 
   for (y = 1900; y < 2100; y++)
   {
      if (isLeapYear (y))
      {
         printf ("%5u", y);
      }
   }
   return 0;
}

Code:

1
2
3
4
5
6
7
 
 1904 1908 1912 1916 1920 1924 1928 1932 1936 1940 1944 1948 1952 1956 1960 1964
 1968 1972 1976 1980 1984 1988 1992 1996 2000 2004 2008 2012 2016 2020 2024 2028
 2032 2036 2040 2044 2048 2052 2056 2060 2064 2068 2072 2076 2080 2084 2088 2092
 2096
Process returned 0 (0x0)   execution time : 0.036 s
Press any key to continue.

20/08/2008, 12h26
souviron34

lol ok j'ai pas fait attention à l'algo, juste au groupement... :oops:

Mais justement, c'est ce que je disais : séparer corectement l'algo avec des parenthèses..
22/08/2008, 22h05
Sve@r
Citation:
Envoyé par Emmanuel Delahaye

OK. Ca fonctionne parce que le % est clairement plus prioritaire que && et ||.

Je recommande ceci, surtout si au lieu de +-/*%, on a &|!^ .

Code:

1 2 3 4 5 6 7 #include <stdio.h> int isLeapYear (unsigned y) { return (y % 4) == 0 && ((y % 100) != 0 || (y % 400) == 0); }
Amusant qu'en remplaçant une formulation de type "(A et B) ou C" par une formulation de type "C et (A ou B)" ça fonctionne toujours (et qu'accessoirement ça optimise le temps de traitement). Heureusement que les diviseurs sont tous multiples les un des autres sinon ça marcherait moins bien ;)
22/08/2008, 23h40
droggo

Goe,

Citation:

Envoyé par Sve@r

Amusant qu'en remplaçant une formulation de type "(A et B) ou C" par une formulation de type "A et (B ou C)" ça fonctionne toujours (et qu'accessoirement ça optimise le temps de traitement). Heureusement que les diviseurs sont tous multiples les un des autres sinon ça marcherait moins bien ;)

Si ce n'était pas le cas, on aurait écrit l'équation nécessaire. ;)