C 标准库 - <fenv.h>

概述

<fenv.h> 头文件提供了浮点环境控制功能，包括浮点异常处理、舍入模式控制和浮点环境状态查询。这是 C99 标准引入的头文件，对于需要精确控制浮点运算的应用非常重要。

浮点环境类型

fenv_t

浮点环境类型，用于保存和恢复浮点环境。

#include <stdio.h>
#include <fenv.h>

int main() {
    fenv_t env;
    
    if (fegetenv(&env) == 0) {
        printf("成功获取浮点环境\n");
    }
    
    return 0;
}

fexcept_t

浮点异常标志类型。

#include <stdio.h>
#include <fenv.h>

int main() {
    fexcept_t excepts;
    
    if (fegetexceptflag(&excepts, FE_ALL_EXCEPT) == 0) {
        printf("成功获取浮点异常标志\n");
    }
    
    return 0;
}

浮点异常宏

FE_DIVBYZERO

除以零异常。

#include <stdio.h>
#include <fenv.h>

int main() {
    printf("FE_DIVBYZERO = %d\n", FE_DIVBYZERO);
    
    return 0;
}

FE_INEXACT

不精确结果异常。

#include <stdio.h>
#include <fenv.h>

int main() {
    printf("FE_INEXACT = %d\n", FE_INEXACT);
    
    return 0;
}

FE_INVALID

无效操作异常。

#include <stdio.h>
#include <fenv.h>

int main() {
    printf("FE_INVALID = %d\n", FE_INVALID);
    
    return 0;
}

FE_OVERFLOW

上溢异常。

#include <stdio.h>
#include <fenv.h>

int main() {
    printf("FE_OVERFLOW = %d\n", FE_OVERFLOW);
    
    return 0;
}

FE_UNDERFLOW

下溢异常。

#include <stdio.h>
#include <fenv.h>

int main() {
    printf("FE_UNDERFLOW = %d\n", FE_UNDERFLOW);
    
    return 0;
}

FE_ALL_EXCEPT

所有浮点异常的按位或。

#include <stdio.h>
#include <fenv.h>

int main() {
    printf("FE_ALL_EXCEPT = %d\n", FE_ALL_EXCEPT);
    
    return 0;
}

舍入方向宏

FE_DOWNWARD

向下舍入。

#include <stdio.h>
#include <fenv.h>

int main() {
    printf("FE_DOWNWARD = %d\n", FE_DOWNWARD);
    
    return 0;
}

FE_TONEAREST

向最近舍入。

#include <stdio.h>
#include <fenv.h>

int main() {
    printf("FE_TONEAREST = %d\n", FE_TONEAREST);
    
    return 0;
}

FE_TOWARDZERO

向零舍入。

#include <stdio.h>
#include <fenv.h>

int main() {
    printf("FE_TOWARDZERO = %d\n", FE_TOWARDZERO);
    
    return 0;
}

FE_UPWARD

向上舍入。

#include <stdio.h>
#include <fenv.h>

int main() {
    printf("FE_UPWARD = %d\n", FE_UPWARD);
    
    return 0;
}

浮点环境函数

feclearexcept()

int feclearexcept(int excepts);

清除指定的浮点异常。

#include <stdio.h>
#include <fenv.h>

int main() {
    feclearexcept(FE_ALL_EXCEPT);
    
    printf("已清除所有浮点异常\n");
    
    return 0;
}

fegetexceptflag()

int fegetexceptflag(fexcept_t *flagp, int excepts);

获取指定的浮点异常标志。

#include <stdio.h>
#include <fenv.h>

int main() {
    fexcept_t excepts;
    
    if (fegetexceptflag(&excepts, FE_ALL_EXCEPT) == 0) {
        printf("成功获取浮点异常标志\n");
    }
    
    return 0;
}

feraiseexcept()

int feraiseexcept(int excepts);

引发指定的浮点异常。

#include <stdio.h>
#include <fenv.h>

int main() {
    feclearexcept(FE_ALL_EXCEPT);
    feraiseexcept(FE_DIVBYZERO);
    
    if (fetestexcept(FE_DIVBYZERO)) {
        printf("检测到除以零异常\n");
    }
    
    return 0;
}

fesetexceptflag()

int fesetexceptflag(const fexcept_t *flagp, int excepts);

设置指定的浮点异常标志。

#include <stdio.h>
#include <fenv.h>

int main() {
    fexcept_t excepts = FE_DIVBYZERO;
    
    if (fesetexceptflag(&excepts, FE_DIVBYZERO) == 0) {
        printf("成功设置浮点异常标志\n");
    }
    
    return 0;
}

