FE_DOWNWARD, FE_TONEAREST, FE_TOWARDZERO, FE_UPWARD

 

C

编译器支持

语言

头文件

类型支持

程序实用工具

可变参数函数支持

错误处理

动态内存管理

字符串库

算法

数值

日期和时间实用工具

输入/输出支持

本地化支持

并发支持 (C11)

技术规范

符号索引

 

数值

常用数学函数

浮点环境 (C99)

伪随机数生成

复数算术 (C99)

类型泛型数学 (C99)

位操作 (C23)

Checked 整数算术 (C23)

 

浮点环境

函数

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++ 文档 关于 浮点舍入宏