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++26)
浮点环境 (C++11)
复数
数值数组 (valarray)
伪随机数生成
因数运算
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)
位操作
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; // 支持 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 << "已报告除以零\n";
    else
        std::cout << "未报告除以零\n";
 
    std::feclearexcept(FE_ALL_EXCEPT);
    std::cout << "1.0/10 = " << one / 10 << '\n';
    if (std::fetestexcept(FE_INEXACT))
        std::cout << "已报告结果不精确\n";
    else
        std::cout << "未报告结果不精确\n";
 
    std::feclearexcept(FE_ALL_EXCEPT);
    std::cout << "sqrt(-1) = " << std::sqrt(-1) << '\n';
    if (std::fetestexcept(FE_INVALID))
        std::cout << "已报告结果无效\n";
    else
        std::cout << "未报告结果无效\n";
}

可能的输出：

1.0/0.0 = inf
已报告除以零
1.0/10 = 0.1
已报告结果不精确
sqrt(-1) = -nan
已报告结果无效

参阅

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

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