Quote:Original post by Xai
C and C++ are 100% guaranteed to perform short-circuit left-to-right evaluation ... so you are safe

Quote:C++ Standard, Final Draft, Section 5.14, Paragraph 1
The && operator groups left-to-right. The operands are both implicitly converted to type bool (4). The result is true if both operands are true and false otherwise. Unlike &, && guarantees left-to-right evaluation: the second operand is not evaluated if the first operand is false.

Quote:C++ Standard, Final Draft, Section 5, Paragraph 2
Operators can be overloaded, that is, given meaning when applied to expressions of class type (9) or enumeration type (7.2). Uses of overloaded operators are transformed into function calls as described in 13.5. Overloaded operators obey the rules for syntax specified in this clause, but the requirements of operand type, lvalue, and evaluation order are replaced by the rules for function call. Relations between operators, such as ++a meaning a+=1, are not guaranteed for overloaded operators (13.5), and are not guaranteed for
operands of type bool. —end note]

if (i >= 0 && i < sizeof(array)/sizeof(array[0]) && array=='z') {}

bool bounded(int min, int value, int max) {  return value >= min && value < max;}template<typename T>bool InBounds(std::vector<T> const& v, int i) {  return bounded(0, i, v.size());}template<typename A, int n>bool InBounds(A const& a[n], int i) {  return bounded(0, i, n);}

if (InBounds(array, i) && array == 'z') {}