浮点环境 (自 C++11 起)

 

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)

 

浮点环境是由实现所支持的浮点状态标志和控制模式的集合。它是线程局部的。每个线程从父线程继承其浮点环境的初始状态。浮点运算会修改浮点状态标志以指示异常结果或辅助信息。浮点控制模式的状态会影响某些浮点运算的结果。

只有当支持 #pragma STDC FENV_ACCESS 并设置为 ON 时，浮点环境的访问和修改才有意义。否则，实现可以自由地假设浮点控制模式始终是默认模式，并且浮点状态标志永远不会被测试或修改。实际上，很少有当前的编译器（如 HP aCC、Oracle Studio 或 IBM XL）显式支持 #pragma，但大多数编译器仍然允许对浮点环境进行有意义的访问。

类型

定义于头文件 <cfenv>
fenv_t (C++11)	表示整个浮点环境的类型 (typedef)
fexcept_t (C++11)	表示所有浮点状态标志集合的类型 (typedef)

函数

feclearexcept (C++11)	清除指定的浮点状态标志 (function)
fetestexcept (C++11)	确定已设置哪些指定的浮点状态标志 (function)
feraiseexcept (C++11)	引发指定的浮点异常 (function)
fegetexceptflagfesetexceptflag (C++11)(C++11)	从浮点环境复制或向其复制指定的浮点状态标志的状态 (function)
fegetroundfesetround (C++11)(C++11)	获取或设置舍入方向 (function)
fegetenvfesetenv (C++11)	保存或恢复当前的浮点环境 (function)
feholdexcept (C++11)	保存环境，清除所有状态标志并忽略所有未来错误 (function)
feupdateenv (C++11)	恢复浮点环境并引发先前引发的异常 (function)

宏

FE_ALL_EXCEPTFE_DIVBYZEROFE_INEXACTFE_INVALIDFE_OVERFLOWFE_UNDERFLOW (C++11)	浮点异常 (macro constant)
FE_DOWNWARDFE_TONEARESTFE_TOWARDZEROFE_UPWARD (C++11)	浮点舍入方向 (macro constant)
FE_DFL_ENV (C++11)	默认浮点环境 (macro constant)

注释

浮点异常与 C++ 异常无关。当浮点运算引发浮点异常时，浮点环境的状态会发生变化，这可以使用 std::fetestexcept 进行测试，但在大多数实现上，C++ 程序的执行会继续不中断。

存在编译器扩展，可以在引发浮点异常时自动生成 C++ 异常

• GNU libc 函数 feenableexcept() 允许捕获浮点异常，这会生成信号 SIGFPE。如果使用了编译器选项 -fnon-call-exceptions，则该信号的处理程序可能会抛出用户定义的 C++ 异常。
• MSVC 函数 _control87() 允许捕获浮点异常，这会生成硬件异常，可以使用 _set_se_translator 将其转换为 C++ 异常。

参见

C 文档 关于 浮点环境