最終更新日時:
が更新

履歴 編集

function template
<simd>

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

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

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

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

概要

浮動小数点要素型のbasic_vecについて、各要素x[i]からy[i]の方向にある次の表現可能な値を求める。各要素にstd::nextafterを適用する。

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

戻り値

各要素i0以上deduced-vec-t<V>::size()未満)について、x[i]y[i]std::nextafterを適用した結果で初期化されたbasic_vecオブジェクトを返す。

ある要素iについて定義域エラー・極エラー・値域エラーが発生する場合、その要素の値は未規定である。

備考

errnoにアクセスするか否かは未規定である。

#include <simd>
#include <print>

namespace simd = std::simd;

int main()
{
  simd::vec<float, 4> v([](int i) { return i + 1.0f; }); // {1, 2, 3, 4}

  // 各要素から正の無限大方向にある次の表現可能な値を求める
  simd::vec<float, 4> r = simd::nextafter(v, 1e30f);

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

出力例

1.19209e-07 2.38419e-07 2.38419e-07 4.76837e-07 

バージョン

言語

  • C++26

処理系

関連項目

参照