¿Cómo se usan las tolerancias de coma flotante en el marco de captura?

Question

Estoy usando el marco de prueba Catch.

En el introductory blog post el autor menciona la siguiente característica:

• tolerancias de punto flotante apoyados en un formato fácil de usar manera

no pude encontrar ninguna documentación sobre cómo hacer esto. ¿Cómo se hace esto en Catch?

Answer 1

Es simple. Hay una clase llamada Approx que le permite hacer esta prueba de una manera muy fácil de leer:

#include <limits> 
TEST_CASE("demo/approx", "Approx demo") { 
    double a = 1.0; 
    double b = a + std::numeric_limits<double>::epsilon(); 
    REQUIRE_FALSE(b == a); 
    REQUIRE(b == Approx(a)); 
} 

La tolerancia se puede cambiar mediante el uso de las funciones miembro epsilon() y scale() del objeto Approx, así: Approx(a).epsilon(e).

Answer 2

Sé que esta es una vieja pregunta, pero me encontré con el mismo problema y encontré una solución simple. En el archivo de cabecera Catch.hpp donde se define la clase Aprox (línea 2045 en el momento de la escritura), sólo tiene que añadir el siguiente constructor:

class Approx { 
public: 
    explicit Approx(double value) 
    : m_epsilon(std::numeric_limits<float>::epsilon()*100), 
     m_scale(1.0), 
     m_value(value) 
    {} 

    explicit Approx(double value, double epsilon) // <- New constructor 
    : m_epsilon(epsilon), 
     m_scale(1.0), 
     m_value(value) 
    {} 

Ahora usted puede hacer esto:

TEST_CASE("demo/approx", "Approx demo") { 
    double myTol = 0.1; 
    double a = 1.0; 
    double b = a + myTol; 
    REQUIRE_FALSE(a == b); 
    REQUIRE(a == Approx(b, myTol)); 
} 

Answer 3

El la tolerancia ha sido personalizable since Apr 2011. Approx tiene dos funciones de miembro para esto: epsilon() y scale(). Por ejemplo:

REQUIRE(a == Approx(b).epsilon(my_eps)); 

La tolerancia es ε × (escala + max (| un |, | b |)), donde los valores predeterminados escala a 1, por lo que este pasará:

REQUIRE((2+2) == Approx(5).epsilon(0.17));