std::nextdown(C++26)

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

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

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

例

#include <cmath>
#include <print>

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

出力例

0.99999994

バージョン

言語

• C++26

処理系

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

関連項目

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

参照

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