At least in C++ you shouldn't count on the order in which a and b are calculated in a == b, because comparisons are not sequence points. So no, even including

At least in C++ you shouldn't count on the order in which a and b are calculated in a == b, because comparisons are not sequence points. So no, even including side effects testing for (in)equality is commutative.