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

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

数值库

常用数学函数
数学特殊函数 (C++17)
数学常数 (C++20)
基本线性代数算法 (C++26)
数据并行类型 (SIMD) (C++26)
浮点环境 (C++11)
复数
数值数组 (valarray)
伪随机数生成
位操作 (C++20)
因子运算
gcd (C++17)	lcm (C++17)
插值
midpoint (C++20)	lerp (C++20)
饱和算术
add_sat (C++26) sub_sat (C++26) saturate_cast (C++26)	mul_sat (C++26) div_sat (C++26)
通用数值运算
iota (C++11) ranges::iota (C++23) accumulate inner_product adjacent_difference    partial_sum	reduce (C++17) transform_reduce (C++17) inclusive_scan (C++17) exclusive_scan (C++17) transform_inclusive_scan (C++17) transform_exclusive_scan (C++17)

 

常用数学函数

函数
基本操作
abs(int)labsllabsimaxabs (C++11)   abs(float)fabs divldivlldivimaxdiv (C++11)	fmod remainder (C++11)   remquo (C++11) fma (C++11) fmax (C++11) fmin (C++11) fdim (C++11) nannanfnanl (C++11)(C++11)(C++11)
指数函数
exp exp2 (C++11) expm1 (C++11)	log log10 log1p (C++11) log2 (C++11)
幂函数
sqrt cbrt (C++11)	hypot (C++11) pow
三角和 双曲函数
sin cos tan asin acos atan atan2	sinh cosh tanh asinh (C++11) acosh (C++11) atanh (C++11)
误差函数和伽马函数
erf (C++11) erfc (C++11)	lgamma (C++11) tgamma (C++11)

取整浮点运算
ceil floor roundlroundllround (C++11)(C++11)(C++11)	trunc (C++11) nearbyint (C++11) rintlrintllrint (C++11)(C++11)(C++11)
浮点操纵函数
ldexp scalbnscalbln (C++11)(C++11) ilogb (C++11) logb (C++11)	frexp modf nextafternexttoward (C++11)(C++11) copysign (C++11)
分类和比较
fpclassify (C++11) isfinite (C++11) isinf (C++11) isnan (C++11) isnormal (C++11) signbit (C++11)	isgreater (C++11) isgreaterequal (C++11) isless (C++11) islessequal (C++11) islessgreater (C++11) isunordered (C++11)
类型
div_t ldiv_t lldiv_t (C++11)	imaxdiv_t (C++11) float_t (C++11) double_t (C++11)
宏常量
HUGE_VALFHUGE_VALHUGE_VALL (C++11)(C++11) math_errhandlingMATH_ERRNOMATH_ERREXCEPT (C++11)   INFINITY (C++11) NAN (C++11)	分类 FP_NORMALFP_SUBNORMALFP_ZEROFP_INFINITEFP_NAN (C++11)(C++11)(C++11)(C++11)(C++11)

 

定义于头文件 <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)
SIMD 重载 (C++26 起)
定义于头文件 <simd>
template< class V0, class V1 > constexpr /*math-common-simd-t*/<V0, V1>             fdim ( const V0& v_x, const V1& v_y );		(S)	(C++26 起)
额外重载 (自 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-unqualified 浮点类型提供了 std::fdim 的重载作为参数的类型。(C++23 起)

S) SIMD 重载对 v_x 和 v_y 执行逐元素的 std::fdim。 (参阅 math-common-simd-t 的定义。)

(C++26 起)

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 起)

示例

运行此代码

#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

参阅

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