MATH_ERRNO, MATH_ERREXCEPT, math_errhandling

< cpp‎ | numeric‎ | math
 
C++
 
数值库
常用数学函数
数学特殊函数 (C++17)
数学常数 (C++20)
浮点环境 (C++11)
复数
数值数组
伪随机数生成
编译时有理数算术 (C++11)
数值算法
(C++17)
(C++17)
插值
(C++20)
(C++20)
通用数值运算
(C++11)
位操作
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
 
常用数学函数
函数
基本运算
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)(C++11)(C++11)
指数函数
(C++11)
(C++11)
(C++11)
(C++11)
幂函数
(C++11)
(C++11)
三角与双曲函数
(C++11)
(C++11)
(C++11)
误差与伽马函数
(C++11)
(C++11)
(C++11)
(C++11)
临近整数的浮点运算
(C++11)(C++11)(C++11)
(C++11)
(C++11)
(C++11)(C++11)(C++11)
浮点操作函数
(C++11)(C++11)
(C++11)
(C++11)
(C++11)(C++11)
(C++11)
分类/比较
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
宏常量
(C++11)(C++11)
(C++11)
(C++11)
math_errhandlingMATH_ERRNOMATH_ERREXCEPT
(C++11)
(C++11)(C++11)(C++11)(C++11)(C++11)
 
定义于头文件 <cmath>
#define MATH_ERRNO        1
 (C++11 起)
#define MATH_ERREXCEPT    2
 (C++11 起)
#define math_errhandling  /*implementation defined*/
 (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 <iostream>
#include <cfenv>
#include <cmath>
#include <cerrno>
#include <cstring>
#pragma STDC FENV_ACCESS ON
int main()
{
    std::cout << "MATH_ERRNO is "
              << (math_errhandling & MATH_ERRNO ? "set" : "not set") << '\n'
              << "MATH_ERREXCEPT is "
              << (math_errhandling & MATH_ERREXCEPT ? "set" : "not set") << '\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 (pole error) reported\n";
}

可能的输出： 

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

参阅

(C++11)
 浮点异常
(宏常量)
展开成 POSIX 兼容的线程局域错误号变量的宏
(宏变量)