鸟语天空
浮点环境:fenv.h(C99)
post by:追风剑情 2020-6-11 22:51

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()或浮点环境宏设置的数据对象

评论:
发表评论:
昵称

邮件地址 (选填)

个人主页 (选填)

内容