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

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

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

概要

浮動小数点要素型のbasic_vecについて、各要素x[i]がy[i]以下であるかを判定する。各要素にstd::islessequalを適用する。浮動小数点例外を発生させずに比較を行う。

• (1) : 両オペランドが同じ型の場合のオーバーロード。
• (2), (3) : 一方のオペランドがスカラー値であり、basic_vecへと変換される場合のオーバーロード。

制約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]であればtrue、そうでなければfalseとなるbasic_maskオブジェクトを返す。いずれかがNaNである要素はfalseとなる。

例

#include <simd>
#include <print>

namespace simd = std::simd;

int main()
{
  simd::vec<float, 4> x([](int i) { return i + 1.0f; }); // {1, 2, 3, 4}
  simd::vec<float, 4> y = 3.0f;                          // 全要素が 3

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

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

出力

true true true false 

バージョン

言語

• C++26

処理系

• Clang: 22 ❌
• GCC: 16.1 ❌
• Visual C++: 2026 Update 2 ❌

関連項目

• std::simd::isless
• std::simd::isgreaterequal
• std::islessequal

参照

• P1928R15 std::simd — merge data-parallel types from the Parallelism TS 2
  • C++26で追加された