C
数值 | Numerics

math_errhandling

MATH_ERRNO, MATH_ERREXCEPT, math_errhandling

在头文件中定义
#define MATH_ERRNO 1(since C99)
#define MATH_ERREXCEPT 2(since C99)
#define math_errhandling /*implementation defined*/(since C99)

宏常量math_errhandling扩展为int等于MATH_ERRNO或等于MATH_ERREXCEPT或等于它们的OR(MATH_ERRNO | MATH_ERREXCEPT)的类型的表达式。

math_errhandling指示由浮点运算符和函数执行的错误处理类型:

不变说明
MATH_ERREXCEPT表示使用了浮点异常:至少FE_DIVBYZERO,FE_INVALID和FE_OVERFLOW在<fenv.h>中定义。
MATH_ERRNO表示浮点操作使用变量errno来报告错误。

如果实现支持IEEE浮点运算(IEC 60559),math_errhandling & MATH_ERREXCEPT则要求为非零。

以下浮点错误条件被识别:

条件说明错误号浮点异常
域错误参数超出了操作数学定义的范围(每个函数的描述都列出了所需的域错误)益登FE_INVALIDACOS(2)
极点错误该函数的数学结果恰好是无限的或未定义的呻吟FE_DIVBYZERO日志(0.0),1.0 / 0.0
由于溢出导致范围错误数学结果是有限的,但在舍入后变为无限,或者在舍入后成为最大的可表示的有限值呻吟FE_OVERFLOWPOW(DBL_MAX,2)
由于下溢导致的范围错误结果非零,但在舍入后变为零,或者由于精度损失而变为低于正常值ERANGE或未更改(实施定义)FE_UNDERFLOW或者什么都没有(实现定义)DBL_MIN / 2
不精确的结果结果必须进行四舍五入以适合目标类型不变FE_INEXACT或没有(未指定)sqrt(2),1.0 / 10.0

笔记

是否FE_INEXACT由数学函数库提出函数通常没有具体说明,但可以在函数的描述中明确指定(例如rintvs nearbyint)。

在C99之前,未指定浮点异常,EDOM是任何域错误ERANGE所必需的,是溢出所需的,并且是为下溢而定义的。

#include <stdio.h> #include <fenv.h> #include <math.h> #include <errno.h> #pragma STDC FENV_ACCESS ON int main(void) { printf("MATH_ERRNO is %s\n", math_errhandling & MATH_ERRNO ? "set" : "not set" printf("MATH_ERREXCEPT is %s\n", math_errhandling & MATH_ERREXCEPT ? "set" : "not set" feclearexcept(FE_ALL_EXCEPT errno = 0; printf("log(0) = %f\n", log(0) if(errno == ERANGE) perror("errno == ERANGE" if(fetestexcept(FE_DIVBYZERO)) puts("FE_DIVBYZERO (pole error) reported" }

可能的输出:

MATH_ERRNO is set MATH_ERREXCEPT is set log(0) = -inf errno = ERANGE: Numerical result out of range FE_DIVBYZERO (pole error) reported

参考

  • C11标准(ISO / IEC 9899:2011):