标准库标头 <cmath>

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

标准库头

语言支持 <cfloat> <climits> <compare> (C++20) <contracts> (C++26) <coroutine> (C++20) <csetjmp> <csignal> <cstdarg> <cstddef> <cstdint> (C++11) <cstdlib> <exception> <initializer_list> (C++11)    <limits> <new> <source_location> (C++20) <stdfloat> (C++23) <typeinfo> <version> (C++20) 概念 <concepts> (C++20) 诊断 <cassert> <cerrno> <debugging> (C++26) <stacktrace> (C++23) <stdexcept> <system_error> (C++11) 内存管理 <memory> <memory_resource> (C++17) <scoped_allocator> (C++11) 元编程 <type_traits> (C++11) <ratio> (C++11)

通用工具 <any> (C++17) <bitset> <bit> (C++20) <charconv> (C++17) <expected> (C++23) <format> (C++20) <functional> <optional> (C++17) <stdbit.h> (C++26) <tuple> (C++11) <typeindex> (C++11) <utility> <variant> (C++17) 容器 <array> (C++11) <deque> <flat_map> (C++23) <flat_set> (C++23) <forward_list> (C++11) <hive> (C++26) <inplace_vector> (C++26)    <list> <map> <mdspan> (C++23) <queue> <set> <span> (C++20) <stack> <unordered_map> (C++11) <unordered_set> (C++11) <vector> 迭代器 <iterator> 范围 <generator> (C++23) <ranges> (C++20)

算法 <algorithm> <numeric> 字符串 <cctype> <cstring> <cuchar> (C++11) <cwchar> <cwctype> <string_view> (C++17) <string> 文本处理 <clocale> <codecvt> (C++11/17/26*) <locale> <regex> (C++11) <text_encoding> (C++26)    cpp/header#数值库数值 <cfenv> (C++11) <cmath> <complex> <linalg> (C++26) <numbers> (C++20) <random> (C++11) <simd> (C++26) <stdckdint.h> (C++26) <valarray> 时间 <chrono> (C++11) <ctime> C 兼容性 <ccomplex> (C++11/17/20*) <ciso646> (C++20 前) <cstdalign> (C++11/17/20*) <cstdbool> (C++11/17/20*) <ctgmath> (C++11/17/20*)

输入/输出 <cinttypes> (C++11) <cstdio> <filesystem> (C++17) <fstream> <iomanip> <iosfwd> <iostream> <ios> <istream> <ostream> <print> (C++23) <spanstream> (C++23) <sstream> <streambuf> <strstream> (C++98/26*) <syncstream> (C++20) 并发支持 <atomic> (C++11) <barrier> (C++20) <condition_variable> (C++11) <future> (C++11) <hazard_pointer> (C++26) <latch> (C++20) <mutex> (C++11) <rcu> (C++26) <semaphore> (C++20) <shared_mutex> (C++14) <stdatomic.h> (C++23) <stop_token> (C++20) <thread> (C++11) 执行支持 <execution> (C++17)

 

此标头原作为 <math.h> 存在于 C 标准库。

此头文件是数值库的一部分。

