FE_DOWNWARD、FE_TONEAREST、FE_TOWARDZERO、FE_UPWARD

 

C

编译器支持

语言

头文件

类型支持

程序实用工具

可变参数函数支持

错误处理

动态内存管理

字符串库

算法

数值

日期和时间实用工具

输入/输出支持

本地化支持

并发支持 (C11)

技术规范

符号索引

 

数值

常用数学函数

浮点环境 (C99)

伪随机数生成

复数运算 (C99)

类型泛型数学 (C99)

 

浮点环境

函数

feclearexcept (C99)

fetestexcept (C99)

feraiseexcept (C99)

fegetexceptflagfesetexceptflag (C99)(C99)

fegetroundfesetround (C99)(C99)

fegetenvfesetenv (C99)

feholdexcept (C99)

feupdateenv (C99)

宏常量

FE_ALL_EXCEPTFE_DIVBYZEROFE_INEXACTFE_INVALIDFE_OVERFLOWFE_UNDERFLOW (C99)

FE_DOWNWARDFE_TONEARESTFE_TOWARDZEROFE_UPWARD (C99)

FE_DFL_ENV (C99)

 

定义在头文件 <fenv.h> 中
#define FE_DOWNWARD     /*实现定义*/		(自 C99)
#define FE_TONEAREST    /*实现定义*/		(自 C99)
#define FE_TOWARDZERO   /*实现定义*/		(自 C99)
#define FE_UPWARD       /*实现定义*/		(自 C99)

这些宏常量中的每一个都扩展为一个非负整数常量表达式，它可以与 fesetround 和 fegetround 一起使用，以指示其中一种支持的浮点舍入模式。实现可以在 <fenv.h> 中定义其他舍入模式常量，这些常量应该都以 FE_ 开头，后面至少跟着一个大写字母。每个宏只有在它被支持时才会被定义。

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

实现可能支持其他舍入模式。

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

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

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

• 标准库 数学函数 的结果

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

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

double d = 1 + DBL_EPSILON;
float f = d; // 1.00000000000000000000000 or
             // 1.00000011920928955078125

• 字符串转换，如 strtod 或 printf

strtof("0.1", NULL); // 0.0999999940395355224609375 or
                     // 0.100000001490116119384765625

• 库舍入函数 nearbyint、rint、lrint

lrint(2.1); // 2 or 3

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

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

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

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

示例

运行此代码

#include <fenv.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
 
// #pragma STDC FENV_ACCESS ON
 
int main()
{
    fesetround(FE_DOWNWARD);
    puts("rounding down: ");
    printf("           pi = %.22f\n", acosf(-1));
    printf("strtof(\"1.1\") = %.22f\n", strtof("1.1", NULL));
    printf("    rint(2.1) = %.22f\n\n", rintf(2.1));
    fesetround(FE_UPWARD);
    puts("rounding up: ");
    printf("           pi = %.22f\n", acosf(-1));
    printf("strtof(\"1.1\") = %.22f\n", strtof("1.1", NULL));
    printf("    rint(2.1) = %.22f\n", rintf(2.1));
}

输出

rounding down:
           pi = 3.1415925025939941406250
strtof("1.1") = 1.0999999046325683593750
    rint(2.1) = 2.0000000000000000000000
 
rounding up:
           pi = 3.1415927410125732421875
strtof("1.1") = 1.1000000238418579101563
    rint(2.1) = 3.0000000000000000000000

参考文献

• C23 标准（ISO/IEC 9899:2024）

• 7.6/8 浮点环境 <fenv.h> (p: TBD)

• C17 标准（ISO/IEC 9899:2018）

• 7.6/8 浮点环境 <fenv.h> (p: 151)

• C11 标准（ISO/IEC 9899:2011）

• 7.6/8 浮点环境 <fenv.h> (p: 207)

• C99 标准（ISO/IEC 9899:1999）

• 7.6/7 浮点环境 <fenv.h> (p: 188)

另请参阅

fegetroundfesetround (C99)(C99)	获取或设置舍入方向 (函数)
C++ 文档 用于 浮点舍入宏