Increment and logical operators precedence [duplicate]

Answer 1

Operator precedence is a completely different thing. Order of evaluation is determined by side effects and sequence points.

see this manual on order of evaluation.

Answer 2

The logical && and || operators fully evaluate the LHS before doing any evaluation of the RHS.

In the code shown, since ++i is -2, the LHS of the || evaluates to true (1) and the RHS is not evaluated. Therefore, neither j nor k is incremented. The printed result follows: m was assigned 1, i became -2, and j stayed as 2 and k stayed as 0.

The only remaining issue is that && binds tighter than ||, so:

a || b && c

is equivalent to:

a || (b && c)

so if a evaluates to true (non-zero), then neither b nor c is evaluated.

Answer 3

Don't get confused with Precedence and Order of evaluation.

The order of evaluation of logical OR || is left to right.

So if left = true then left || right will never execute right. In your code exactly same happened.

As you know, any non zero value treated as true in C, hence, ++i or -2 is true. So,

 m = ++i || ++j && ++k;
 m = true || bla bla bla; //right not even checked!
 m = true 
 m = 1

And you get the output as expected.