类型
float_t (C++11)	至少和 float 一样宽的最高效浮点数类型 (typedef)
double_t (C++11)	至少和 double 一样宽的最高效浮点数类型 (typedef)
宏
HUGE_VALFHUGE_VALHUGE_VALL (C++11)(C++11)	分别指示 float、double 和 long double 的上溢值 (宏常量)
INFINITY (C++11)	求值为正无穷大或保证使 float 上溢的值 (宏常量)
NAN (C++11)	求值为 float 类型的静默 NAN (宏常量)
math_errhandlingMATH_ERRNOMATH_ERREXCEPT (C++11)(C++11)(C++11)	定义常用数学函数所用的错误处理机制 (宏常量)
分类
FP_NORMALFP_SUBNORMALFP_ZEROFP_INFINITEFP_NAN (C++11)(C++11)(C++11)(C++11)(C++11)	指示浮点数类别 (宏常量)
函数
基本运算
abs(float)fabsfabsffabsl (C++11)(C++11)	浮点数的绝对值（\(\small{|x|}\)|x|） (函数)
fmodfmodffmodl (C++11)(C++11)	浮点数除法运算的余数 (函数)
remainderremainderfremainderl (C++11)(C++11)(C++11)	除法运算的有符号余数 (函数)
remquoremquofremquol (C++11)(C++11)(C++11)	除法运算的有符号余数和最后三个二进制位 (函数)
fmafmaffmal (C++11)(C++11)(C++11)	混合的乘加运算 (函数)
fmaxfmaxffmaxl (C++11)	两个浮点数的较大者 (函数)
fminfminffminl (C++11)(C++11)(C++11)	两个浮点数的较小者 (函数)
fdimfdimffdiml (C++11)(C++11)(C++11)	两个浮点数的正数差（\({\small\max{(0, x-y)} }\)max(0, x-y)） (函数)
nannanfnanl (C++11)(C++11)(C++11)	非数（NaN） (函数)
线性插值
lerp (C++20)	线性插值函数 (函数)
指数函数
expexpfexpl (C++11)(C++11)	返回 e 的给定次幂（\({\small e^x}\)ex） (函数)
exp2exp2fexp2l (C++11)(C++11)(C++11)	返回 2 的给定次幂（\({\small 2^x}\)2x） (函数)
expm1expm1fexpm1l (C++11)(C++11)(C++11)	返回 e 的给定次幂减 1（\({\small e^x-1}\)ex-1） (函数)
loglogflogl (C++11)(C++11)	计算自然（以 e 为底）对数（\({\small \ln{x} }\)ln(x)） (函数)
log10log10flog10l (C++11)(C++11)	计算常用（以 10 为底）对数（\({\small \log_{10}{x} }\)log10(x)） (函数)
log2log2flog2l (C++11)(C++11)(C++11)	给定数值的以 2 为底的对数（\({\small \log_{2}{x} }\)log2(x)） (函数)
log1plog1pflog1pl (C++11)(C++11)(C++11)	1 加上给定数值的自然（以 e 为底）对数（\({\small \ln{(1+x)} }\)ln(1+x)） (函数)
幂函数
powpowfpowl (C++11)(C++11)	求某数的给定次幂（\(\small{x^y}\)xy） (函数)
sqrtsqrtfsqrtl (C++11)(C++11)	计算平方根（\(\small{\sqrt{x} }\)√x） (函数)
cbrtcbrtfcbrtl (C++11)(C++11)(C++11)	计算立方根（\(\small{\sqrt[3]{x} }\)3√x） (函数)
hypothypotfhypotl (C++11)(C++11)(C++11)	计算斜边（弦）长 \(\scriptsize{\sqrt{x^2+y^2} }\)√x2 +y2 与 \(\scriptsize{\sqrt{x^2+y^2+z^2} }\)√x2 +y2 +z2 (C++17 起) (函数)
三角函数
sinsinfsinl (C++11)(C++11)	计算正弦（\({\small\sin{x} }\)sin(x)） (函数)
coscosfcosl (C++11)(C++11)	计算余弦（\({\small\cos{x} }\)cos(x)） (函数)
tantanftanl (C++11)(C++11)	计算正切（\({\small\tan{x} }\)tan(x)） (函数)
asinasinfasinl (C++11)(C++11)	计算反正弦（\({\small\arcsin{x} }\)arcsin(x)） (函数)
acosacosfacosl (C++11)(C++11)	计算反余弦（\({\small\arccos{x} }\)arccos(x)） (函数)
atanatanfatanl (C++11)(C++11)	计算反正切（\({\small\arctan{x} }\)arctan(x)） (函数)
atan2atan2fatan2l (C++11)(C++11)	反正切，用符号确定象限 (函数)
双曲函数
sinhsinhfsinhl (C++11)(C++11)	计算双曲正弦（\({\small\sinh{x} }\)sinh(x)） (函数)
coshcoshfcoshl (C++11)(C++11)	计算双曲余弦（\({\small\cosh{x} }\)cosh(x)） (函数)
tanhtanhftanhl (C++11)(C++11)	计算双曲正切（\({\small\tanh{x} }\)tanh(x)） (函数)
asinhasinhfasinhl (C++11)(C++11)(C++11)	计算反双曲正弦（\({\small\operatorname{arsinh}{x} }\)arsinh(x)） (函数)
acoshacoshfacoshl (C++11)(C++11)(C++11)	计算反双曲余弦（\({\small\operatorname{arcosh}{x} }\)arcosh(x)） (函数)
atanhatanhfatanhl (C++11)(C++11)(C++11)	计算反双曲正切（\({\small\operatorname{artanh}{x} }\)artanh(x)） (函数)
误差与伽马函数
erferfferfl (C++11)(C++11)(C++11)	误差函数 (函数)
erfcerfcferfcl (C++11)(C++11)(C++11)	补误差函数 (函数)
tgammatgammaftgammal (C++11)(C++11)(C++11)	gamma 函数 (函数)
lgammalgammaflgammal (C++11)(C++11)(C++11)	gamma 函数的自然对数 (函数)
临近整数的浮点数运算
ceilceilfceill (C++11)(C++11)	不小于给定值的最接近整数 (函数)
floorfloorffloorl (C++11)(C++11)	不大于给定值的最接近整数 (函数)
trunctruncftruncl (C++11)(C++11)(C++11)	绝对值不大于给定值的最接近整数 (函数)
roundroundfroundllroundlroundflroundlllroundllroundfllroundl (C++11)(C++11)(C++11)(C++11)(C++11)(C++11)(C++11)(C++11)(C++11)	最接近整数，中间情况下向远离零舍入 (函数)
nearbyintnearbyintfnearbyintl (C++11)(C++11)(C++11)	使用当前舍入模式的最接近整数 (函数)
rintrintfrintllrintlrintflrintlllrintllrintfllrintl (C++11)(C++11)(C++11)(C++11)(C++11)(C++11)(C++11)(C++11)(C++11)	使用当前舍入模式的最接近整数 若结果有别则有异常 (函数)
浮点数操纵函数
frexpfrexpffrexpl (C++11)(C++11)	将数分解为有效数字和以 2 为底的指数 (函数)
ldexpldexpfldexpl (C++11)(C++11)	将数乘以 2 的整数次幂 (函数)
modfmodffmodfl (C++11)(C++11)	分解数为整数和小数部分 (函数)
scalbnscalbnfscalbnlscalblnscalblnfscalblnl (C++11)(C++11)(C++11)(C++11)(C++11)(C++11)	将数乘以 FLT_RADIX 的幂次 (函数)
ilogbilogbfilogbl (C++11)(C++11)(C++11)	提取数的指数 (函数)
logblogbflogbl (C++11)(C++11)(C++11)	提取数的指数 (函数)
nextafternextafterfnextafterlnexttowardnexttowardfnexttowardl (C++11)(C++11) (C++11)(C++11)(C++11)(C++11)	趋向给定值的下个可表示浮点数 (函数)
copysigncopysignfcopysignl (C++11)(C++11)(C++11)	复制浮点数的符号 (函数)
分类与比较
fpclassify (C++11)	归类给定的浮点数 (函数)
isfinite (C++11)	检查给定数是否拥有有限值 (函数)
isinf (C++11)	检查给定数是否为无限 (函数)
isnan (C++11)	检查给定的数是否 NaN (函数)
isnormal (C++11)	检查给定数是否正规 (函数)
signbit (C++11)	检查给定数是否为负 (函数)
isgreater (C++11)	检查第一个浮点数实参是否大于第二个 (函数)
isgreaterequal (C++11)	检查第一个浮点数实参是否大于或等于第二个 (函数)
isless (C++11)	检查第一个浮点数实参是否小于第二个 (函数)
islessequal (C++11)	检查第一个浮点数实参是否小于或等于第二个 (函数)
islessgreater (C++11)	检查第一个浮点数实参是否小于或大于第二个 (函数)
isunordered (C++11)	检查两个浮点数是否无顺序 (函数)
数学特殊函数
assoc_laguerreassoc_laguerrefassoc_laguerrel (C++17)(C++17)(C++17)	连带拉盖尔多项式 (函数)
assoc_legendreassoc_legendrefassoc_legendrel (C++17)(C++17)(C++17)	连带勒让德多项式 (函数)
betabetafbetal (C++17)(C++17)(C++17)	beta 函数 (函数)
comp_ellint_1comp_ellint_1fcomp_ellint_1l (C++17)(C++17)(C++17)	第一类（完全）椭圆积分 (函数)
comp_ellint_2comp_ellint_2fcomp_ellint_2l (C++17)(C++17)(C++17)	第二类（完全）椭圆积分 (函数)
comp_ellint_3comp_ellint_3fcomp_ellint_3l (C++17)(C++17)(C++17)	第三类（完全）椭圆积分 (函数)
cyl_bessel_icyl_bessel_ifcyl_bessel_il (C++17)(C++17)(C++17)	规则变形圆柱贝塞尔函数 (函数)
cyl_bessel_jcyl_bessel_jfcyl_bessel_jl (C++17)(C++17)(C++17)	（第一类）圆柱贝塞尔函数 (函数)
cyl_bessel_kcyl_bessel_kfcyl_bessel_kl (C++17)(C++17)(C++17)	不规则变形圆柱贝塞尔函数 (函数)
cyl_neumanncyl_neumannfcyl_neumannl (C++17)(C++17)(C++17)	圆柱诺依曼函数 (函数)
ellint_1ellint_1fellint_1l (C++17)(C++17)(C++17)	第一类（不完全）椭圆积分 (函数)
ellint_2ellint_2fellint_2l (C++17)(C++17)(C++17)	第二类（不完全）椭圆积分 (函数)
ellint_3ellint_3fellint_3l (C++17)(C++17)(C++17)	第三类（不完全）椭圆积分 (函数)
expintexpintfexpintl (C++17)(C++17)(C++17)	指数积分 (函数)
hermitehermitefhermitel (C++17)(C++17)(C++17)	埃尔米特多项式 (函数)
legendrelegendreflegendrel (C++17)(C++17)(C++17)	勒让德多项式 (函数)
laguerrelaguerreflaguerrel (C++17)(C++17)(C++17)	拉盖尔多项式 (函数)
riemann_zetariemann_zetafriemann_zetal (C++17)(C++17)(C++17)	黎曼 zeta 函数 (函数)
sph_besselsph_besselfsph_bessell (C++17)(C++17)(C++17)	（第一类）球面贝塞尔函数 (函数)
sph_legendresph_legendrefsph_legendrel (C++17)(C++17)(C++17)	球面连带勒让德函数 (函数)
sph_neumannsph_neumannfsph_neumannl (C++17)(C++17)(C++17)	球面诺依曼函数 (函数)

