无用条件下的可变修改

Question

如果foo == 13为false，此代码是否具有明确定义的行为？

if (foo == 13 && ++bar > 42)
{
    ...
}

Answer 1

是。如果第一个条件为假，则永远不会评估第二个条件。

请参阅Avoiding the execution of second expression's side effects。