使用-Wfloat-equal编译时，如何安全检查浮点数是否为无穷大？

首先明确：IEEE 754标准中，无穷大的位模式是唯一固定的，用==判断其实是安全的，但-Wfloat-equal是一刀切警告所有浮点数相等比较，所以需要绕开这个警告或换一种判断方式。

下面是几种可行方案：

1. 局部禁用警告 #

针对IsInfinity函数单独关闭-Wfloat-equal，不影响项目其他代码的警告检查：

#include <math.h>

int IsInfinity(double d) {
    #pragma GCC diagnostic push
    #pragma GCC diagnostic ignored "-Wfloat-equal"
    return d != (double)INFINITY && (float)d == INFINITY;
    #pragma GCC diagnostic pop
}

这种方式最简单，保留你原有的逻辑，只是临时屏蔽警告。

2. 手动检查浮点数位模式 #

既然不能调用C库函数，直接根据IEEE 754的位结构判断无穷大，完全避开浮点数比较：

对于double类型（64位）：

• 正无穷：符号位0，指数位（11位）全1（0x7FF），尾数位（52位）全0
• 负无穷：符号位1，指数位全1，尾数位全0

用联合体解析位模式实现判断：

#include <stdint.h>

int IsInfinity(double d) {
    union {
        double f;
        uint64_t bits;
    } u = {.f = d};
    
    // 提取指数位并判断是否全1，同时尾数位全0
    uint64_t exponent = (u.bits >> 52) & 0x7FF;
    uint64_t mantissa = u.bits & 0xFFFFFFFFFFFFFULL;
    return exponent == 0x7FF && mantissa == 0;
}

如果要保留你原有的“d本身不是无穷大，但转float后变成无穷大”的逻辑，可以调整为：

#include <stdint.h>

int IsInfinity(double d) {
    // 先判断d本身不是无穷大
    union {
        double f;
        uint64_t bits;
    } u_d = {.f = d};
    uint64_t exp_d = (u_d.bits >> 52) & 0x7FF;
    uint64_t mant_d = u_d.bits & 0xFFFFFFFFFFFFFULL;
    if (exp_d == 0x7FF && mant_d == 0) {
        return 0;
    }

    // 再判断转float后是否是无穷大
    union {
        float f;
        uint32_t bits;
    } u_f = {.f = (float)d};
    uint32_t exp_f = (u_f.bits >> 23) & 0xFF;
    uint32_t mant_f = u_f.bits & 0x7FFFFF;
    return exp_f == 0xFF && mant_f == 0;
}

这种方式完全不会触发-Wfloat-equal警告，且不需要依赖任何库函数。

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