关于std::feclearexcept使用惯例的技术咨询

两个核心使用场景的规范 #

• 操作前主动清理是标准默认实践
  浮点异常状态是线程级的全局持久化状态，只要未主动清除就会一直保留。在执行你需要监控的浮点操作前调用std::feclearexcept清理指定的异常位，可以保证后续std::fetestexcept查到的异常完全由当前这段操作触发，不会被之前遗留的未处理异常标志干扰，这是目前业界通用的安全写法。
• 异常处理完成后也建议做对应清理
  你提到的「所有浮点操作前都清状态、后都查异常」的理想场景在实际项目中几乎不存在，大量通用业务逻辑不会做浮点异常检查。如果处理完异常后不清理标志，后续恰好有做异常检查的逻辑就会出现误报；即使没有检查逻辑，残留的异常标志也不会自动消失，遇到不规范的状态读取逻辑就会引发不可预期的问题。因此处理完已捕获的浮点异常后，同步调用std::feclearexcept清除对应标志，是更健壮的工程实践。

常见使用示例 #

#include <fenv.h>
#include <cmath>

void sample_calc(double input) {
    // 1. 提前清理本次需要监控的异常位：除零、溢出、无效操作
    std::feclearexcept(FE_DIVBYZERO | FE_OVERFLOW | FE_INVALID);

    // 2. 执行可能触发浮点异常的计算
    double result = high_risk_computation(input);

    // 3. 检查并处理异常
    if (std::fetestexcept(FE_DIVBYZERO)) {
        // 自定义除零错误处理逻辑
        process_div0_error();
        // 处理完成后清理对应异常位
        std::feclearexcept(FE_DIVBYZERO);
    } else if (std::fetestexcept(FE_OVERFLOW)) {
        // 自定义溢出错误处理逻辑
        process_overflow_error();
        std::feclearexcept(FE_OVERFLOW);
    }

    // 可选：处理完成后统一清理所有本次监控的异常位，避免漏清
    std::feclearexcept(FE_DIVBYZERO | FE_OVERFLOW | FE_INVALID);
}

补充注意事项 #

不要每次无差别清理所有异常位，只需要清理你本次监控、且已经完成处理的对应标志位即可，避免误清除其他逻辑设置的、还未被处理的异常状态。

内容的提问来源于stack exchange，提问作者Martin