Discussion :

[dj.motte]

Salut,

Par exemple :

Code :

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

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 ?

[Melem]

Comment est évaluée l'expression E1 && E2 ?

[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...

[Emmanuel Delahaye]

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 :

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

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 :

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

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.

[dj.motte]

Salut,

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 ?

[sim_mmm]

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...

[Melem]

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 ?

[Melem]

Salut,

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.

[souviron34]

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 :

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

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

[Emmanuel Delahaye]

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 :

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

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 :

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

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 :

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

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.

[souviron34]

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

Mais justement, c'est ce que je disais : séparer corectement l'algo avec des parenthèses..

[Sve@r]

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

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

Code :

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

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

[droggo]

Goe,

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.