Afin de vérifier les conditions dans C

L'expression de cette question:

if(a++>0 || ++b==1 || c--<=0 && d++>c--)

est un exemple classique d'un horrible, horrible expression, outrageusement irréaliste et impraticable, et punishingly difficile à comprendre, qui a pourtant fait un bon travail d'illustration d'un super point important: la priorité n'est pas le même que l'ordre d'évaluation.

Ce préséance vraiment nous dit, c'est la façon dont les opérateurs sont raccordés à leurs opérandes. Compte tenu de l'expression simplifiée

A || B || C && D

qui deux sous-expressions de faire le premier ||et la deuxième ||et la && en fait attacher et de les faire fonctionner sur? Si vous êtes un compilateur écrivain, vous répondez à ces questions par la construction d'un "arbre d'analyse", qui montre explicitement ce qui sous-expression(s) aller avec les opérateurs.

Donc, compte tenu de l'expression A || B || C && D, ne l'arbre d'analyse pour l'expression ressembler à ceci:

        &&
       /  \
     ||    D
    /  \
  ||    C
 /  \
A    B

ou comme ceci:

  ||
 /  \
A    ||
    /  \
   B    &&
       /  \
      C    D

ou comme ceci:

      ||
     /  \
    /    \
  ||      &&
 /  \    /  \
A    B  C    D

Pour répondre à cela, nous avons besoin de savoir non seulement que la priorité de && est plus élevé que ||mais aussi que || est-gauche associative. Compte tenu de ces faits, l'expression

A || B || C && D

est analysée comme si elle avait été écrite

(A || B) || (C && D)

et, par conséquent, les résultats de la troisième des trois candidat analyser les arbres je l'ai montré:

      ||
     /  \
    /    \
  ||      &&
 /  \    /  \
A    B  C    D

Mais maintenant nous sommes en mesure de vraiment voir comment le "court-circuiter" le comportement de l' || et && les opérateurs va être appliquée. Que "top" || va évaluer son côté gauche, et puis, si c'est faux, d'évaluer également le côté droit. De même, la baisse des || va évaluer son côté gauche. Donc, peu importe ce que, A va d'abord évaluée. Pour l'expression dans la question d'origine, qui correspond à a++ > 0.

Maintenant, a++>0 est fausse, donc nous allons avoir à évaluer Bqui est ++b == 1. Maintenant, c' est vrai, donc le résultat de la première || est "vrai".

Si le résultat de la seconde (en haut) || l'opérateur est aussi "vrai".

De sorte que le côté droit de la partie supérieure || l'opérateur n'a pas à être évaluées.

Donc, l'ensemble de la sous-expression contenant && ne seront pas évaluées.

Donc, même si && a la priorité la plus élevée, il a fini par être considéré comme le dernier, et, depuis que les choses à la gauche impliqués || et qui était vrai), il n'a pas de fin jusqu'à obtenir une évaluation à tous.

La ligne de fond, comme j'ai commencé par dire, c'est que la priorité n'est pas de déterminer l'ordre d'évaluation.

Aussi, si elle n'a pas été dit ailleurs, cette garantie, de gauche à droite comportement est seulement garanti pour la || et && les opérateurs (et, d'une manière différente, pour le ternaire ?: de l'opérateur). Si l'expression a été

A + B + C * D

il ne serait pas ont été vrai que, comme je l'ai dit plus tôt, "n'importe quoi, A va d'abord évaluée". Pour les opérateurs arithmétiques comme + et *, il n'y a aucun moyen de savoir si la gauche ou la droite va se faire d'abord évaluée.