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

2つの整数 t と u の値を比較します。組み込みの比較演算子とは異なり、符号付き負整数は常に符号なし整数より 小さい （かつ 等しくない ）と判定されます：この比較は非値保存整数変換に対して安全です。

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

T または U のいずれかが非 整数型 、文字型、または bool である場合、コンパイル時エラーとなります。

パラメータ

戻り値

実装例

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);
}

注記

これらの関数は enums （ std::byte を含む）、 char 、 char8_t 、 char16_t 、 char32_t 、 wchar_t および bool の比較には使用できません。

例

#include <utility>
// 次の行のコメントを解除すると「符号付き/符号なし比較」警告が無効化されます：
// #pragma GCC diagnostic ignored "-Wsign-compare"
int main()
{
    static_assert(sizeof(int) == 4); // 前提条件
    // 非常に驚くべきことに
    static_assert(-1 > 1U); //< 警告: 符号付き/符号なし比較
    // これは、-1 が RHS の型（`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));
}

関連項目