cmp_greater_equal.md

cmp_greater_equal

• utility[meta header]
• std[meta namespace]
• function template[meta id-type]
• cpp20[meta cpp]

namespace std {
  template <class T, class U>
  constexpr bool cmp_greater_equal(T t, U u) noexcept;
}

概要

整数に対して安全に、左辺が右辺以上かを比較（t >= u）する。

この関数は、型Tと型Uがそれぞれ符号付き整数と符号なし整数のどちらであったとしても、安全に比較できる関数である。以下のように符号付き整数のインデックス変数と符号なし整数の配列要素数の比較によってコンパイラに警告が出力されてしまうような状況で使用できる：

std::vector<X> v;
int N = 0;

// 警告：式`N >= v.size()`で、符号付き整数と符号なし整数の間で比較しようとした
while (N >= v.size()) {}

// OK
while (std::cmp_greater_equal(N, v.size())) {}

適格要件

• 型Tと型Uはどちらも、符号なし整数型もしくは符号付き整数型であること

効果

以下と等価：

return !cmp_less(t, u);

• cmp_less[link cmp_less.md]

例外

投げない

例

#include <iostream>
#include <utility>

int main() {
  std::cout << std::boolalpha;

  // 符号付き整数型同士の比較
  std::cout << std::cmp_greater_equal(2, 1) << std::endl;

  // 符号なし整数型同士の比較
  std::cout << std::cmp_greater_equal(2u, 1u) << std::endl;

  // 符号付き整数型と符号なし整数型の比較
  std::cout << std::cmp_greater_equal(2, 1u) << std::endl;
  std::cout << std::cmp_greater_equal(2u, 1) << std::endl;
}

• std::cmp_greater_equal[color ff0000]

出力

true
true
true
true

バージョン

言語

• C++20

処理系

• Clang:
• GCC: 10.1 [mark verified]
• Visual C++: 2019 Update 7 [mark verified]

参照

• P0586R2 Safe integral comparisons