cmp_not_equal.md

cmp_not_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_not_equal(T t, U u) noexcept;
}

概要

整数を安全に非等値比較（t != u）する。

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

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

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

// OK
if (std::cmp_not_equal(N, v.size())) {}

効果

以下と等価：

return !cmp_equal(t, u);

• cmp_equal[link cmp_equal.md]

例外

投げない

例

#include <iostream>
#include <utility>

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

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

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

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

• std::cmp_not_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