std:: equal_to, not_equal_to, less, greater, less_equal, greater_equal (std::experimental::propagate_const)

The standard comparison function objects are partially specialized for std:: experimental :: propagate_const < T > .

Let p. t_ denote the pointer-like object wrapped by a std:: experimental :: propagate_const < T > p , then given objects p and q of type std:: experimental :: propagate_const < T > , the following shall hold:

• std:: equal_to < std:: experimental :: propagate_const < T >> ( ) ( p, q ) == std:: equal_to < T > ( ) ( p. t_ , q. t_ )
• std:: not_equal_to < std:: experimental :: propagate_const < T >> ( ) ( p, q ) == std:: not_equal_to < T > ( ) ( p. t_ , q. t_ )
• std:: less < std:: experimental :: propagate_const < T >> ( ) ( p, q ) == std:: less < T > ( ) ( p. t_ , q. t_ )
• std:: greater < std:: experimental :: propagate_const < T >> ( ) ( p, q ) == std:: greater < T > ( ) ( p. t_ , q. t_ )
• std:: less_equal < std:: experimental :: propagate_const < T >> ( ) ( p, q ) == std:: less_equal < T > ( ) ( p. t_ , q. t_ )
• std:: greater_equal < std:: experimental :: propagate_const < T >> ( ) ( p, q ) == std:: greater_equal < T > ( ) ( p. t_ , q. t_ )

Notes

These specializations ensure that when T is a pointer type, specializations of these class templates for std:: experimental :: propagate_const < T > yield a total order, even if the corresponding built-in operators do not.

Example

See also