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

From cppreference.com
Technical specifications
Filesystem library (filesystem TS)
Library fundamentals (library fundamentals TS)
Library fundamentals 2 (library fundamentals 2 TS)
Extensions for parallelism (parallelism TS)
Extensions for parallelism 2 (parallelism TS v2)
Extensions for concurrency (concurrency TS)
Concepts (concepts TS)
Ranges (ranges TS)
Special mathematical functions (special math TR)
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:

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

function object implementing x == y
(class template)
function object implementing x != y
(class template)
function object implementing x < y
(class template)
function object implementing x > y
(class template)
function object implementing x <= y
(class template)
function object implementing x >= y
(class template)