FE_DOWNWARD, FE_TONEAREST, FE_TOWARDZERO, FE_UPWARD

 

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_DOWNWARD     /*实现定义*/		(自 C++11 起)
#define FE_TONEAREST    /*实现定义*/		(自 C++11 起)
#define FE_TOWARDZERO   /*实现定义*/		(自 C++11 起)
#define FE_UPWARD       /*实现定义*/		(自 C++11 起)

这些宏常量中的每一个都展开为一个非负整数常量表达式，可以与 std::fesetround 和 std::fegetround 一起使用，以指示支持的浮点舍入模式之一。实现可以定义 <cfenv> 中的其他舍入模式常量，这些常量都应以 FE_ 开头，后跟至少一个大写字母。每个宏仅在其被支持时定义。

常量	解释
FE_DOWNWARD	向负无穷舍入
FE_TONEAREST	向最接近的可表示值舍入
FE_TOWARDZERO	向零舍入
FE_UPWARD	向正无穷舍入

实现可以支持额外的舍入模式。

当前舍入模式影响以下内容

• 浮点 算术运算符 在常量表达式之外的结果

double x = 1;
x / 10; // 0.09999999999999999167332731531132594682276248931884765625
     // or 0.1000000000000000055511151231257827021181583404541015625

• 标准库 数学函数 的结果

std::sqrt(2); // 1.41421356237309492343001693370752036571502685546875
           // or 1.4142135623730951454746218587388284504413604736328125

• 浮点到浮点的隐式转换和强制转换

double d = 1 + std::numeric_limits<double>::epsilon();
float f = d; // 1.00000000000000000000000
          // or 1.00000011920928955078125

• 字符串转换，例如 std::strtod 或 std::printf

std::stof("0.1"); // 0.0999999940395355224609375
               // or 0.100000001490116119384765625

• 库舍入函数 std::nearbyint, std::rint, std::lrint

std::lrint(2.1); // 2 or 3

当前舍入模式不影响以下内容

• 浮点到整数的隐式转换和强制转换（始终向零舍入），
• 在编译时执行的表达式中浮点算术运算符的结果（始终向最接近值舍入），
• 库函数 std::round, std::lround, std::llround, std::ceil, std::floor, std::trunc。

与任何 浮点环境 功能一样，只有在设置了 #pragma STDC FENV_ACCESS ON 时，才能保证舍入。

不支持 pragma 的编译器可能会提供自己的方式来支持当前舍入模式。例如，Clang 和 GCC 具有 -frounding-math 选项，旨在禁用会更改舍入敏感代码含义的优化。

示例

运行此代码

#include <cfenv>
#include <cmath>
#include <iomanip>
#include <iostream>
#include <string>
// #pragma STDC FENV_ACCESS ON
 
int main()
{
    std::fesetround(FE_DOWNWARD);
    std::cout << "rounding down: \n" << std::setprecision(50)
              << "         pi = " << std::acos(-1.f) << '\n'
              << "stof(\"1.1\") = " << std::stof("1.1") << '\n'
              << "  rint(2.1) = " << std::rint(2.1) << "\n\n";
    std::fesetround(FE_UPWARD);
    std::cout << "rounding up: \n"
              << "         pi = " << std::acos(-1.f) << '\n'
              << "stof(\"1.1\") = " << std::stof("1.1") << '\n'
              << "  rint(2.1) = " << std::rint(2.1) << '\n';
}

输出

rounding down:
         pi = 3.141592502593994140625
stof("1.1") = 1.099999904632568359375
  rint(2.1) = 2
 
rounding up:
         pi = 3.1415927410125732421875
stof("1.1") = 1.10000002384185791015625
  rint(2.1) = 3

参见

float_round_style	指示浮点舍入模式 (枚举)
fegetroundfesetround (C++11)(C++11)	获取或设置舍入方向 (函数)
C 文档 关于 浮点舍入宏