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
   // 或 0.1000000000000000055511151231257827021181583404541015625

• 标准库数学函数的返回值

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

• 浮点到浮点的隐式转换及转换类型

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

• 字符串转换，如 strtod 或 printf

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

• 库舍入函数 nearbyint、rint、lrint

lrint(2.1); // 2 或 3

当前舍入模式不影响：

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

同任何浮点环境功能一样，仅当设置了 #pragma STDC FENV_ACCESS ON 才保证舍入。

不支持此语用的编译器可能提供它们自己的方式来支持当前舍入模式。例如 Clang 和 GCC 的选项 -frounding-math 就用于禁用可能改变对舍入敏感的代码的优化。

示例

运行此代码

#include <stdio.h>
#include <stdlib.h>
#include <fenv.h>
#include <math.h>
int main()
{
#pragma STDC FENV_ACCESS ON
    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

引用

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

• 7.6/8 Floating-point environment <fenv.h> （第 151 页）

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

• 7.6/8 Floating-point environment <fenv.h> （第 207 页）

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

• 7.6/7 Floating-point environment <fenv.h> （第 188 页）

参阅

fegetroundfesetround (C99)(C99)

获得或设置数字的舍入方向 (函数)