fetestexcept()

int fetestexcept(int excepts);

测试指定的浮点异常是否被设置。

#include <stdio.h>
#include <fenv.h>

int main() {
    feclearexcept(FE_ALL_EXCEPT);
    feraiseexcept(FE_DIVBYZERO);
    
    if (fetestexcept(FE_DIVBYZERO)) {
        printf("检测到除以零异常\n");
    }
    
    if (fetestexcept(FE_OVERFLOW)) {
        printf("检测到上溢异常\n");
    } else {
        printf("未检测到上溢异常\n");
    }
    
    return 0;
}

舍入模式函数

fegetround()

int fegetround(void);

获取当前的舍入方向。

#include <stdio.h>
#include <fenv.h>

int main() {
    int rounding_mode = fegetround();
    
    printf("当前舍入模式: ");
    
    switch (rounding_mode) {
        case FE_TONEAREST:
            printf("向最近舍入\n");
            break;
        case FE_DOWNWARD:
            printf("向下舍入\n");
            break;
        case FE_UPWARD:
            printf("向上舍入\n");
            break;
        case FE_TOWARDZERO:
            printf("向零舍入\n");
            break;
        default:
            printf("未知\n");
    }
    
    return 0;
}

fesetround()

int fesetround(int round);

设置当前的舍入方向。

#include <stdio.h>
#include <fenv.h>

int main() {
    if (fesetround(FE_DOWNWARD) == 0) {
        printf("成功设置舍入模式为向下舍入\n");
    }
    
    double value = 1.5;
    printf("1.5 向下舍入: %.1f\n", value);
    
    return 0;
}

浮点环境函数

fegetenv()

int fegetenv(fenv_t *envp);

获取当前的浮点环境。

#include <stdio.h>
#include <fenv.h>

int main() {
    fenv_t env;
    
    if (fegetenv(&env) == 0) {
        printf("成功获取浮点环境\n");
    }
    
    return 0;
}

fesetenv()

int fesetenv(const fenv_t *envp);

设置当前的浮点环境。

#include <stdio.h>
#include <fenv.h>

int main() {
    fenv_t env;
    fegetenv(&env);
    
    if (fesetenv(&env) == 0) {
        printf("成功设置浮点环境\n");
    }
    
    return 0;
}

feholdexcept()

int feholdexcept(fenv_t *envp);

保存当前浮点环境并清除异常。

#include <stdio.h>
#include <fenv.h>

int main() {
    fenv_t env;
    
    if (feholdexcept(&env) == 0) {
        printf("成功保存浮点环境并清除异常\n");
    }
    
    return 0;
}

feupdateenv()

int feupdateenv(const fenv_t *envp);

更新浮点环境。

#include <stdio.h>
#include <fenv.h>

int main() {
    fenv_t env;
    fegetenv(&env);
    
    if (feupdateenv(&env) == 0) {
        printf("成功更新浮点环境\n");
    }
    
    return 0;
}

实际应用示例

1. 异常检测

#include <stdio.h>
#include <fenv.h>

void check_exceptions() {
    int excepts = fetestexcept(FE_ALL_EXCEPT);
    
    if (excepts & FE_DIVBYZERO) {
        printf("检测到除以零异常\n");
    }
    if (excepts & FE_INEXACT) {
        printf("检测到不精确结果异常\n");
    }
    if (excepts & FE_INVALID) {
        printf("检测到无效操作异常\n");
    }
    if (excepts & FE_OVERFLOW) {
        printf("检测到上溢异常\n");
    }
    if (excepts & FE_UNDERFLOW) {
        printf("检测到下溢异常\n");
    }
}

int main() {
    feclearexcept(FE_ALL_EXCEPT);
    
    double result = 1.0 / 0.0;
    check_exceptions();
    
    return 0;
}

2. 舍入模式比较

#include <stdio.h>
#include <fenv.h>

void test_rounding_modes() {
    double value = 1.5;
    
    fesetround(FE_TONEAREST);
    printf("向最近舍入: %.1f\n", value);
    
    fesetround(FE_DOWNWARD);
    printf("向下舍入: %.1f\n", value);
    
    fesetround(FE_UPWARD);
    printf("向上舍入: %.1f\n", value);
    
    fesetround(FE_TOWARDZERO);
    printf("向零舍入: %.1f\n", value);
}

int main() {
    test_rounding_modes();
    
    return 0;
}

3. 环境保存和恢复

#include <stdio.h>
#include <fenv.h>

