FE_DOWNWARD、FE_TONEAREST、FE_TOWARDZERO、FE_UPWARD

 

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_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 时，才能保证舍入。

不支持此预处理指令的编译器可能会提供自己的方法来支持当前舍入模式。例如，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 文档 for 浮点舍入宏