[expr.rel] (original) (raw)

7 Expressions [expr]

7.6 Compound expressions [expr.compound]

7.6.9 Relational operators [expr.rel]

The relational operators group left-to-right.

[Example 1:

a<b<c means (a<b)<c and not (a<b)&&(b<c).

— _end example_]

The comparison is deprecated if both operands were of array type prior to these conversions ([depr.array.comp]).

The converted operands shall have arithmetic, enumeration, or pointer type.

The operators < (less than), > (greater than), <=(less than or equal to), and >= (greater than or equal to) all yield false or true.

The type of the result isbool.

After conversions, the operands shall have the same type.

The result of comparing unequal pointers to objects81is defined in terms of a partial order consistent with the following rules:

• If two pointers point to different elements of the same array, or to subobjects thereof, the pointer to the element with the higher subscript is required to compare greater.
• If two pointers point to different non-static data members of the same object, or to subobjects of such members, recursively, the pointer to the later declared member is required to compare greater provided the two members have the same access control ([class.access]), neither member is a subobject of zero size, and their class is not a union.
• Otherwise, neither pointer is required to compare greater than the other.

If two operands p and q compare equal,p<=q and p>=q both yield true and p<q andp>q both yield false.

Otherwise, if a pointer pcompares greater than a pointer q, p>=q, p>q,q<=p, and q<p all yield true and p<=q,p<q, q>=p, and q>p all yield false.

Otherwise, the result of each of the operators is unspecified.

If both operands (after conversions) are of arithmetic or enumeration type, each of the operators shall yield true if the specified relationship is true and false if it is false.