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

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

实验性

技术规范

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

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行性扩展 (并行性 TS)

并行性扩展 2 (并行性 TS v2)

并发性扩展 (并发性 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

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

实验性非 TS

模式匹配

线性代数

std::execution

契约

2D 图形

 

库基础 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 的函数对象 (类模板)