MATH_ERRNO, MATH_ERREXCEPT, math_errhandling
来自cppreference.com
| 在标头 <cmath> 定义
|
||
#define MATH_ERRNO 1 |
(C++11 起) | |
#define MATH_ERREXCEPT 2 |
(C++11 起) | |
#define math_errhandling /* 由实现定义 */ |
(C++11 起) | |
宏常量 math_errhandling 展开成 int 类型的表达式，要么等于 MATH_ERRNO，要么等于 MATH_ERREXCEPT，要么等于它们的逐位或（MATH_ERRNO | MATH_ERREXCEPT）。
math_errhandling 的值指示浮点数运算符和函数所进行的错误处理：
| 常量 | 解释 |
MATH_ERREXCEPT
|
指示使用浮点数异常：<cfenv> 中至少定义了 FE_DIVBYZERO、FE_INVALID 及 FE_OVERFLOW。
|
MATH_ERRNO
|
指明浮点数运算使用变量 errno 报告错误。 |
若实现支持 IEEE 浮点数算术（IEC 60559），则要求 math_errhandling & MATH_ERREXCEPT 非零。
识别下列浮点数错误条件：
| 条件 | 解释 | errno | 浮点数异常 | 示例 |
|---|---|---|---|---|
| 定义域错误 | 实参在该运算的数学上的定义域之外（每个函数的描述列出了要求的定义域错误） | EDOM | FE_INVALID | std::acos(2)
|
| 极点错误 | 函数的数学结果恰是无限大或未定义 | ERANGE | FE_DIVBYZERO | std::log(0.0)、1.0 / 0.0
|
| 上溢所致的值域错误 | 数学结果有限，但舍入后变为无限，或在向下舍入后变成最大可表示有限值 | ERANGE | FE_OVERFLOW | std::pow(DBL_MAX, 2)
|
| 下溢所致的域错误 | 结果非零，但因为舍入变为零，或变成非正规并有精度损失 | ERANGE 或不改变（实现定义） | FE_UNDERFLOW 或无（实现定义） | DBL_TRUE_MIN / 2
|
| 结果不准确 | 结果必须被舍入到目标类型 | 不改变 | FE_INEXACT 或无（未指定） | std::sqrt(2)、1.0 / 10.0
|
注解
通常，FE_INEXACT 是否为数学库函数所引发是未指定的，但这可以显式指定于函数的描述（例如 std::rint vs std::nearbyint）。
C++11 前，浮点数异常是未指定的，要求对于任何定义域错误有 EDOM，要求对上溢和实现定义的下溢有 ERANGE。
示例
运行此代码
#include <cerrno>
#include <cfenv>
#include <cmath>
#include <cstring>
#include <iostream>
// #pragma STDC FENV_ACCESS ON
int main()
{
std::cout << "MATH_ERRNO "
<< (math_errhandling & MATH_ERRNO ? "已设置" : "未设置") << '\n'
<< "MATH_ERREXCEPT "
<< (math_errhandling & MATH_ERREXCEPT ? "已设置" : "未设置") << '\n';
std::feclearexcept(FE_ALL_EXCEPT);
errno = 0;
std::cout << "log(0) = " << std::log(0) << '\n';
if (errno == ERANGE)
std::cout << "errno = ERANGE (" << std::strerror(errno) << ")\n";
if (std::fetestexcept(FE_DIVBYZERO))
std::cout << "FE_DIVBYZERO (极点错误) 已报告\n";
}
可能的输出：
MATH_ERRNO 已设置
MATH_ERREXCEPT 已设置
log(0) = -inf
errno = ERANGE (Numerical result out of range)
FE_DIVBYZERO (极点错误) 已报告
参阅
| 浮点数异常 (宏常量) | |
| 展开成 POSIX 兼容的线程局域错误号变量的宏 (宏变量) | |
math_errhandling 的 C 文档
| |