NAME¶

std::equal_to,not_equal_to,less,greater,less_equal, - std::equal_to,not_equal_to,less,greater,less_equal,

Synopsis¶

Defined in header <experimental/propagate_const>
template<class T> struct (library
equal_to<std::experimental::propagate_const<T>>; fundamentals TS
v2)
template<class T> struct (library
not_equal_to<std::experimental::propagate_const<T>>; fundamentals TS
v2)
template<class T> struct (library
less<std::experimental::propagate_const<T>>; fundamentals TS
v2)
template<class T> struct (library
greater<std::experimental::propagate_const<T>>; fundamentals TS
v2)
template<class T> struct (library
less_equal<std::experimental::propagate_const<T>>; fundamentals TS
v2)
template<class T> struct (library
greater_equal<std::experimental::propagate_const<T>>; fundamentals TS
v2)

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¶

This section is incomplete
Reason: no example

See also¶

equal_to function object implementing x == y
(class template)
not_equal_to function object implementing x != y
(class template)
less function object implementing x < y
(class template)
greater function object implementing x > y
(class template)
less_equal function object implementing x <= y
(class template)
greater_equal function object implementing x >= y
(class template)