std::experimental::ranges::less_equal

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(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 图形

 

范围

概念

通用工具

迭代器

范围

算法

 

通用工具库

工具组件
swap	exchange
函数对象
invoke identity	equal_to not_equal_to	greater less	greater_equal less_equal
元编程与类型特性
is_swappable_withis_swappable	is_nothrow_swappable_withis_nothrow_swappable	common_reference common_type
带标签对偶与元组
TagSpecifier TaggedType	tagged 标签说明符	tagged_pair make_tagged_pair	tagged_tuple make_tagged_tuple

 

在标头 <experimental/ranges/functional> 定义
template<class T =void>     requires StrictTotallyOrdered<T>||              Same<T, void>||              /* 二个 const T 左值上的 < 调用比较指针的内建运算符 */ struct less_equal;		(范围 TS)
template<> struct less_equal<void>;		(范围 TS)

进行比较的函数对象。主模板以实参倒序调用 T 类型 const 左值上的 operator< 并对结果取反。特化 less_equal<void> 从实参推导函数调用运算符的形参类型（但非返回类型）。

less_equal 的所有特化均为 Semiregular。

成员类型

成员类型	定义
is_transparent(仅为 less_equal<void> 特化的成员)	/* 未指定 */

成员函数

operator()

检查第一实参是否小于或等于第二个 (公开成员函数)

std::experimental::ranges::less_equal::operator()

constexprbool operator()(const T& x, const T& y)const;	(1)	(仅为主 less_equal<T> 模板的成员)
template<class T, class U >     requires StrictTotallyOrderedWith<T, U>||              /* std::declval<T>() < std::declval<U>()                 解析成比较指针的内建运算符 */ constexprbool operator()(T&& t, U&& u)const;	(2)	(仅为 less_equal<void> 特化的成员)

1) 比较 x 与 y。等价于 return!ranges::less<>{}(y, x)；

2) 比较 t 与 u。等价于 return!ranges::less<>{}(std::forward<U>(u), std::forward<T>(t));。

注解

不同于 std::less_equal，ranges::less_equal 要求六个比较运算符 <、<=、>、>=、== 及 != 均合法（通过 StrictTotallyOrdered 与 StrictTotallyOrderedWith 制约）并且完全以 ranges::less 定义。然而实现可以自由地直接用 operator<=，因为这些概念要求比较运算符的结果一致。

参阅

less_equal

实现 x <= y 的函数对象 (类模板)