概要

对于每个至少有一个形参类型是 /* 浮点数类型 */ 的函数，实现都会为每个无 cv 限定的浮点数类型提供一个重载，该重载的函数签名中所有 /* 浮点数类型 */ 都会替换成该浮点数类型。

对于 std::abs 以外每个至少有一个形参类型是 /* 浮点数类型 */ 的函数，实现都会提供额外重载以确保在每个类型是 /* 浮点数类型 */ 的形参对应的实参都具有整数类型时，所有这些实参都会等效地转型到它们的类型中具有最高浮点数转换等级和最高浮点数转换子等级的类型，其中具有整数类型的实参被视为具有和 double 相同的浮点数转换等级。如果不存在浮点数转换等级和浮点数转换子等级最高的类型，那么重载决议不会从提供的重载中得到可用候选。

namespace std {
  using float_t = /* 见描述 */;
  using double_t = /* 见描述 */;
}

#define HUGE_VAL /* 见描述 */
#define HUGE_VALF /* 见描述 */
#define HUGE_VALL /* 见描述 */
#define INFINITY /* 见描述 */
#define NAN /* 见描述 */
#define FP_INFINITE /* 见描述 */
#define FP_NAN /* 见描述 */
#define FP_NORMAL /* 见描述 */
#define FP_SUBNORMAL /* 见描述 */
#define FP_ZERO /* 见描述 */
#define FP_FAST_FMA /* 见描述 */
#define FP_FAST_FMAF /* 见描述 */
#define FP_FAST_FMAL /* 见描述 */
#define FP_ILOGB0 /* 见描述 */
#define FP_ILOGBNAN /* 见描述 */
#define MATH_ERRNO /* 见描述 */
#define MATH_ERREXCEPT /* 见描述 */

