std::cmp_equal, cmp_not_equal, cmp_less, cmp_greater, cmp_less_equal, cmp_greater_equal

来自cppreference.com
 
C++
 
工具库
通用工具
关系运算符 (C++20 弃用)
 
<tbody> </tbody>
在标头 <utility> 定义
template< class T, class U > constexpr bool cmp_equal( T t, U u ) noexcept;
 (1) (C++20 起)
template< class T, class U > constexpr bool cmp_not_equal( T t, U u ) noexcept;
 (2) (C++20 起)
template< class T, class U > constexpr bool cmp_less( T t, U u ) noexcept;
 (3) (C++20 起)
template< class T, class U > constexpr bool cmp_greater( T t, U u ) noexcept;
 (4) (C++20 起)
template< class T, class U > constexpr bool cmp_less_equal( T t, U u ) noexcept;
 (5) (C++20 起)
template< class T, class U > constexpr bool cmp_greater_equal( T t, U u ) noexcept;
 (6) (C++20 起)
See More

比较两个整数 t 与 u 的值。不同于内建比较运算符，负的有符号整数始终比较小于（且不等于）无符号整数：该比较相对于不保持值的整数转换而言是安全的。 

-1 > 0u; // true
std::cmp_greater(-1, 0u); // false

若 T 或 U 不是整数类型，或者是字符类型或 bool，则为编译时错误。

参数

t - 左侧实参
u - 右侧实参

返回值

1) 若 t 等于 u 则为 true。
2) 若 t 不等于 u 则为 true。
3) 若 t 小于 u 则为 true。
4) 若 t 大于 u 则为 true。
5) 若 t 小于或等于 u 则为 true。
6) 若 t 大于或等于 u 则为 true。

可能的实现

template<class T, class U>
constexpr bool cmp_equal(T t, U u) noexcept
{
    if constexpr (std::is_signed_v<T> == std::is_signed_v<U>)
        return t == u;
    else if constexpr (std::is_signed_v<T>)
        return t >= 0 && std::make_unsigned_t<T>(t) == u;
    else
        return u >= 0 && std::make_unsigned_t<U>(u) == t;
}

template<class T, class U>
constexpr bool cmp_not_equal(T t, U u) noexcept
{
    return !cmp_equal(t, u);
}

template<class T, class U>
constexpr bool cmp_less(T t, U u) noexcept
{
    if constexpr (std::is_signed_v<T> == std::is_signed_v<U>)
        return t < u;
    else if constexpr (std::is_signed_v<T>)
        return t < 0 || std::make_unsigned_t<T>(t) < u;
    else
        return u >= 0 && t < std::make_unsigned_t<U>(u);
}

template<class T, class U>
constexpr bool cmp_greater(T t, U u) noexcept
{
    return cmp_less(u, t);
}

template<class T, class U>
constexpr bool cmp_less_equal(T t, U u) noexcept
{
    return !cmp_less(u, t);
}

template<class T, class U>
constexpr bool cmp_greater_equal(T t, U u) noexcept
{
    return !cmp_less(t, u);
}

注解

这些函数不能用于比较枚举（包括 std::byte）、char、char8_t、char16_t、char32_t、wchar_t 及 bool。

功能特性测试宏 值 标准 功能特性
__cpp_lib_integer_comparison_functions 202002L (C++20) 整数比较函数

示例

如果编译时没有添加适当的警告抑制参数，例如 -Wno-sign-compare (gcc/clang 使用 -Wall -Wextra，下面的例子可能会产生不同符号性比较警告，另外参见 SO: disabling a specific warning)。

运行此代码
#include <utility>

// 取消下一行的注释将禁用 "有符号/无符号比较 "的警告：
// #pragma GCC diagnostic ignored "-Wsign-compare"

int main()
{
    static_assert(sizeof(int) == 4); // 先决条件

    // 意外
    static_assert(-1 > 1U); //< 警告：无符号-有符号比较
    // 因为在经过隐式转换后，-1 的类型会变成右操作数的类型 (`unsigned int`)
    // 这个表达式等价于:
    static_assert(0xFFFFFFFFU > 1U);
    static_assert(0xFFFFFFFFU == static_cast<unsigned>(-1));

    // 相比之下，cmp_* 系列比较整数的结果是最符合期望的 -
    // 负的有符号整数总是小于无符号整数：
    static_assert(std::cmp_less(-1, 1U));
    static_assert(std::cmp_less_equal(-1, 1U));
    static_assert(!std::cmp_greater(-1, 1U));
    static_assert(!std::cmp_greater_equal(-1, 1U));

    static_assert(-1 == 0xFFFFFFFFU); //< 警告：无符号-有符号比较
    static_assert(std::cmp_not_equal(-1, 0xFFFFFFFFU));
}

参阅

 实现 x == y 的函数对象
(类模板) [编辑]
实现 x != y 的函数对象
(类模板) [编辑]
实现 x < y 的函数对象
(类模板) [编辑]
实现 x > y 的函数对象
(类模板) [编辑]
实现 x <= y 的函数对象
(类模板) [编辑]
实现 x >= y 的函数对象
(类模板) [编辑]
(C++20)
 实现 x == y 的受约束函数对象
(类) [编辑]
(C++20)
 实现 x != y 的受约束函数对象
(类) [编辑]
(C++20)
 实现 x < y 的受约束函数对象
(类) [编辑]
(C++20)
 实现 x > y 的受约束函数对象
(类) [编辑]
(C++20)
 实现 x <= y 的受约束函数对象
(类) [编辑]
(C++20)
 实现 x >= y 的受约束函数对象
(类) [编辑]
(C++20)
 实现 x <=> y 的受约束函数对象
(类) [编辑]
(C++20)
 检查整数是否在给定整数类型的范围内
(函数模板) [编辑]
提供查询所有基础数值类型的性质的接口。
(类模板) [编辑]