std:: fmod, std:: fmodf, std:: fmodl

El resto en punto flotante de la operación de división x / y calculado por esta función es exactamente el valor x - iquot * y , donde iquot es x / y con su parte fraccionaria truncada.

El valor devuelto tiene el mismo signo que x y es menor que y en magnitud.

Parámetros

Valor de retorno

Si tiene éxito, retorna el resto en punto flotante de la división x / y como se definió anteriormente.

Si ocurre un error de dominio, se devuelve un valor definido por la implementación (NaN donde esté soportado).

Si ocurre un error de rango debido a desbordamiento inferior, se devuelve el resultado correcto (después del redondeo).

Manejo de errores

Los errores se reportan como se especifica en math_errhandling .

Puede ocurrir un error de dominio si y es cero.

Si la implementación soporta aritmética de punto flotante IEEE (IEC 60559),

• Si x es ±0 y y no es cero, se retorna ±0.
• Si x es ±∞ y y no es NaN, se retorna NaN y se genera FE_INVALID .
• Si y es ±0 y x no es NaN, se retorna NaN y se genera FE_INVALID .
• Si y es ±∞ y x es finito, se retorna x .
• Si cualquier argumento es NaN, se retorna NaN.

Notas

POSIX requiere que ocurra un error de dominio si x es infinito o y es cero.

std::fmod , pero no std::remainder , es útil para realizar el ajuste silencioso de tipos de punto flotante a tipos enteros sin signo: ( 0.0 <= ( y = std :: fmod ( std:: rint ( x ) , 65536.0 ) ) ? y : 65536.0 + y ) está en el rango [ - 0.0 , 65535.0 ] , que corresponde a unsigned short , pero std:: remainder ( std:: rint ( x ) , 65536.0 está en el rango [ - 32767.0 , + 32768.0 ] , que está fuera del rango de signed short .

La versión double de std::fmod se comporta como si estuviera implementada de la siguiente manera:

double fmod(double x, double y)
{
#pragma STDC FENV_ACCESS ON
    double result = std::remainder(std::fabs(x), y = std::fabs(y));
    if (std::signbit(result))
        result += y;
    return std::copysign(result, x);
}

La expresión x - std:: trunc ( x / y ) * y puede no ser igual a std :: fmod ( x, y ) , cuando el redondeo de x / y para inicializar el argumento de std::trunc pierde demasiada precisión (ejemplo: x = 30.508474576271183309 , y = 6.1016949152542370172 ).

Las sobrecargas adicionales no requieren ser proporcionadas exactamente como (A) . Solo necesitan ser suficientes para garantizar que para su primer argumento num1 y segundo argumento num2 :

Ejemplo

#include <cfenv>
#include <cmath>
#include <iostream>
// #pragma STDC FENV_ACCESS ON
int main()
{
    std::cout << "fmod(+5.1, +3.0) = " << std::fmod(5.1, 3) << '\n'
              << "fmod(-5.1, +3.0) = " << std::fmod(-5.1, 3) << '\n'
              << "fmod(+5.1, -3.0) = " << std::fmod(5.1, -3) << '\n'
              << "fmod(-5.1, -3.0) = " << std::fmod(-5.1, -3) << '\n';
    // special values
    std::cout << "fmod(+0.0, 1.0) = " << std::fmod(0, 1) << '\n'
              << "fmod(-0.0, 1.0) = " << std::fmod(-0.0, 1) << '\n'
              << "fmod(5.1, Inf) = " << std::fmod(5.1, INFINITY) << '\n';
    // error handling
    std::feclearexcept(FE_ALL_EXCEPT);
    std::cout << "fmod(+5.1, 0) = " << std::fmod(5.1, 0) << '\n';
    if (std::fetestexcept(FE_INVALID))
        std::cout << "    FE_INVALID raised\n";
}

fmod(+5.1, +3.0) = 2.1
fmod(-5.1, +3.0) = -2.1
fmod(+5.1, -3.0) = 2.1
fmod(-5.1, -3.0) = -2.1
fmod(+0.0, 1.0) = 0
fmod(-0.0, 1.0) = -0
fmod(5.1, Inf) = 5.1
fmod(+5.1, 0) = -nan
    FE_INVALID raised

Véase también