#define math_errhandling /* 见描述 */

namespace std {
  /* 浮点数类型 */ acos(/* 浮点数类型 */ x);
  float acosf(float x);
  long double acosl(long double x);

  /* 浮点数类型 */ asin(/* 浮点数类型 */ x);
  float asinf(float x);
  long double asinl(long double x);

  /* 浮点数类型 */ atan(/* 浮点数类型 */ x);
  float atanf(float x);
  long double atanl(long double x);

  /* 浮点数类型 */ atan2(/* 浮点数类型 */ y, /* 浮点数类型 */ x);
  float atan2f(float y, float x);
  long double atan2l(long double y, long double x);

  /* 浮点数类型 */ cos(/* 浮点数类型 */e x);
  float cosf(float x);
  long double cosl(long double x);

  /* 浮点数类型 */ sin(/* 浮点数类型 */ x);
  float sinf(float x);
  long double sinl(long double x);

  /* 浮点数类型 */ tan(/* 浮点数类型 */ x);
  float tanf(float x);
  long double tanl(long double x);

  /* 浮点数类型 */ acosh(/* 浮点数类型 */ x);
  float acoshf(float x);
  long double acoshl(long double x);

  /* 浮点数类型 */ asinh(/* 浮点数类型 */ x);
  float asinhf(float x);
  long double asinhl(long double x);

