对于除文字零之外的所有比较，我可以获得 -Wfloat-equal 的行为吗？

Question

我想在我的构建选项中启用 -Wfloat-equal （这是一个 GCC 标志，当通过 == 或 != 运算符比较两个浮点指针数字时会发出警告）。但是，在我使用的库的几个头文件以及我自己的代码的很大一部分中，我经常希望使用 if (x) 或 < code>if (x != 0) 或其变体。

因为在这些情况下，我绝对确定该值恰好为零 - 检查的值是显式零初始化、calloc 等的结果 - 我看不出使用此比较的缺点，而是与对我的 near(x, 0) 函数的调用要昂贵得多且可读性较差。

对于所有其他类型的浮点相等比较，是否有某种方法可以获得 -Wfloat-equal 的效果，但允许这些不带标记地通过？库头文件中有足够多的实例，它们可能会严重污染我的警告输出。

Answer 1

从你提出的问题来看，这个警告似乎是完全恰当的。如果您要与精确的零进行比较来测试数据是否仍然具有来自 calloc 的初始零值（从纯 C 的角度来看，这实际上是不正确的，但适用于任何符合 IEEE 754 的实现），您可能会因四舍五入为零的非零值而出现误报。换句话说，听起来您的代码不正确。

Answer 2

这非常可怕，但这避免了警告：

#include <functional>

template <class T>
inline bool is_zero(T v)
{
    return std::equal_to<T>()(v, 0);
}

GCC 不会报告系统标头的警告，这会导致相等测试发生在系统标头内。

Answer 3

检查值是否等于零（正数或负数）的一种可能方法是使用 std::fpclassify 函数（该函数可用于 C++ 以及 C）。

例如：

#include <iostream>
#include <cmath>
#include <cstdlib>

bool is_zero (float x)
{
    return std::fpclassify (x) == FP_ZERO;
}

int main (int, char **)
{
    float a {-0.f};
    float b {+1.f};

    std::cout << is_zero (a) << std::endl;
    std::cout << is_zero (b) << std::endl;

    return EXIT_SUCCESS;
}

构建：

g++ main.cpp -o main -std=c++17 -Wall -Wextra -Wfloat-equal -Wfloat-conversion -Wdouble-promotion

运行：

1
0