为什么有人会像这样写一个包含浮点数的 if 条件？

Question

我正在查看我公司的一位高级开发人员以前编写的一些代码，我很好奇他们编写的看起来有些复杂的 if 语句背后的推理（如果可能，我会直接问他们）。

该代码旨在检查传感器的温度读数是否有效。 我相信负读数在当时是有效的，这解释了使用std::abs()并将其与 0.000001 进行比较而不是仅仅使用temperature > 0 ，但是我不确定他们为什么也选择减去0. 。 我已经包括了一个最小的工作示例，但我的问题的重点是为什么语句包含- 0. （只是将 float 转换为 double？这似乎是 VSCode 认为它所做的）以及如果我的假设需要接受负值，同时还需要以浮点数的形式使（非常接近的）零读数无效听起来是正确的。

#include <optional> 
#include <iostream>

void check_temp(std::optional<float> prev_temp, float cur_temp){

    if ((!prev_temp && std::abs(cur_temp - 0.) < 1e-6) ||
        (prev_temp && std::abs(prev_temp.value() - cur_temp) > 100.0))
    {
        std::cout << "Temperature error detected!\n";
    }
    return;
}

int main(int argc, char const *argv[])
{
    std::optional<float> prev_temp = std::nullopt;
    float cur_temp = 0;

    while(1){
        std::cout << "Enter temp: ";
        std::cin >> cur_temp;
        check_temp(prev_temp, cur_temp);
        prev_temp = cur_temp;
    }

    return 0;
}

非常清楚，我要澄清的具体行（条件）是：

(!prev_temp && std::abs(cur_temp - 0.) < 1e-6)

Answer 1

澄清：

(!prev_temp && std::abs(cur_temp - 0.) < 1e-6)

!prev_temp当然会测试之前的温度是否存在。 因为它没有（在这个子句中），代码继续“好像”以前的温度为零。 使用 0.0 而不是 0.0f 进行减法是对原始编程的疏忽。 出于说明目的，相同的功能和更简单的代码应该是std::abs(cur_temp - 0.0f) 。

除了与1.0e-6和1.0e-6f进行迂腐比较之外，没有理由使用double常数1.0e-6 - 这是不同的值。 IOWs， 1.0e-6f < 1.0e-6可能是真的，所以等效的替换是std::abs(cur_temp) <= 1e-6f - 注意<= 。

再次与double 100.0进行比较是弱编程。 使用double没有任何好处。 如果100.f具有良好的优化编译器，它可能不会发出不同的代码。

恕我直言

  if ((!prev_temp && std::abs(cur_temp - 0.) < 1e-6) ||
    (prev_temp && std::abs(prev_temp.value() - cur_temp) > 100.0))

更好的

  if ((!prev_temp && std::abs(0.0f - cur_temp) < 1e-6f) ||
    (prev_temp && std::abs(prev_temp.value() - cur_temp) > 100.0f))

我看到以这种方式精通编码的唯一原因是试图控制编译器 output。这种编码适用于那个年代的编译器。 为了清晰起见，现在最好编码。