Frexp

Defined in header <cmath>.

Description

Decomposes given floating point value num into a normalized fraction and an integral power of two.
The library provides overloads of std::frexp for all cv-unqualified floating-point types as the type of the parameter num  (od C++23).
Additional Overloads are provided for all integer types, which are treated as double (od C++11).

Declarations

C++23

// 1)
constexpr /* floating-point-type */
            frexp ( /* floating-point-type */ num, int* exp );
// 2)
constexpr float frexpf( float num, int* exp );
// 3)
constexpr long double frexpl( long double num, int* exp );

Additional Overloads

// 4)
template< class Integer >
constexpr double frexp ( Integer num, int* exp );

C++11

// 1)
float frexp ( float num, int* exp );
// 2)
double frexp ( double num, int* exp );
// 3)
long double frexp ( long double num, int* exp );
// 4)
float frexpf( float num, int* exp );
// 5)
long double frexpl( long double num, int* exp );

Additional Overloads

// 6)
template< class Integer >
double frexp ( Integer num, int* exp );

Parameters

​num - floating-point or integer value exp - pointer to integer value to store the exponent to

Return value

If num is zero, returns zero and stores zero in *exp.

Otherwise (if num is not zero), if no errors occur, returns the value x in the range (-1, -0.5], [0.5, 1) and stores an integer value in *exp such that x×2^(*exp) == num.

If the value to be stored in *exp is outside the range of int, the behavior is unspecified.

Error handling

This function is not subject to any errors specified in math_errhandling.

If the implementation supports IEEE floating-point arithmetic (IEC 60559):

If num is ±0, it is returned, unmodified, and 0 is stored in *exp.
If num is ±∞, it is returned, and an unspecified value is stored in *exp.
If num is NaN, NaN is returned, and an unspecified value is stored in *exp.
No floating-point exceptions are raised.
If FLT_RADIX is 2 (or a power of 2), the returned value is exact, the current rounding mode is ignored.

Notes

On a binary system (where FLT_RADIX is 2), std::frexp may be implemented as

{
    *exp = (value == 0) ? 0 : (int)(1 + std::logb(value));
    return std::scalbn(value, -(*exp));
}

The function std::frexp, together with its dual, std::ldexp, can be used to manipulate the representation of a floating-point number without direct bit manipulations.

The additional overloads are not required to be provided exactly as Additional Overloads.
They only need to be sufficient to ensure that for their argument num of integer type,
std::frexp(num, exp) has the same effect as std::frexp(static_cast<double>(num), exp).

Examples

#include <cmath>
#include <iostream>
#include <limits>
 
int main()
{
    double f = 123.45;
    std::cout 
        << "Given the number " << f << " or " 
        << std::hexfloat << f << std::defaultfloat 
        << " in hex,\n";
 
    double f3;
    double f2 = std::modf(f, &f3);
    std::cout 
        << "modf() makes " 
        << f3 << " + " << f2 
        < '\n';
 
    int i;
    f2 = std::frexp(f, &i);
    std::cout 
        << "frexp() makes " 
        << f2 << " * 2^" << i 
        << '\n';
 
    i = std::ilogb(f);
    std::cout 
        << "logb()/ilogb() make " 
        << f / std::scalbn(1.0, i)
        << " * " << std::numeric_limits<double>::radix
        << "^" << std::ilogb(f) 
        << '\n';
}

Possible Result

Given the number 123.45 or 0x1.edccccccccccdp+6 in hex,
modf() makes 123 + 0.45
frexp() makes 0.964453 * 2^7
logb()/ilogb() make 1.92891 * 2^6