Veuillez expliquer un conflit apparent entre la préséance de && et || et le résultat réel d'une expression

Question

Je ne comprends pas la sortie du programme suivant:

#include<stdio.h> 

int main() 
{ 
    int i=-3, j=2, k=0, m; 
    m = ++i || ++j && ++k; 
    printf("%d %d %d %d\n", i, j, k, m); 
    return 0; 
} 

La sortie est -2 2 0 1 au lieu de -2 3 1 1, ce qui implique que ++i a été évaluée (et a causé l'opérateur || à court circuit son côté droit) avant l'expression ++j && ++k qui semble contredire le fait que l'opérateur && a une priorité supérieure à ||.

Est-ce que quelqu'un pourrait expliquer pourquoi?

Answer 1

L'expression:

++i || ++j && ++k 

équivaut à:

(++i) || ((++j) && (++k)) 

Explication:

1. ++i est évalué - (-2) || ((++j) && (++k));
2. L'opérateur || est évalué - (1);

Étant donné que 1 || anything est vrai, l'opérande de droite n'est pas évalué.Ainsi, la précédence && n'a pas d'importance ici. Ce court-circuit est garanti en C et C++ par les normes correspondantes (voir Is short-circuiting logical operators mandated? And evaluation order?).

Maintenant, essayez d'utiliser une sous-expression, comme ceci:

(++i || ++j) && ++k 

ce qui équivaut à:

((++i) || (++j)) && (++k) 

Explication:

1. ++i est évalué - ((-2) || (++j)) && (++k);
2. || est évaluée - (1) && (++k)
3. ++k est évaluée - (1) && (1);
4. Evalue true;

Answer 2

-2 2 0 1

Lazy.

#include <stdio.h> 

int main() 
{ 

int i=-3,j=2,k=0; 
int m=++i||++j&&++k; 

printf("%d %d %d %d",i,j,k,m); 

} 

Compilez, courez et voyez par vous-même.

gcc tmp.c -o tmp 

Answer 3

La sortie devrait être quelque chose comme:

Error, line 2: 'm': undefined variable. 

Edit: avec qui fixe, seul le ++i doit être évaluée. La préséance ne détermine pas (ou même affecte) l'ordre d'évaluation. La préséance signifie que l'expression est équivalente à ++i || (++j && ++k). L'ordre d'évaluation pour || ou && est toujours que l'opérande gauche est évaluée, alors il y a un point de séquence. Après le point de séquence, l'opérande droit est évalué si et seulement si nécessaire pour déterminer le résultat final (ie, l'opérande droit || est évalué si l'opérande gauche est évalué à zéro, l'opérande droit de && est évalué si l'opérande gauche a été évaluée à non nul).

Dans cette expression, ++i est évaluée, puis parce que c'est l'opérande gauche de || et évalué non nul, aucun des autres éléments de l'expression n'est évalué.

Answer 4

En guise d'explication:

#include <stdio.h> 

int main() 
{ 
    if (-1) 
     printf ("-1!\n"); 
    else 
     printf ("Not -1.\n"); 
    return 0; 
} 

Les nombres négatifs ne sont pas faux en C. comparer toujours les valeurs booléennes à 0 (ou FALSE) ou vous pouvez faire piquer par if (worked == TRUE) donnant des faux négatifs.