void save_restore_environment() {
    fenv_t env;
    
    fegetenv(&env);
    printf("已保存浮点环境\n");
    
    fesetround(FE_DOWNWARD);
    printf("舍入模式已修改\n");
    
    fesetenv(&env);
    printf("已恢复浮点环境\n");
}

int main() {
    save_restore_environment();
    
    return 0;
}

4. 精确计算

#include <stdio.h>
#include <fenv.h>

void precise_calculation() {
    feclearexcept(FE_ALL_EXCEPT);
    fesetround(FE_TONEAREST);
    
    double result = 0.1 + 0.2;
    
    if (fetestexcept(FE_INEXACT)) {
        printf("计算结果不精确\n");
    }
    
    printf("0.1 + 0.2 = %.17f\n", result);
}

int main() {
    precise_calculation();
    
    return 0;
}

5. 异常处理

#include <stdio.h>
#include <fenv.h>

void safe_division(double a, double b) {
    feclearexcept(FE_ALL_EXCEPT);
    
    double result = a / b;
    
    if (fetestexcept(FE_DIVBYZERO)) {
        printf("错误: 除以零\n");
    } else if (fetestexcept(FE_INVALID)) {
        printf("错误: 无效操作\n");
    } else {
        printf("结果: %.2f\n", result);
    }
}

int main() {
    safe_division(10.0, 2.0);
    safe_division(10.0, 0.0);
    
    return 0;
}

6. 金融计算

#include <stdio.h>
#include <fenv.h>

void financial_calculation() {
    fenv_t env;
    fegetenv(&env);
    
    fesetround(FE_TONEAREST);
    double amount1 = 1.005;
    printf("向最近舍入: %.2f\n", amount1);
    
    fesetround(FE_DOWNWARD);
    double amount2 = 1.005;
    printf("向下舍入: %.2f\n", amount2);
    
    fesetround(FE_UPWARD);
    double amount3 = 1.005;
    printf("向上舍入: %.2f\n", amount3);
    
    fesetenv(&env);
}

int main() {
    financial_calculation();
    
    return 0;
}

7. 科学计算

#include <stdio.h>
#include <fenv.h>
#include <math.h>

void scientific_calculation() {
    feclearexcept(FE_ALL_EXCEPT);
    fesetround(FE_TONEAREST);
    
    double x = 1e308;
    double result = x * x;
    
    if (fetestexcept(FE_OVERFLOW)) {
        printf("警告: 上溢发生\n");
    }
    
    printf("1e308 * 1e308 = %e\n", result);
}

int main() {
    scientific_calculation();
    
    return 0;
}

8. 图形处理

#include <stdio.h>
#include <fenv.h>

void graphics_calculation() {
    fenv_t env;
    fegetenv(&env);
    
    fesetround(FE_TONEAREST);
    double x = 0.5;
    double y = 0.5;
    double z = x + y;
    printf("向最近舍入: %.1f\n", z);
    
    fesetround(FE_TOWARDZERO);
    z = x + y;
    printf("向零舍入: %.1f\n", z);
    
    fesetenv(&env);
}

int main() {
    graphics_calculation();
    
    return 0;
}

9. 统计计算

#include <stdio.h>
#include <fenv.h>

void statistical_calculation() {
    feclearexcept(FE_ALL_EXCEPT);
    fesetround(FE_TONEAREST);
    
    double sum = 0.0;
    for (int i = 0; i < 1000000; i++) {
        sum += 0.1;
    }
    
    if (fetestexcept(FE_INEXACT)) {
        printf("警告: 累加过程中出现不精确结果\n");
    }
    
    printf("累加结果: %.10f\n", sum);
}

int main() {
    statistical_calculation();
    
    return 0;
}

10. 调试辅助

#include <stdio.h>
#include <fenv.h>

void debug_calculation(const char* operation, double a, double b) {
    feclearexcept(FE_ALL_EXCEPT);
    
    double result;
    if (strcmp(operation, "add") == 0) {
        result = a + b;
    } else if (strcmp(operation, "sub") == 0) {
        result = a - b;
    } else if (strcmp(operation, "mul") == 0) {
        result = a * b;
    } else if (strcmp(operation, "div") == 0) {
        result = a / b;
    }
    
    printf("操作: %s %.2f %s %.2f = %.2f\n", 
           operation, a, 
           strcmp(operation, "add") == 0 ? "+" :
           strcmp(operation, "sub") == 0 ? "-" :
           strcmp(operation, "mul") == 0 ? "*" : "/",
           b, result);
    
    check_exceptions();
}

