c++ - std::fmod(4.2, 0.12) 等于 epsilon * 1.5

Question

auto a{ 4.2 };
auto b{ 0.12 };
auto result = std::fmod(a, b);
if(result <= std::numeric_limits<double>::epsilon())
  result = 0; // <-- This line isn't triggered

在这个例子中，4.2 实际上等于 4.2000000000000002由于double不精确。

请注意 4.2/0.12 = 35。

我希望输出等于 std::numeric_limits<double>::epsilon() .相反，结果等于 1.5 * std::numeric_limits<double>::epsilon() .

这个 1.5 倍数从何而来？

Answer 1

std::fmod 的结果可能被期望精确到 ULP 左右，但机器 epsilon 是 1 的 ULP，而不是任何给定操作的结果。