remainder, remainderf, remainderl

此函数所计算的除法运算 x/y 的 IEEE 浮点余数，准确地为值 x - n*y ，其中值 n 是最接近 x/y 准确值的整数值。 |n-x/y| = ½ 时，选择作为偶数的 n 。

与 std::fmod() 相反，不保证返回值拥有与 x 相同的符号。

若返回值是 0 ，则它拥有与 x 相同的符号。

参数

返回值

若成功，则返回定义如上的除法 x/y 浮点余数。

若出现定义域错误，则返回实现定义值（受支持平台上为 NaN ）。

若出现下溢所致的值域错误，则返回正确结果。

若 y 为零但不出现定义域错误，则返回零。

错误处理

报告 math_errhandling 中指定的错误。

若 y 为零则可能出现定义域错误。

若实现支持 IEEE 浮点算术 （ IEC 60559 ），则

• 当前舍入模式无效。
• 决不引发 FE_INEXACT ，结果始终准确。
• 若 x 为 ±∞ 且 y 非 NaN ，则返回 NaN 并引发 FE_INVALID 。
• 若 y 为 ±0 且 x 非 NaN ，则返回 NaN 并引发 FE_INVALID 。
• 若任一参数为 NaN ，则返回 NaN 。

注意

POSIX 要求若 x 为无穷大或 y 为零则出现定义域错误。

fmod ，但不是 remainder ，适于安静地包装浮点类型到无符号整数类型： (0.0 <= (y = fmod( rint(x), 65536.0 )) ? y : 65536.0 + y) 在范围 [-0.0 .. 65535.0] 内，它对应 unsigned short ，但 remainder(rint(x), 65536.0) 在范围 [-32767.0, +32768.0] 内，它在 signed short 的范围外。

示例

#include <stdio.h>
#include <math.h>
#include <fenv.h>
 
#pragma STDC FENV_ACCESS ON
int main(void)
{
    printf("remainder(+5.1, +3.0) = %.1f\n", remainder(5.1,3));
    printf("remainder(-5.1, +3.0) = %.1f\n", remainder(-5.1,3));
    printf("remainder(+5.1, -3.0) = %.1f\n", remainder(5.1,-3));
    printf("remainder(-5.1, -3.0) = %.1f\n", remainder(-5.1,-3));
 
    // 特殊值
    printf("remainder(-0.0, 1.0) = %.1f\n", remainder(-0.0, 1));
    printf("remainder(+5.1, Inf) = %.1f\n", remainder(5.1, INFINITY));
 
    // 错误处理
    feclearexcept(FE_ALL_EXCEPT);
    printf("remainder(+5.1, 0) = %.1f\n", remainder(5.1, 0));
    if(fetestexcept(FE_INVALID)) puts("    FE_INVALID raised");
}

remainder(+5.1, +3.0) = -0.9
remainder(-5.1, +3.0) = 0.9
remainder(+5.1, -3.0) = -0.9
remainder(-5.1, -3.0) = 0.9
remainder(+0.0, 1.0) = 0.0
remainder(-0.0, 1.0) = -0.0
remainder(+5.1, Inf) = 5.1
remainder(+5.1, 0) = -nan
    FE_INVALID raised

引用