  /* 浮点数类型 */ atanh(/* 浮点数类型 */ x);
  float atanhf(float x);
  long double atanhl(long double x);

  /* 浮点数类型 */ cosh(/* 浮点数类型 */ x);
  float coshf(float x);
  long double coshl(long double x);

  /* 浮点数类型 */ sinh(/* 浮点数类型 */ x);
  float sinhf(float x);
  long double sinhl(long double x);

  /* 浮点数类型 */ tanh(/* 浮点数类型 */ x);
  float tanhf(float x);
  long double tanhl(long double x);

  /* 浮点数类型 */ exp(/* 浮点数类型 */ x);
  float expf(float x);
  long double expl(long double x);

  /* 浮点数类型 */ exp2(/* 浮点数类型 */ x);
  float exp2f(float x);
  long double exp2l(long double x);

  /* 浮点数类型 */ expm1(/* 浮点数类型 */ x);
  float expm1f(float x);
  long double expm1l(long double x);

  constexpr /* 浮点数类型 */ frexp(/* 浮点数类型 */ value, int* exp);
  constexpr float frexpf(float value, int* exp);
  constexpr long double frexpl(long double value, int* exp);

  constexpr int ilogb(/* 浮点数类型 */ x);
  constexpr int ilogbf(float x);
  constexpr int ilogbl(long double x);

  constexpr /* 浮点数类型 */ ldexp(/* 浮点数类型 */ x, int exp);
  constexpr float ldexpf(float x, int exp);
  constexpr long double ldexpl(long double x, int exp);

  /* 浮点数类型 */ log(/* 浮点数类型 */ x);
  float logf(float x);
  long double logl(long double x);

  /* 浮点数类型 */ log10(/* 浮点数类型 */ x);
  float log10f(float x);
  long double log10l(long double x);

  /* 浮点数类型 */ log1p(/* 浮点数类型 */ x);
  float log1pf(float x);
  long double log1pl(long double x);

  /* 浮点数类型 */ log2(/* 浮点数类型 */ x);
  float log2f(float x);
  long double log2l(long double x);

  constexpr /* 浮点数类型 */ logb(/* 浮点数类型 */ x);
  constexpr float logbf(float x);
  constexpr long double logbl(long double x);

  constexpr /* 浮点数类型 */ modf(/* 浮点数类型 */ value, /* 浮点数类型 */* iptr);
  constexpr float modff(float value, float* iptr);
  constexpr long double modfl(long double value, long double* iptr);

  constexpr /* 浮点数类型 */ scalbn(/* 浮点数类型 */ x, int n);
  constexpr float scalbnf(float x, int n);
  constexpr long double scalbnl(long double x, int n);

