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)

执行支持库 (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 的函数对象 (类模板)