启用-Wfloat-equal时，如何安全比较浮点型预处理器定义？

方案1：基于整数宏的编译/运行时判断（C90/C99兼容） #

<float.h>中定义的整数类型宏（如LDBL_MANT_DIG、LDBL_MAX_EXP、LDBL_MIN_EXP）直接反映浮点类型的底层存储特性，是判断long double与double是否等价的核心依据。通过比较这些整数宏，完全可以避开浮点字面量的比较，自然不会触发警告。

编译时断言（快速验证） #

#include <float.h>

// 若long double与double的关键存储参数一致，触发编译错误（可按需调整逻辑）
#if (LDBL_MANT_DIG == DBL_MANT_DIG) && (LDBL_MAX_EXP == DBL_MAX_EXP) && (LDBL_MIN_EXP == DBL_MIN_EXP)
    #error long double is equivalent to double
#endif

运行时判断 #

#include <stdio.h>
#include <float.h>

int main(void) {
    int long_double_equals_double = 
        (LDBL_MANT_DIG == DBL_MANT_DIG) && 
        (LDBL_MAX_EXP == DBL_MAX_EXP) && 
        (LDBL_MIN_EXP == DBL_MIN_EXP);
    
    printf("long double is %s double\n", long_double_equals_double ? "equivalent to" : "different from");
    return 0;
}

方案2：浮点字面量转整数比较（限精确整数值场景） #

如果必须比较LDBL_MAX这类本身是精确整数值的浮点宏，可以将其强制转换为足够大的整数类型后再比较，避免直接浮点比较：

#include <float.h>

int main(void) {
    int max_values_equal = ((unsigned long long)LDBL_MAX == (unsigned long long)DBL_MAX);
    // 其他逻辑
    return 0;
}

注意：此方法仅适用于浮点宏为精确整数的情况，对LDBL_EPSILON这类带小数的宏不适用。

方案3：编译器扩展临时抑制警告（GCC/Clang专属） #

若确实需要直接比较浮点字面量，可通过编译器属性临时关闭当前代码段的-Wfloat-equal警告，不影响其他代码的检查：

#include <float.h>

#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wfloat-equal"
int compare_epsilon(void) {
    return (LDBL_EPSILON == DBL_EPSILON);
}
#pragma GCC diagnostic pop

关键提示 #

优先使用方案1的整数宏比较：这些宏是C标准强制要求提供的，判断结果比浮点字面量比较更精准，同时完全符合标准语法，不存在兼容性问题。

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