  constexpr /* 浮点数类型 */ scalbln(/* 浮点数类型 */ x, long int n);
  constexpr float scalblnf(float x, long int n);
  constexpr long double scalblnl(long double x, long int n);

  /* 浮点数类型 */ cbrt(/* 浮点数类型 */ x);
  float cbrtf(float x);
  long double cbrtl(long double x);

  // 绝对值
  constexpr int abs(int j);                     // 独立
  constexpr long int abs(long int j);           // 独立
  constexpr long long int abs(long long int j); // 独立
  constexpr /* 浮点数类型 */ abs(/* 浮点数类型 */ j); // 独立或被删除

  constexpr /* 浮点数类型 */ fabs(/* 浮点数类型 */ x);
  constexpr float fabsf(float x);
  constexpr long double fabsl(long double x);

  /* 浮点数类型 */ hypot(/* 浮点数类型 */ x, /* 浮点数类型 */ y);
  float hypotf(float x, float y);
  long double hypotl(long double x, long double y);

  // 三维斜边
  float hypot(/* 浮点数类型 */ x, /* 浮点数类型 */ y, /* 浮点数类型 */ z);

  /* 浮点数类型 */ pow(/* 浮点数类型 */ x, /* 浮点数类型 */ y);
  float powf(float x, float y);
  long double powl(long double x, long double y);

  /* 浮点数类型 */ sqrt(/* 浮点数类型 */ x);
  float sqrtf(float x);
  long double sqrtl(long double x);

  /* 浮点数类型 */ erf(/* 浮点数类型 */ x);
  float erff(float x);
  long double erfl(long double x);

  /* 浮点数类型 */ erfc(/* 浮点数类型 */ x);
  float erfcf(float x);
  long double erfcl(long double x);

  /* 浮点数类型 */ lgamma(/* 浮点数类型 */ x);
  float lgammaf(float x);
  long double lgammal(long double x);

  /* 浮点数类型 */ tgamma(/* 浮点数类型 */ x);
  float tgammaf(float x);
  long double tgammal(long double x);

  constexpr /* 浮点数类型 */ ceil(/* 浮点数类型 */ x);
  constexpr float ceilf(float x);
  constexpr long double ceill(long double x);

  constexpr /* 浮点数类型 */ floor(/* 浮点数类型 */ x);
  constexpr float floorf(float x);
  constexpr long double floorl(long double x);

  /* 浮点数类型 */ nearbyint(/* 浮点数类型 */ x);
  float nearbyintf(float x);
  long double nearbyintl(long double x);

  /* 浮点数类型 */ rint(/* 浮点数类型 */ x);
  float rintf(float x);
  long double rintl(long double x);

  long int lrint(/* 浮点数类型 */ x);
  long int lrintf(float x);
  long int lrintl(long double x);

  long long int llrint(/* 浮点数类型 */ x);
  long long int llrintf(float x);
  long long int llrintl(long double x);

  constexpr /* 浮点数类型 */ round(/* 浮点数类型 */ x);
  constexpr float roundf(float x);
  constexpr long double roundl(long double x);

  constexpr long int lround(/* 浮点数类型 */ x);
  constexpr long int lroundf(float x);
  constexpr long int lroundl(long double x);

  constexpr long long int llround(/* 浮点数类型 */ x);
  constexpr long long int llroundf(float x);
  constexpr long long int llroundl(long double x);

  constexpr /* 浮点数类型 */ trunc(/* 浮点数类型 */ x);
  constexpr float truncf(float x);
  constexpr long double truncl(long double x);

  constexpr /* 浮点数类型 */ fmod(/* 浮点数类型 */ x, /* 浮点数类型 */ y);
  constexpr float fmodf(float x, float y);
  constexpr long double fmodl(long double x, long double y);

  constexpr /* 浮点数类型 */ remainder(/* 浮点数类型 */ x, /* 浮点数类型 */ y);
  constexpr float remainderf(float x, float y);
  constexpr long double remainderl(long double x, long double y);

  constexpr /* 浮点数类型 */ remquo(/* 浮点数类型 */ x, /* 浮点数类型 */ y, int* quo);
  constexpr float remquof(float x, float y, int* quo);
  constexpr long double remquol(long double x, long double y, int* quo);

