std::fdim, std::fdimf, std::fdiml

定义在头文件 `<cmath>` 中
	(1)
float fdim ( float x, float y ); double fdim ( double x, double y ); long double fdim ( long double x, long double y );			(直到 C++23)
constexpr /* 浮点类型 / fdim ( / 浮点类型 / x, / 浮点类型 */ y );			(自 C++23 起)
float fdimf( float x, float y );		(2)	(自 C++11 起) (自 C++23 起为 constexpr)
long double fdiml( long double x, long double y );		(3)	(自 C++11 起) (自 C++23 起为 constexpr)
其他重载 (自 C++11 起)
定义在头文件 `<cmath>` 中
template< class Integer > double fdim ( Integer x, Integer y );		(A)	(自 C++23 起为 constexpr)

1-3) 返回 x 和 y 之间的正差，即如果 x > y，则返回 x - y，否则（即如果 x <= y）返回 +0。库为所有 cv 无限定浮点类型提供了 std::fdim 的重载，作为参数的类型。(自 C++23 起)

A) 为所有整数类型提供其他重载，这些类型被视为 double。

(自 C++11 起)

[编辑] 参数

x, y

-

浮点或整数值

[编辑] 返回值

如果成功，则返回 x 和 y 之间的正差。

如果由于溢出导致范围错误，则返回 +HUGE_VAL、+HUGE_VALF 或 +HUGE_VALL。

如果由于下溢导致范围错误，则返回正确的值（舍入后）。

[编辑] 错误处理

错误报告如 math_errhandling 中所述。

如果实现支持 IEEE 浮点算术（IEC 60559），

如果任一参数为 NaN，则返回 NaN。

[编辑] 注释

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

其他重载不需要完全按照 (A) 提供。它们只需要足够确保对于它们的第一个参数 num1 和第二个参数 num2

如果 num1 或 num2 的类型为 long double，则 std::fdim(num1, num2) 与 std::fdim(static_cast<long double>(num1),
static_cast<long double>(num2)) 的效果相同。
否则，如果 num1 和/或 num2 的类型为 double 或整数类型，则 std::fdim(num1, num2) 的效果与 std::fdim(static_cast<double>(num1),
static_cast<double>(num2)) 相同。
否则，如果 num1 或 num2 的类型为 float，则 std::fdim(num1, num2) 的效果与 std::fdim(static_cast<float>(num1),
static_cast<float>(num2)) 相同。

(直到 C++23)

如果 num1 和 num2 具有算术类型，则 std::fdim(num1, num2) 的效果与 std::fdim(static_cast</* common-floating-point-type */>(num1),
static_cast</* common-floating-point-type */>(num2)) 相同，其中 /* common-floating-point-type */ 是浮点类型，具有 num1 和 num2 类型之间的最大浮点转换等级和最大浮点转换子等级，整数类型的参数被认为具有与 double 相同的浮点转换等级。

如果不存在具有最大等级和子等级的浮点类型，则重载解析不会从提供的重载中得到一个可用的候选者。

(自 C++23 起)

[edit] 示例

运行以下代码

#include <cerrno>
#include <cfenv>
#include <cmath>
#include <cstring>
#include <iostream>
 
#ifndef __GNUC__
#pragma STDC FENV_ACCESS ON
#endif
 
int main()
{
    std::cout << "fdim(4, 1) = " << std::fdim(4, 1) << '\n'
              << "fdim(1, 4) = " << std::fdim(1, 4) << '\n'
              << "fdim(4,-1) = " << std::fdim(4, -1) << '\n'
              << "fdim(1,-4) = " << std::fdim(1, -4) << '\n';
 
    // error handling 
    errno = 0;
    std::feclearexcept(FE_ALL_EXCEPT);
 
    std::cout << "fdim(1e308, -1e308) = " << std::fdim(1e308, -1e308) << '\n';
 
    if (errno == ERANGE)
        std::cout << "    errno == ERANGE: " << std::strerror(errno) << '\n';
    if (std::fetestexcept(FE_OVERFLOW))
        std::cout << "    FE_OVERFLOW raised\n";
}

输出

fdim(4, 1) = 3
fdim(1, 4) = 0
fdim(4,-1) = 5
fdim(1,-4) = 5
fdim(1e308, -1e308) = inf
    errno == ERANGE: Numerical result out of range
    FE_OVERFLOW raised

[edit] 参见

abs(int)labsllabs (C++11)	计算积分值的绝对值 ($\small{\|x\|}$ $\|x\|$ ) (函数) [edit]
fmaxfmaxffmaxl (C++11)(C++11)(C++11)	两个浮点值中较大的值 (函数) [edit]
C 文档 for fdim

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

cppreference.com

命名空间

变体

视图

操作