©
本文档使用 PHP中文网手册 发布
在头文件<fenv.h>中定义 | ||
---|---|---|
#define FE_DOWNWARD /*implementation defined*/ | (自 C99) | |
#define FE_TONEAREST /*implementation defined*/ | (自 C99) | |
#define FE_TOWARDZERO /*implementation defined*/ | (自C99) | |
#define FE_UPWARD /*implementation defined*/ | (自C99) |
这些宏常量中的每一个都扩展为一个非负整数常量表达式,它可以与fesetround和fegetround一起使用来指示支持的浮点舍入模式之一。 该实现可以在<fenv.h>中定义附加的舍入模式常量,它们都应以FE_开头,后跟至少一个大写字母。 每个宏只在被支持时才被定义。
在大多数实现中,这些宏常量扩展为等于FLT_ROUNDS和float_round_style值的值。
常量 | 说明 |
---|---|
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
所有这些宏常量(FE_ALL_EXCEPT除外)都展开为不同幂的2的整型常量表达式,它们唯一标识所有受支持的浮点异常。 每个宏只在被支持时才被定义。
扩展为所有其他FE_ *的按位OR的宏常量FE_ALL_EXCEPT始终定义,如果实现不支持浮点异常,则该常量将为零。
常量 | 说明 |
---|---|
FE_DIVBYZERO | 极点错误发生在较早的浮点运算中 |
FE_INEXACT | 不精确的结果:舍入对于存储较早浮点运算的结果是必要的 |
FE_INVALID | 在早期的浮点操作中发生域错误 |
FE_OVERFLOW | 较早浮点运算的结果太大而无法表示 |
FE_UNDERFLOW | 早期浮点运算的结果是低于正常的,并且精度下降 |
FE_ALL_EXCEPT | 按位或所有受支持的浮点异常 |
该实现可以在<fenv.h>中定义附加的宏常量来标识附加的浮点异常。 所有这些常量都以FE_开头,后跟至少一个大写字母。
#include <stdio.h>#include <math.h>#include <float.h>#include <fenv.h> #pragma STDC FENV_ACCESS ONvoid show_fe_exceptions(void){ printf("exceptions raised:"); if(fetestexcept(FE_DIVBYZERO)) printf(" FE_DIVBYZERO"); if(fetestexcept(FE_INEXACT)) printf(" FE_INEXACT"); if(fetestexcept(FE_INVALID)) printf(" FE_INVALID"); if(fetestexcept(FE_OVERFLOW)) printf(" FE_OVERFLOW"); if(fetestexcept(FE_UNDERFLOW)) printf(" FE_UNDERFLOW"); feclearexcept(FE_ALL_EXCEPT); printf("\n");} int main(void){ printf("MATH_ERREXCEPT is %s\n", math_errhandling & MATH_ERREXCEPT ? "set" : "not set"); printf("0.0/0.0 = %f\n", 0.0/0.0); show_fe_exceptions(); printf("1.0/0.0 = %f\n", 1.0/0.0); show_fe_exceptions(); printf("1.0/10.0 = %f\n", 1.0/10.0); show_fe_exceptions(); printf("sqrt(-1) = %f\n", sqrt(-1)); show_fe_exceptions(); printf("DBL_MAX*2.0 = %f\n", DBL_MAX*2.0); show_fe_exceptions(); printf("nextafter(DBL_MIN/pow(2.0,52),0.0) = %.1f\n", nextafter(DBL_MIN/pow(2.0,52),0.0)); show_fe_exceptions();}
可能的输出:
MATH_ERREXCEPT is set0.0/0.0 = nan exceptions raised: FE_INVALID1.0/0.0 = inf exceptions raised: FE_DIVBYZERO1.0/10.0 = 0.100000exceptions raised: FE_INEXACTsqrt(-1) = -nan exceptions raised: FE_INVALID DBL_MAX*2.0 = inf exceptions raised: FE_INEXACT FE_OVERFLOWnextafter(DBL_MIN/pow(2.0,52),0.0) = 0.0exceptions raised: FE_INEXACT FE_UNDERFLOW
C11标准(ISO / IEC 9899:2011):
7.6 / 8浮点环境<fenv.h>(p:207)
C99标准(ISO / IEC 9899:1999):
7.6 / 7浮点环境<fenv.h>(p:188)
C11标准(ISO / IEC 9899:2011):
7.6 / 6浮点环境<fenv.h>(p:207)
C99标准(ISO / IEC 9899:1999):
7.6 / 5浮点环境<fenv.h>(p:188)