命名空间
变体
操作

std::experimental::ranges::less_equal

来自 cppreference.cn
< cpp‎ | experimental‎ | ranges
 
 
实验性
技术规范
文件系统库 (filesystem TS)
库基础 (library fundamentals TS)
库基础 2 (library fundamentals TS v2)
库基础 3 (library fundamentals TS v3)
并行性扩展 (parallelism TS)
并行性扩展 2 (parallelism TS v2)
并发性扩展 (concurrency TS)
并发性扩展 2 (concurrency TS v2)
概念 (concepts TS)
范围 (ranges TS)
反射 (reflection TS)
数学特殊函数 (special functions TR)
实验性非 TS
模式匹配
线性代数
std::execution
契约
2D 图形
 
 
通用工具库
实用组件
函数对象
less_equal
元编程和类型特征
标记对和元组
                          
标签说明符
                                      
                          
 
template< class T = void >

    requires StrictTotallyOrdered<T> ||
             Same<T, void> ||
             /* < on two const T lvalues invokes a built-in operator comparing pointers */

struct less_equal;
(ranges TS)
template<>
struct less_equal<void>;
(ranges TS)

用于执行比较的函数对象。主模板对 T 类型的 const 左值调用 operator<,参数顺序颠倒,然后对结果取反。特化版 less_equal<void> 从实参推导函数调用运算符的形参类型(但不推导返回类型)。

less_equal 的所有特化都是 Semiregular

目录

[编辑] 成员类型

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

[编辑] 成员函数

operator()
检查第一个参数是否小于等于第二个参数
(公有成员函数)

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

constexpr bool 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>() 解析为
                比较指针的内建运算符 */

constexpr bool operator()(T&& t, U&& u) const;
(2) (仅 less_equal<void> 特化版的成员)
1) 比较 xy。等价于 return !ranges::less<>{}(y, x);
2) 比较 tu。等价于 return !ranges::less<>{}(std::forward<U>(u), std::forward<T>(t));

[编辑] 注解

std::less_equal 不同,ranges::less_equal 要求所有六个比较运算符 <<=>>===!= 均为有效(通过 StrictTotallyOrderedStrictTotallyOrderedWith 约束),并且完全根据 ranges::less 定义。但是,实现可以自由地直接使用 operator<=,因为这些概念要求比较运算符的结果保持一致。

[编辑] 示例

[编辑] 参见

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