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

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

技术规范

文件系统库 (文件系统 TS)

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

数学特殊函数 (特殊函数 TR)

 

库基础 v2

experimental::propagate_const

experimental::not_fn

experimental::observer_ptr

experimental::make_array

experimental::to_array

experimental::ostream_joiner

experimental::gcd

experimental::lcm

experimental::source_location

experimental::randint

检测手法

统一容器擦除

逻辑运算符类型特性

 

std::experimental::propagate_const

成员函数

propagate_const::propagate_const

propagate_const::operator=

propagate_const::swap

观察器

propagate_const::get

propagate_const::operator bool

propagate_const::operator*propagate_const::operator->

propagate_const::operator element_type*propagate_const::operator const element_type*

非成员函数

operator==operator!=operator<operator>operator<=operator>operator>=

swap

get_underlying

辅助类

std::hash

std::equal_tostd::not_equal_tostd::lessstd::greaterstd::less_equalstd::greater_equal

 

在标头 <experimental/propagate_const> 定义
template<class T> struct equal_to<std::experimental::propagate_const<T>>;		(库基础 TS v2)
template<class T> struct not_equal_to<std::experimental::propagate_const<T>>;		(库基础 TS v2)
template<class T> struct less<std::experimental::propagate_const<T>>;		(库基础 TS v2)
template<class T> struct greater<std::experimental::propagate_const<T>>;		(库基础 TS v2)
template<class T> struct less_equal<std::experimental::propagate_const<T>>;		(库基础 TS v2)
template<class T> struct greater_equal<std::experimental::propagate_const<T>>;		(库基础 TS v2)

为 std::experimental::propagate_const<T> 部分特化标准比较函数对象。

令 p.t_ 代表 std::experimental::propagate_const<T> p 所包装的仿指针对象，则给定 std::experimental::propagate_const<T> 类型的指针 p 和 q ，下列应当成立：

• 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_)

注意

这些特化确保 T 为指针类型时，这些类模板对 std::experimental::propagate_const<T> 的特化产出全序，即使对应的内建运算符不如此。

参阅

equal_to	实现 x == y 的函数对象 (类模板)
not_equal_to	实现 x != y 的函数对象 (类模板)
less	实现 x < y 的函数对象 (类模板)
greater	实现 x > y 的函数对象 (类模板)
less_equal	实现 x <= y 的函数对象 (类模板)
greater_equal	实现 x >= y 的函数对象 (类模板)