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型である。
戻り値
各要素i(0以上deduced-vec-t<V>::size()未満)について、x[i]とy[i]にstd::nextafterを適用した結果で初期化されたbasic_vecオブジェクトを返す。
ある要素iについて定義域エラー・極エラー・値域エラーが発生する場合、その要素の値は未規定である。
備考
例
#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
処理系
- Clang: 22 ❌
- GCC: 16.1 ❌
- Visual C++: 2026 Update 2 ❌