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

技术规范

符号索引

外部库

 

数值库

常用数学函数
数学特殊函数 (C++17)
数学常数 (C++20)
基本线性代数算法 (C++26)
浮点环境 (C++11)
复数
数值数组 (valarray)
伪随机数生成
因式运算
gcd (C++17)	lcm (C++17)
插值
中点 (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)
位运算
has_single_bit (C++20)     bit_cast (C++20) bit_ceil (C++20) bit_floor (C++20) bit_width (C++20) rotl (C++20) rotr (C++20)	popcount (C++20) countl_zero (C++20) countl_one (C++20) countr_zero (C++20) countr_one (C++20) byteswap (C++23) 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    /*实现定义的 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 浮点异常宏