  constexpr /* 浮点数类型 */ copysign(/* 浮点数类型 */ x, /* 浮点数类型 */ y);
  constexpr float copysignf(float x, float y);
  constexpr long double copysignl(long double x, long double y);

  double nan(const char* tagp);
  float nanf(const char* tagp);
  long double nanl(const char* tagp);

  constexpr /* 浮点数类型 */ nextafter(/* 浮点数类型 */ x, /* 浮点数类型 */ y);
  constexpr float nextafterf(float x, float y);
  constexpr long double nextafterl(long double x, long double y);

  constexpr /* 浮点数类型 */ nexttoward(/* 浮点数类型 */ x, long double y);
  constexpr float nexttowardf(float x, long double y);
  constexpr long double nexttowardl(long double x, long double y);

  constexpr /* 浮点数类型 */ fdim(/* 浮点数类型 */ x, /* 浮点数类型 */ y);
  constexpr float fdimf(float x, float y);
  constexpr long double fdiml(long double x, long double y);

  constexpr /* 浮点数类型 */ fmax(/* 浮点数类型 */ x, /* 浮点数类型 */ y);
  constexpr float fmaxf(float x, float y);
  constexpr long double fmaxl(long double x, long double y);

  constexpr /* 浮点数类型 */ fmin(/* 浮点数类型 */ x, /* 浮点数类型 */ y);
  constexpr float fminf(float x, float y);
  constexpr long double fminl(long double x, long double y);

  constexpr /* 浮点数类型 */ fma(/* 浮点数类型 */ x, /* 浮点数类型 */ y, /* 浮点数类型 */ z);
  constexpr float fmaf(float x, float y, float z);
  constexpr long double fmal(long double x, long double y, long double z);

  // 线性插值
  constexpr /* 浮点数类型 */ lerp(/* 浮点数类型 */ a, /* 浮点数类型 */ b, /* 浮点数类型 */ t) noexcept;

  // 分类/比较函数
  constexpr int fpclassify(/* 浮点数类型 */ x);

  constexpr bool isfinite(/* 浮点数类型 */ x);

  constexpr bool isinf(/* 浮点数类型 */ x);

  constexpr bool isnan(/* 浮点数类型 */ x);

  constexpr bool isnormal(/* 浮点数类型 */ x);

  constexpr bool signbit(/* 浮点数类型 */ x);

  constexpr bool isgreater(/* 浮点数类型 */ x, /* 浮点数类型 */ y);

  constexpr bool isgreaterequal(/* 浮点数类型 */ x, /* 浮点数类型 */ y);

  constexpr bool isless(/* 浮点数类型 */ x, /* 浮点数类型 */ y);

  constexpr bool islessequal(/* 浮点数类型 */ x, /* 浮点数类型 */ y);

  constexpr bool islessgreater(/* 浮点数类型 */ x, /* 浮点数类型 */ y);

  constexpr bool isunordered(/* 浮点数类型 */ x, /* 浮点数类型 */ y);

  // 数学特殊函数

  // 连带拉盖尔多项式
  /* 浮点数类型 */ assoc_laguerre(unsigned n, unsigned m, /* 浮点数类型 */ x);
  float assoc_laguerref(unsigned n, unsigned m, float x);
  long double assoc_laguerrel(unsigned n, unsigned m, long double x);

  // 连带勒让德多项式
  /* 浮点数类型 */ assoc_legendre(unsigned l, unsigned m, /* 浮点数类型 */ x);
  float assoc_legendref(unsigned l, unsigned m, float x);
  long double assoc_legendrel(unsigned l, unsigned m, long double x);

  // beta 函数
  /* 浮点数类型 */ beta(/* 浮点数类型 */ x, /* 浮点数类型 */ y);
  float betaf(float x, float y);
  long double betal(long double x, long double y);

  // 第一类完全椭圆积分
  /* 浮点数类型 */ comp_ellint_1(/* 浮点数类型 */ k);
  float comp_ellint_1f(float k);
  long double comp_ellint_1l(long double k);

  // 第二类完全椭圆积分
  /* 浮点数类型 */ comp_ellint_2(/* 浮点数类型 */ k);
  float comp_ellint_2f(float k);
  long double comp_ellint_2l(long double k);