void check_exceptions() {
    int excepts = fetestexcept(FE_ALL_EXCEPT);
    
    if (excepts) {
        printf("  异常: ");
        if (excepts & FE_DIVBYZERO) printf("除以零 ");
        if (excepts & FE_INEXACT) printf("不精确 ");
        if (excepts & FE_INVALID) printf("无效 ");
        if (excepts & FE_OVERFLOW) printf("上溢 ");
        if (excepts & FE_UNDERFLOW) printf("下溢 ");
        printf("\n");
    }
}

int main() {
    debug_calculation("add", 1.5, 2.5);
    debug_calculation("div", 10.0, 0.0);
    debug_calculation("mul", 1e308, 1e308);
    
    return 0;
}

注意事项

1. 环境保存

#include <stdio.h>
#include <fenv.h>

int main() {
    fenv_t env;
    
    if (fegetenv(&env) == 0) {
        printf("成功保存浮点环境\n");
    }
    
    return 0;
}

2. 异常清除

#include <stdio.h>
#include <fenv.h>

int main() {
    feclearexcept(FE_ALL_EXCEPT);
    printf("已清除所有浮点异常\n");
    
    return 0;
}

3. 舍入模式设置

#include <stdio.h>
#include <fenv.h>

int main() {
    if (fesetround(FE_TONEAREST) == 0) {
        printf("成功设置舍入模式\n");
    }
    
    return 0;
}

4. 平台兼容性

#include <stdio.h>
#include <fenv.h>

int main() {
    printf("FE_DIVBYZERO = %d\n", FE_DIVBYZERO);
    printf("FE_INEXACT = %d\n", FE_INEXACT);
    printf("FE_INVALID = %d\n", FE_INVALID);
    printf("FE_OVERFLOW = %d\n", FE_OVERFLOW);
    printf("FE_UNDERFLOW = %d\n", FE_UNDERFLOW);
    
    return 0;
}

总结

<fenv.h> 提供的浮点环境控制功能对于需要精确控制浮点运算的应用非常重要：

精确控制 - 可以精确控制浮点运算的行为
异常处理 - 提供了浮点异常检测和处理机制
舍入控制 - 支持多种舍入模式
环境管理 - 可以保存和恢复浮点环境

记住：

在进行关键计算前清除异常
使用合适的舍入模式
保存和恢复浮点环境以避免副作用
检查异常以发现潜在问题
注意平台兼容性

C 标准库 - <fenv.h> ​

概述 ​

浮点环境类型 ​

fenv_t ​

fexcept_t ​

浮点异常宏 ​

FE_DIVBYZERO ​

FE_INEXACT ​

FE_INVALID ​

FE_OVERFLOW ​

FE_UNDERFLOW ​

FE_ALL_EXCEPT ​

舍入方向宏 ​

FE_DOWNWARD ​

FE_TONEAREST ​

FE_TOWARDZERO ​

FE_UPWARD ​

浮点环境函数 ​

feclearexcept() ​

fegetexceptflag() ​

feraiseexcept() ​

fesetexceptflag() ​

fetestexcept() ​

舍入模式函数 ​

fegetround() ​

fesetround() ​

浮点环境函数 ​

fegetenv() ​

fesetenv() ​

feholdexcept() ​

feupdateenv() ​

实际应用示例 ​

1. 异常检测 ​

2. 舍入模式比较 ​

3. 环境保存和恢复 ​

4. 精确计算 ​

5. 异常处理 ​

6. 金融计算 ​

7. 科学计算 ​

8. 图形处理 ​

9. 统计计算 ​

10. 调试辅助 ​

注意事项 ​

1. 环境保存 ​

2. 异常清除 ​

3. 舍入模式设置 ​

4. 平台兼容性 ​

总结 ​

C 标准库 - <fenv.h>

概述

浮点环境类型

fenv_t

fexcept_t

浮点异常宏

FE_DIVBYZERO

FE_INEXACT

FE_INVALID

FE_OVERFLOW

FE_UNDERFLOW

FE_ALL_EXCEPT

舍入方向宏

FE_DOWNWARD

FE_TONEAREST

FE_TOWARDZERO

FE_UPWARD

浮点环境函数

feclearexcept()

fegetexceptflag()

feraiseexcept()

fesetexceptflag()

fetestexcept()

舍入模式函数

fegetround()

fesetround()

浮点环境函数

fegetenv()

fesetenv()

feholdexcept()

feupdateenv()

实际应用示例

1. 异常检测

2. 舍入模式比较

3. 环境保存和恢复

4. 精确计算

5. 异常处理

6. 金融计算

7. 科学计算

8. 图形处理

9. 统计计算

10. 调试辅助

注意事项

1. 环境保存

2. 异常清除

3. 舍入模式设置

4. 平台兼容性

总结