std:: ldexp, std:: ldexpf, std:: ldexpl

パラメータ

戻り値

エラーが発生しない場合、 num に2の exp 乗を掛けた値（ num×2 exp
）が返されます。

オーバーフローによる範囲エラーが発生した場合、 ±HUGE_VAL 、 ±HUGE_VALF または ±HUGE_VALL が返されます。

アンダーフローによる範囲エラーが発生した場合、正しい結果（丸め後）が返されます。

エラーハンドリング

エラーは math_errhandling で指定された通りに報告されます。

IEEE浮動小数点演算（IEC 60559）を実装がサポートしている場合、

• 範囲エラーが発生しない限り、 FE_INEXACT は決して発生しません（結果は正確です）。
• 範囲エラーが発生しない限り、 現在の丸めモード は無視されます。
• num が±0の場合、変更されずに返されます。
• num が±∞の場合、変更されずに返されます。
• exp が0の場合、 num は変更されずに返されます。
• num がNaNの場合、NaNが返されます。

注記

バイナリシステム（ FLT_RADIX が 2 の場合）では、 std::ldexp は std::scalbn と等価です。

関数 std::ldexp （指数部のロード）とその双対である std::frexp は、浮動小数点数の表現を直接的なビット操作なしで操作するために使用できます。

多くの実装では、 std::ldexp は算術演算子を用いた2の累乗による乗算や除算よりも効率が劣ります。

追加のオーバーロードは (A) と完全に同一である必要はありません。整数型の引数 num に対して、 std :: ldexp ( num, exp ) が std :: ldexp ( static_cast < double > ( num ) , exp ) と同じ効果を持つことを保証するのに十分なものであればよいのです。

浮動小数点指数による2の累乗については、 std::exp2 を使用できます。

例

#include <cerrno>
#include <cfenv>
#include <cmath>
#include <cstring>
#include <iostream>
// #pragma STDC FENV_ACCESS ON
int main()
{
    std::cout
        << "ldexp(5, 3) = 5 * 8 = " << std::ldexp(5, 3) << '\n'
        << "ldexp(7, -4) = 7 / 16 = " << std::ldexp(7, -4) << '\n'
        << "ldexp(1, -1074) = " << std::ldexp(1, -1074)
        << " (最小の正の非正規化数 float64_t)\n"
        << "ldexp(nextafter(1,0), 1024) = "
        << std::ldexp(std::nextafter(1,0), 1024)
        << " (最大の有限値 float64_t)\n";
    // 特殊な値
    std::cout << "ldexp(-0, 10) = " << std::ldexp(-0.0, 10) << '\n'
              << "ldexp(-Inf, -1) = " << std::ldexp(-INFINITY, -1) << '\n';
    // エラー処理
    std::feclearexcept(FE_ALL_EXCEPT);
    errno = 0;
    const double inf = std::ldexp(1, 1024);
    const bool is_range_error = errno == ERANGE;
    std::cout << "ldexp(1, 1024) = " << inf << '\n';
    if (is_range_error)
        std::cout << "    errno == ERANGE: " << std::strerror(ERANGE) << '\n';
    if (std::fetestexcept(FE_OVERFLOW))
        std::cout << "    FE_OVERFLOW が発生\n";
}

ldexp(5, 3) = 5 * 8 = 40
ldexp(7, -4) = 7 / 16 = 0.4375
ldexp(1, -1074) = 4.94066e-324 (最小の正の非正規化数 float64_t)
ldexp(nextafter(1,0), 1024) = 1.79769e+308 (最大の有限値 float64_t)
ldexp(-0, 10) = -0
ldexp(-Inf, -1) = -inf
ldexp(1, 1024) = inf
    errno == ERANGE: 数値結果が範囲外です
    FE_OVERFLOW が発生

関連項目