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++26)

技术规范

符号索引

外部库

 

数值库

常用数学函数
数学特殊函数 (C++17)
数学常数 (C++20)
基本线性代数算法 (C++26)
数据并行类型 (SIMD) (C++26)
浮点环境 (C++11)
复数
数值数组 (valarray)
伪随机数生成
位操作 (C++20)
因子运算
gcd (C++17)	lcm (C++17)
插值
midpoint (C++20)	lerp (C++20)
饱和算术
add_sat (C++26) sub_sat (C++26) saturate_cast (C++26)	mul_sat (C++26) div_sat (C++26)
通用数值运算
iota (C++11) ranges::iota (C++23) accumulate inner_product adjacent_difference    partial_sum	reduce (C++17) transform_reduce (C++17) inclusive_scan (C++17) exclusive_scan (C++17) transform_inclusive_scan (C++17) transform_exclusive_scan (C++17)

 

浮点环境

函数

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    /*实现定义的 2 的幂*/		(C++11 起)
#define FE_INEXACT      /*实现定义的 2 的幂*/		(C++11 起)
#define FE_INVALID      /*实现定义的 2 的幂*/		(C++11 起)
#define FE_OVERFLOW     /*实现定义的 2 的幂*/		(C++11 起)
#define FE_UNDERFLOW    /*实现定义的 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 <cfenv>
#include <cmath>
#include <iostream>
 
// #pragma STDC FENV_ACCESS ON
 
volatile double zero = 0.0; // volatile not needed where FENV_ACCESS is supported
volatile double one = 1.0;  // volatile not needed where FENV_ACCESS is supported
 
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 << "division 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)	定义了常用数学函数使用的错误处理机制 (宏常量)
C 文档 for floating point exception macros