C99标准通过fenv.h头文件提供访问和控制浮点环境。
浮点环境(floating-point environment)由一组状态标志(status flag)和控制模式(control mode)组成。在浮点计算中发生异常情况时(如,被零除),可以“抛出一个异常”。这意味着该异常情况设置了一个浮点环境标志。控制模式值可以进行一些控制,例如控制舍入的方向。fenv.h头文件定义了一组宏表示多种异常情况和控制模式,并提供了与环境交互的函数原型。头文件还提供了一个编译指令来启用或禁用访问浮点环境的功能。
下面的指令开启访问浮点环境:
#pragma STDC FENV_ACCESS on
下面的指令关闭访问浮点环境:
#pragma STDC FENV_ACCESS off
应该把该编译指示放在所有外部声明之前或者复合块的开始处。在遇到下一个编译指示之前、或到达文件末尾(外部指令)、或到达复合语句的末尾(块指令),当前编译指示一直有效。
fenv.h类型 | ||
类型 | 表示 | |
fenv_t | 整个浮点环境 | |
fexcept_t | 浮点状态标志集合 | |
fenv.h中的标准异常宏 | ||
FE_DIVBYZERO |
抛出被零除异常 | |
FE_INEXACT | 抛出不精确值异常 | |
FE_INVALID |
抛出无效值异常 | |
FE_OVERFLOW |
抛出上溢异常 | |
FE_UNDERFLOW |
抛出下溢异常 | |
FE_ALL_EXCEPT |
实现支持的所有浮点异常的按位或 | |
FE_DOWNWARD | 向下舍入 | |
FE_TONEAREST | 向最近的舍入 | |
FE_TOWARDZERO | 趋0舍入 | |
FE_UPWARD | 向上舍入 | |
FE_DFL_ENV | 表示默认环境,类型是const fenv_t * | |
fenv.h中的标准函数原型 | ||
void feclearexcept(int excepts) |
清理excepts表示的异常 | |
void fegetexceptflag(fexcept_t *flagp, int excepts) | 把excepts指明的浮点状态标志储存在flagp指向的对象中 | |
void feraiseexcept(int excepts) |
抛出excepts指定的异常 | |
void fesetexceptflag(const fexcept_t *flagp, intexcepts) | 把excepts指明的浮点状态标志设置为flagp的值;在此之前,fegetexceptflag()调用应该设置flagp的值 | |
int fetestexcept(int excepts) | 测试excepts指定的状态标志;该函数返回指定状态的按位或 | |
int fegetround(void) | 返回当前的舍入方向,例如:返回FE_UPWARD | |
int fesetround(int round) | 把舍入方向设置为round的值;当且仅当设置成功时,函数返回0 | |
void fegetenv(fenv_t *envp) | 把当前环境储存至envp指向的位置中 | |
int feholdexcept(fenv_t *envp) | 把当前浮点环境储存至envp指向的位置中,清除浮点状态标志,然后如果可能的话就设置非停模式(nonstop mode),在这种模式中即使发生异常也继续执行。当且仅当执行成功时,函数返回0 | |
void fesetenv(const fenv_t *envp) | 建立envp表示的浮点环境;envp应指向一个之前通过调用fegetenv()、feholdexcept()或浮点环境宏设置的数据对象 | |
void feupdateenv(const fenv_t *envp) | 函数在自动存储区中储存当前抛出的异常,建立envp指向的对象表示的浮点环境,然后抛出已储存的浮点异常;envp应指向一个之前通过调用fegetenv()、feholdexcept()或浮点环境宏设置的数据对象 |