std::nextup(C++26)

namespace std {
  constexpr floating-point-type
    nextup(floating-point-type x); // (1) C++26

  constexpr float
    nextupf(float x);              // (2) C++26

  constexpr long double
    nextupl(long double x);        // (3) C++26
}

概要

正の無限大方向への次の表現可能な値を取得する。

C23で<math.h>に追加された関数であり、C++26で<cmath>に取り込まれた。

• (1) : 浮動小数点数型に対するオーバーロード
• (2) : float型規定
• (3) : long double型規定

戻り値

xより大きい、表現可能な最小の値を返す。

• xが正の有限の最大値の場合、正の無限大を返す
• xが正の無限大の場合、xを返す
• xが±0の場合、正の最小の表現可能な値 (正の最小の非正規化数) を返す
• xが負の最小の表現可能な値 (絶対値が最小の負数) の場合、-0を返す
• xがNaNの場合、NaNを返す

備考

• この関数は、IEEE 754のnextUp演算に対応する
• nextafter()の「移動先の方向 (第2引数)」を正の無限大に固定したものに相当するが、以下の利点がある
  • 移動方向が固定されているため、目的が明確である
  • nextafter()が、有限の最大値から無限大へ移動する場合にオーバーフロー、結果が非正規化数になる場合にアンダーフローの値域エラーを引き起こしうるのに対し、この関数は値域エラーを引き起こさない
• 隣接する浮動小数点数を例外なしに取得できるため、計算結果を含む最小の区間を求める区間演算 (interval arithmetic) などで利用される

例

#include <cmath>
#include <print>

int main()
{
  std::println("{}", std::nextup(1.0f));
}

出力例

1.0000001

バージョン

言語

• C++26

処理系

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

関連項目

• nextdown: 負の無限大方向への次の表現可能な値を取得する
• nextafter: 指定方向への次の表現可能な値を取得する

参照

• P3348R4 C++26 should refer to C23 not C17
  • C++26がC23を参照するようになり、この関数が<cmath>に追加された