c++ - 在 Catch2 中检查近似零的规范方法是什么？

Question

与 Catch2 中的近似零进行比较的规范方法是什么？

我发现这种方式的容差为 1e-12，但目前尚不清楚这是最好的方式:

TEST("a approx. equal to b", "[test]"){
    REQUIRE( a - b == (0_a).margin(1e-12) );
}

我不是在问如何比较 float 。我知道这不是一个简单的问题。我问的是如何使用 Catch2 给定事先已知的特定容差。

以下内容不起作用，因为相对(epsilon)错误在零附近表现不佳:

TEST("a approx. equal to b", "[test]"){
    REQUIRE( a - b == (0_a).epsilon(1e-5) );
}

其他可能的(不太好)(替代方案似乎是

TEST("a approx. equal to b", "[test]"){
    REQUIRE( std::abs( a - b ) < 1e-12 );
}

TEST("a approx. equal to b", "[test]"){
    REQUIRE_THAT( a - b, WithinULP(0., ???));
}

TEST("a approx. equal to b", "[test]"){
    REQUIRE_THAT( a, WithinULP(b, ???));
}

Answer 1

(a == Approx(b).margin(1e-12))

From the Catch2 GitHub