FE_DIVBYZERO, FE_INEXACT, FE_INVALID, FE_OVERFLOW, FE_UNDERFLOW, FE_ALL_EXCEPT

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

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

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

数值库

常用数学函数

数学特殊函数 (C++17)

数学常数 (C++20)

浮点环境 (C++11)

复数

数值数组

伪随机数生成

因数运算

gcd (C++17)

lcm (C++17)

插值

midpoint (C++20)

lerp (C++20)

泛型数值运算

iota (C++11)

accumulate

inner_product

adjacent_difference

partial_sum

位操作

bit_cast (C++20)

byteswap (C++23)

has_single_bit (C++20)

bit_ceil (C++20)

bit_floor (C++20)

bit_width (C++20)

rotl (C++20)

rotr (C++20)

countl_zero (C++20)

countl_one (C++20)

countr_zero (C++20)

countr_one (C++20)

popcount (C++20)

endian (C++20)

 

浮点环境

函数

feclearexcept (C++11)

fetestexcept (C++11)

feraiseexcept (C++11)

fegetexceptflagfesetexceptflag (C++11)(C++11)

fegetroundfesetround (C++11)(C++11)

fegetenvfesetenv (C++11)(C++11)

feholdexcept (C++11)

feupdateenv (C++11)

宏常量

FE_ALL_EXCEPTFE_DIVBYZEROFE_INEXACTFE_INVALIDFE_OVERFLOWFE_UNDERFLOW (C++11)(C++11)(C++11)(C++11)(C++11)(C++11)

FE_DOWNWARDFE_TONEARESTFE_TOWARDZEROFE_UPWARD (C++11)(C++11)(C++11)(C++11)

FE_DFL_ENV (C++11)

 

在标头 <cfenv> 定义
#define FE_DIVBYZERO    /*implementation defined power of 2*/		(C++11 起)
#define FE_INEXACT      /*implementation defined power of 2*/		(C++11 起)
#define FE_INVALID      /*implementation defined power of 2*/		(C++11 起)
#define FE_OVERFLOW     /*implementation defined power of 2*/		(C++11 起)
#define FE_UNDERFLOW    /*implementation defined power of 2*/		(C++11 起)
#define FE_ALL_EXCEPT  FE_DIVBYZERO | FE_INEXACT | \                        FE_INVALID | FE_OVERFLOW |  \                        FE_UNDERFLOW		(C++11 起)

所有这些宏常量（除了 FE_ALL_EXCEPT ）都展开成值为 2 的相异次幂整数常量表达式，唯一地鉴别所有受支持浮点异常。每个宏仅若受支持才得到定义。

宏常量 FE_ALL_EXCEPT 展开成所有其他 FE_* 的逐位或，且始终有定义，若实现不支持浮点异常，则为零。

常量	定义
FE_DIVBYZERO	出现于之前浮点运算的极点错误
FE_INEXACT	不准确结果：必须舍入以存储之前浮点运算的结果
FE_INVALID	出现于之前浮点运算的定义域错误
FE_OVERFLOW	之前浮点运算的结果过大而无法表示
FE_UNDERFLOW	之前浮点运算的结果为有精度损失的非正规值
FE_ALL_EXCEPT	所有受支持浮点异常的逐位或

实现可于 <cfenv> 定义附加宏常量以鉴别附加浮点异常。所有这种常量都以 FE_ 后随至少一个大写字母开始。

进一步的细节见 math_errhandling 。

示例

运行此代码

#include <iostream>
#include <cfenv>
#include <cmath>
 
#pragma STDC FENV_ACCESS ON
 
volatile double zero = 0.0; // 支持 FENV_ACCESS 处不需要 volatile
volatile double one = 1.0;  // 支持 FENV_ACCESS 处不需要 volatile
 
int main()
{
    std::feclearexcept(FE_ALL_EXCEPT);
    std::cout <<  "1.0/0.0 = " << 1.0 / zero << '\n';
    if(std::fetestexcept(FE_DIVBYZERO)) {
        std::cout << "division by zero reported\n";
    } else {
        std::cout << "divsion by zero not reported\n";
    }
 
    std::feclearexcept(FE_ALL_EXCEPT);
    std::cout << "1.0/10 = " << one/10 << '\n';
    if(std::fetestexcept(FE_INEXACT)) {
        std::cout << "inexact result reported\n";
    } else {
        std::cout << "inexact result not reported\n";
    }
 
    std::feclearexcept(FE_ALL_EXCEPT);
    std::cout << "sqrt(-1) = " << std::sqrt(-1) << '\n';
    if(std::fetestexcept(FE_INVALID)) {
        std::cout << "invalid result reported\n";
    } else {
        std::cout << "invalid result not reported\n";
    }
}

输出：

1.0/0.0 = inf
division by zero reported
1.0/10 = 0.1
inexact result reported
sqrt(-1) = -nan
invalid result reported

参阅

math_errhandlingMATH_ERRNOMATH_ERREXCEPT (C++11)(C++11)(C++11)

定义常用数学函数所用的错误处理机制 (宏常量)