For example, the conditional expression if ( a = = b + 1 ) might mistakenly be written as if ( a = b + 1 ), which will be evaluated as true if a is not zero after the assignment.
22.
If the condition is true, then only the then-branch expression matters for the result of the conditional expression, and therefore it is guaranteed to be defined even if the else-branch expression, for instance, is not.
23.
The ? : operator is similar to the way conditional expressions ( "'if-then-else "'constructs ) work in functional programming languages, like Haskell, since if-then-else forms an expression instead of a statement in those languages.
24.
In this case, despite the fact that the value of the third operand of the conditional expression will never be used, the compiler must perform a check to ensure that ( ptr ) and & ( ( type * ) 0 )-> member are both compatible pointer types.
25.
This template was written and optimized to avoid all conditional expressions and to reduce the template expansions to their strict minimum ( avoiding also the inclusion of complex templates for computing cyclic modulos, or euclidian divisions and roundings towards minus infinity ), because # expr still does not support temporary local variables to store the template parameters and reuse their current value without more expansions.
