A fim de verificar as condições em C

A expressão a esta pergunta:

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

é um exemplo clássico de uma horrível, horrível expressão, absurdamente irreal e impraticável, e punishingly difícil entender que, não obstante, faz um bom trabalho de ilustrar um super ponto importante: a precedência não é a mesma que a ordem de avaliação.

O que a precedência realmente nos diz é que, como os operadores são conectados com seus operandos. Assim, a expressão simplificada

A || B || C && D

que duas subexpressões fazer a primeira ||e o segundo ||e o && na verdade, unir e operar? Se você é um compilador escritor, responder a estas questões através da construção de uma "árvore de análise", que explicitamente mostra que subexpressão(s) vá com que os operadores.

Assim, dada a expressão A || B || C && Dnão , a árvore de análise para a expressão parecido com este:

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

ou assim:

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

ou assim:

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

Para responder esta pergunta precisamos saber não apenas que a precedência de && é maior do que ||, mas também que || resta-associativa. Tendo em conta estes factos, a expressão

A || B || C && D

é analisado como se tivesse sido escrito

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

e, portanto, os resultados no terceiro dos três candidatos analisar árvores mostrei:

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

Mas agora estamos em uma posição para realmente ver como o "curto-circuito" comportamento do || e && operadores vai ser aplicado. Que "topo" || está indo para avaliar o seu lado esquerdo e, em seguida, se é falso, também, avaliar o lado direito. Da mesma forma, o menor || vai avaliar o seu lado esquerdo. Assim, não importa o que, A vai ficar avaliada primeiro. Para a expressão em questão original, que corresponde a a++ > 0.

Agora, a++>0 é falso, portanto, nós vamos ter que avaliar B, o que é ++b == 1. Agora, o que é verdadeiro, então o resultado da primeira || é "verdadeiro".

Assim, o resultado da segunda (topo) || operador também é "verdadeiro".

De modo que o lado direito do topo || o operador não tem de ser avaliada em todos.

De modo que toda a subexpressão contendo && não serão avaliados.

Assim, mesmo que && tinha a precedência mais alta, ele acabou sendo considerado o último, e (desde que o material para a esquerda envolvidos || e era verdade) não acabar ficando avaliada em tudo.

A linha inferior, como comecei por dizer, é que a precedência não determinar a ordem de avaliação.

Também, se não foi dito em outros lugares, isso é garantido, da esquerda para direita comportamento é apenas garantido para o || e && operadores (e, de uma forma diferente, para o ternário ?: operador). Se a expressão tivesse sido

A + B + C * D

ele poderia não ter sido verdade que, como eu disse anteriormente, "não importa o que, A vai ficar avaliada em primeiro lugar". Para operadores aritméticos como + e *, não há nenhuma maneira de saber se o lado esquerdo ou o lado direito vai ficar avaliada primeiro.