MATH_ERREXCEPT
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_INVALID | ACOS（2） |
| 极点错误 | 该函数的数学结果恰好是无限的或未定义的 | 呻吟 | FE_DIVBYZERO | 日志（0.0），1.0 / 0.0 |
| 由于溢出导致范围错误 | 数学结果是有限的，但在舍入后变为无限，或者在舍入后成为最大的可表示的有限值 | 呻吟 | FE_OVERFLOW | POW（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）：
