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

在头文件 `<cmath>` 中定义
	(1)
float ldexp ( float num, int exp ); double ldexp ( double num, int exp ); long double ldexp ( long double num, int exp );			(直到 C++23)
constexpr /* 浮点类型 / ldexp ( / 浮点类型 */ num, int exp );			(从 C++23 开始)
float ldexpf( float num, int exp );		(2)	(从 C++11 开始) (从 C++23 开始为 constexpr)
long double ldexpl( long double num, int exp );		(3)	(从 C++11 开始) (从 C++23 开始为 constexpr)
其他重载 (从 C++11 开始)
在头文件 `<cmath>` 中定义
template< class Integer > double ldexp ( Integer num, int exp );		(A)	(从 C++11 开始) (从 C++23 开始为 constexpr)

1-3) 将浮点值 num 乘以 2 的 exp 次方。库为所有 cv 无限定浮点类型提供了 std::ldexp 的重载，作为参数 num 的类型。 (从 C++23 开始)

A) 为所有整数类型提供了额外的重载，它们被视为 double。

(从 C++11 开始)

[编辑] 参数

num	-	浮点或整数值
exp	-	整数值

[编辑] 返回值

如果未发生错误，则返回 num 乘以 2 的 exp 次方 ( $num\times2 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)
        << " (minimum positive subnormal float64_t)\n"
        << "ldexp(nextafter(1,0), 1024) = "
        << std::ldexp(std::nextafter(1,0), 1024)
        << " (largest finite float64_t)\n";
 
    // special values
    std::cout << "ldexp(-0, 10) = " << std::ldexp(-0.0, 10) << '\n'
              << "ldexp(-Inf, -1) = " << std::ldexp(-INFINITY, -1) << '\n';
 
    // error handling
    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 raised\n";
}

可能的输出

ldexp(5, 3) = 5 * 8 = 40
ldexp(7, -4) = 7 / 16 = 0.4375
ldexp(1, -1074) = 4.94066e-324 (minimum positive subnormal float64_t)
ldexp(nextafter(1,0), 1024) = 1.79769e+308 (largest finite float64_t)
ldexp(-0, 10) = -0
ldexp(-Inf, -1) = -inf
ldexp(1, 1024) = inf
    errno == ERANGE: Numerical result out of range
    FE_OVERFLOW raised

[编辑] 参见

frexpfrexpffrexpl (C++11)(C++11)	将数字分解为有效数字和以 2 为底的指数 (函数) [编辑]
scalbnscalbnfscalbnlscalblnscalblnfscalblnl (C++11)(C++11)(C++11)(C++11)(C++11)(C++11)	将数字乘以 FLT_RADIX 的幂 (函数) [编辑]
exp2exp2fexp2l (C++11)(C++11)(C++11)	返回 2 乘以给定幂 (${\small 2^x}$ $2 x$ ) (函数) [编辑]
C 文档 for ldexp

编译器支持
独立和托管
语言
标准库
标准库头文件
命名要求
特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用实用程序库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
执行支持库 (C++26)
技术规范
符号索引
外部库

cppreference.com

命名空间

变体

视图

操作