4. isunordered

最終更新日時:
が更新

履歴 編集

function template
<simd>

std::simd::isunordered(C++26)

namespace std::simd {
  template<math-floating-point V>
  constexpr typename deduced-vec-t<V>::mask_type
    isunordered(const V& x, const V& y);                 // (1) C++26

  template<math-floating-point V>
  constexpr typename deduced-vec-t<V>::mask_type
    isunordered(const deduced-vec-t<V>& x, const V& y);  // (2) C++26

  template<math-floating-point V>
  constexpr typename deduced-vec-t<V>::mask_type
    isunordered(const V& x, const deduced-vec-t<V>& y);  // (3) C++26
}

概要

浮動小数点要素型のbasic_vecについて、各要素x[i]とy[i]が順序付け不可能（少なくとも一方がNaN）であるかを判定する。各要素にstd::isunorderedを適用する。浮動小数点例外を発生させずに比較を行う。

制約math-floating-pointは、Vが浮動小数点要素型のbasic_vec、またはそれと組み合わせてbasic_vecを導出できる型であることを表す説明専用のコンセプトである。deduced-vec-t<V>は、引数から導出されるbasic_vec型である。戻り値の型deduced-vec-t<V>::mask_typeは、要素ごとの判定結果を保持するbasic_maskである。

戻り値

各要素i（0以上deduced-vec-t<V>::size()未満）について、x[i]とy[i]の少なくとも一方がNaNであればtrue、そうでなければfalseとなるbasic_maskオブジェクトを返す。

例

#include <simd>
#include <print>
#include <limits>
#include <array>

namespace simd = std::simd;

int main()
{
  constexpr float nan = std::numeric_limits<float>::quiet_NaN();
  simd::vec<float, 4> x{
    [&](int i) { return std::array{1.0f, nan, 3.0f, nan}[i]; }
  }; // {1, nan, 3, nan}
  simd::vec<float, 4> y = 2.0f; // 全要素が 2

  simd::vec<float, 4>::mask_type m = simd::isunordered(x, y);

  for (std::size_t i = 0; i < m.size(); ++i)
    std::print("{} ", m[i]);
  std::println("");
}

出力

false true false true

バージョン

言語

  • C++26

処理系

関連項目

参照