使用 Wfloat-equal 选项将浮点数与 1 或 0 进行比较

Question

我对在代码中执行浮点相等比较的问题有点熟悉。

目前我在 (GCC, Clang) 上编译的代码库启用了以下选项：-Wfloat-equal

在代码库中有以下示例比较：

template <typename FloatType>
void foo(FloatType v) {
  if (v == FloatType(1)) {
   ...
  }
  else if (v == FloatType(0)) {
   ....
  }
}

foo函数调用如下：

double d = 123.98;
float f = 123.98f;

foo(d);
foo(f);

考虑到 1 和 0 的特殊情况，它们每个都有精确的浮点表示 (double, float) 并且代码显然是在完全相等之后，而不是在某个次要的附近区别——

有没有办法重写代码，使其不会引发相关的 Wfloat-equal 诊断，并且还可以移植并支持浮点和双精度类型？

Answer 1

如何使用std::equal_to。就 GCC 而言，它会在处理包括 float-equal 在内的系统头文件时禁用大量检查

template <typename FloatType>
void foo(FloatType v) {
  if (std::equal_to<FloatType>()(v,FloatType(1))) {
   ...
  }
  else if (std::equal_to<FloatType>()(v,FloatType(0))) {
   ....
  }
}