  // 第三类完全椭圆积分
  /* 浮点数类型 */ comp_ellint_3(/* 浮点数类型 */ k, /* 浮点数类型 */ nu);
  float comp_ellint_3f(float k, float nu);
  long double comp_ellint_3l(long double k, long double nu);

  // 规则变形圆柱贝塞尔函数
  /* 浮点数类型 */ cyl_bessel_i(/* 浮点数类型 */ nu, /* 浮点数类型 */ x);
  float cyl_bessel_if(float nu, float x);
  long double cyl_bessel_il(long double nu, long double x);

  // 第一类圆柱贝塞尔函数
  /* 浮点数类型 */ cyl_bessel_j(/* 浮点数类型 */ nu, /* 浮点数类型 */ x);
  float cyl_bessel_jf(float nu, float x);
  long double cyl_bessel_jl(long double nu, long double x);

  // 不规则变形圆柱贝塞尔函数
  /* 浮点数类型 */ cyl_bessel_k(/* 浮点数类型 */ nu, /* 浮点数类型 */ x);
  float cyl_bessel_kf(float nu, float x);
  long double cyl_bessel_kl(long double nu, long double x);

  // 圆柱诺伊曼函数；
  // 第二类圆柱贝塞尔函数
  /* 浮点数类型 */ cyl_neumann(/* 浮点数类型 */ nu, /* 浮点数类型 */ x);
  float cyl_neumannf(float nu, float x);
  long double cyl_neumannl(long double nu, long double x);

  // 第一类不完全椭圆积分
  /* 浮点数类型 */ ellint_1(/* 浮点数类型 */ k, /* 浮点数类型 */ phi);
  float ellint_1f(float k, float phi);
  long double ellint_1l(long double k, long double phi);

  // 第二类不完全椭圆积分
  /* 浮点数类型 */ ellint_2(/* 浮点数类型 */ k, /* 浮点数类型 */ phi);
  float ellint_2f(float k, float phi);
  long double ellint_2l(long double k, long double phi);

  // 第三类不完全椭圆积分
  /* 浮点数类型 */ ellint_3(/* 浮点数类型 */ k, /* 浮点数类型 */ nu, /* 浮点数类型 */ phi);
  float ellint_3f(float k, float nu, float phi);
  long double ellint_3l(long double k, long double nu, long double phi);

  // 指数积分
  /* 浮点数类型 */ expint(/* 浮点数类型 */ x);
  float expintf(float x);
  long double expintl(long double x);

  // 埃尔米特多项式
  /* 浮点数类型 */ hermite(unsigned n, /* 浮点数类型 */ x);
  float hermitef(unsigned n, float x);
  long double hermitel(unsigned n, long double x);

  // 拉盖尔多项式
  /* 浮点数类型 */ laguerre(unsigned n, /* 浮点数类型 */ x);
  float laguerref(unsigned n, float x);
  long double laguerrel(unsigned n, long double x);

  // 勒让德多项式
  /* 浮点数类型 */ legendre(unsigned l, /* 浮点数类型 */ x);
  float legendref(unsigned l, float x);
  long double legendrel(unsigned l, long double x);

  // 黎曼 zeta 函数
  /* 浮点数类型 */ riemann_zeta(/* 浮点数类型 */ x);
  float riemann_zetaf(float x);
  long double riemann_zetal(long double x);

  // 第一类球面贝塞尔函数
  /* 浮点数类型 */ sph_bessel(unsigned n, /* 浮点数类型 */ x);
  float sph_besself(unsigned n, float x);
  long double sph_bessell(unsigned n, long double x);

  // 球面连带勒让德函数
  /* 浮点数类型 */ sph_legendre(unsigned l, unsigned m, /* 浮点数类型 */ theta);
  float sph_legendref(unsigned l, unsigned m, float theta);
  long double sph_legendrel(unsigned l, unsigned m, long double theta);

  // 球面诺依曼函数；
  // 第二类球面贝塞尔函数
  /* 浮点数类型 */ sph_neumann(unsigned n, /* 浮点数类型 */ x);
  float sph_neumannf(unsigned n, float x);
  long double sph_neumannl(unsigned n, long double x);
}