std::cmp_equal, cmp_not_equal, cmp_less, cmp_greater, cmp_less_equal, cmp_greater_equal
| ヘッダ <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以上) |
二つの整数 t と u の値を比較します。組み込みの比較演算子とは異なり、負の符号付き整数は常に符号無し整数よりも小さく（かつ等しくなく）比較されます。この比較は、値を保持しない整数変換に対しても安全です。
-1 > 0u; // true
std::cmp_greater(-1, 0u); // false
T または U が非整数型、文字型、または bool である場合はコンパイルエラーとなります。
パラメータ
| t | - | 左側引数 |
| u | - | 右側引数 |
戻り値
実装例
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 の比較には使用できません。
| 機能テスト マクロ | 値 | 標準 | 機能 |
|---|---|---|---|
__cpp_lib_integer_comparison_functions
|
202002L
|
(C++20) | 整数比較関数 |
例
以下の例は、適切な警告抑制フラグ（例：
-Wno-sign-compare
）なしでコンパイルすると、
符号付き/符号なし比較
の警告が発生する可能性があります（gcc/clang で
-Wall -Wextra
を使用する場合。詳細は
SO: 特定の警告の無効化
も参照してください）。
#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)); }
関連項目
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)
|
整数値が指定された整数型の範囲内にあるかどうかをチェック
(関数テンプレート) |
|
すべての基本数値型のプロパティを問い合わせるためのインターフェースを提供
(クラステンプレート) |