# fdim

< c‎ | numeric‎ | math

定义于头文件 `<math.h>` |  |
float fdimf( float x, float y ); | (1) | (C99 起)
double fdim( double x, double y ); | (2) | (C99 起)
long double fdiml( long double x, long double y ); | (3) | (C99 起)
定义于头文件 `<tgmath.h>` |  |
#define fdim( x, y ) | (4) | (C99 起)

1-3) 返回 x 与 y 间的正差，即若 x>y 则返回 x-y ，否则（若 x≤y ）返回 +0 。
4) 泛型宏：若任何参数拥有 long double 类型，则调用 `fdiml` 。否则，若任何参数拥有整数类型或 double 类型，则调用 `fdim` 。否则调用 `fdimf` 。

### 参数

x, y | - | 浮点值

### 返回值

若成功，则返回 x 与 y 间的正差。

若出现上溢所致的值域错误，则返回 `+HUGE_VAL` 、 `+HUGE_VALF` 或 `+HUGE_VALL` 。

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

### 错误处理

报告 math_errhandling 中指定的错误

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

- 若任一参数为 NaN ，则返回 NaN

### 注意

等价于 fmax(x-y, 0) ，除了 NaN 处理要求。

### 示例

    #include <stdio.h>
    #include <math.h>
    #include <errno.h>
    #include <fenv.h>
    #pragma STDC FENV_ACCESS ON
    int main(void)
    {
        printf("fdim(4, 1) = %f, fdim(1, 4)=%f\n", fdim(4,1), fdim(1,4));
        printf("fdim(4,-1) = %f, fdim(1,-4)=%f\n", fdim(4,-1), fdim(1,-4));
        // 错误处理
        errno = 0; feclearexcept(FE_ALL_EXCEPT);
        printf("fdim(1e308, -1e308) = %f\n", fdim(1e308, -1e308));
        if(errno == ERANGE) perror("    errno == ERANGE");
        if(fetestexcept(FE_OVERFLOW)) puts("    FE_OVERFLOW raised");
    }

可能的输出：

    fdim(4, 1) = 3.000000, fdim(1, 4)=0.000000
    fdim(4,-1) = 5.000000, fdim(1,-4)=5.000000
    fdim(1e308, -1e308) = inf
        errno == ERANGE: Numerical result out of range
        FE_OVERFLOW raised

### 引用

- C11 标准（ISO/IEC 9899:2011）：

  - 7.12.12.1 The fdim functions (p: 257)

  - 7.25 Type-generic math <tgmath.h> (p: 373-375)

  - F.10.9.1 The fdim functions (p: 530)

- C99 标准（ISO/IEC 9899:1999）：

  - 7.12.12.1 The fdim functions (p: 238)

  - 7.22 Type-generic math <tgmath.h> (p: 335-337)

  - F.9.9.1 The fdim functions (p: 466)

### 参阅

abs labs llabs (C99) | 计算整数值的绝对值（ \(\small{|x|}\)|x| ） (函数)
fmax fmaxf fmaxl (C99)(C99)(C99) | 确定两个浮点值的较大者 (函数)