std::equal_to,not_equal_to,less,greater,less_equal,greater_equal(std::experimental::propagate_const) (3) - Linux Man Pages

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

NAME

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

Synopsis


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


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