test_lambda.cpp

Boost provides free peer-reviewed portable C++ source libraries. We emphasize libraries that work

// Boost.Units - A C++ library for zero-overhead dimensional analysis and
// unit/quantity manipulation and conversion
//
// Copyright (C) 2003-2008 Matthias Christian Schabel
// Copyright (C) 2008 Steven Watanabe
//
// Distributed under the Boost Software License, Version 1.0. (See
// accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)

// $Id: test_lambda.cpp 27 2008-06-16 14:50:58Z maehne $

////////////////////////////////////////////////////////////////////////
///
/// \file test_lambda.hpp
///
/// \brief Unit test for checking the usage of Boost.Units' quantity,
///        unit, and absolute types in functors created with the
///        Boost.Lambda library.
///
/// \author Torsten Maehne
/// \date   2008-06-16
///
/// This unit test contains a check for each operator action, for
/// which a specialization of Boost.Lambda's return type deduction
/// system is made in lambda.hpp, i.e., for the operators defined for
/// Boost.Units' quantity, unit, and absolute types.
///
////////////////////////////////////////////////////////////////////////

#include <boost/function.hpp>
#include <boost/units/lambda.hpp>
#include <boost/units/absolute.hpp>
#include <boost/units/systems/si/temperature.hpp>
#include "test_header.hpp"


namespace bl = boost::lambda;
namespace bu = boost::units;
namespace si = boost::units::si;


int test_main(int, char *[])
{

    ////////////////////////////////////////////////////////////////////////
    // Test for Boost.Lambda working with overloaded operators defined
    // in <boost/units/quantity.hpp>
    ////////////////////////////////////////////////////////////////////////

    bu::quantity<bu::length> lvar = 0.0 * bu::meter;

    bu::quantity<bu::dimensionless> dlvar = 3.0;

    // quantity<Unit, Y> += quantity<Unit2, YY>
    boost::function<bu::quantity<bu::length> (bu::quantity<bu::length>)>
        f = (bl::var(lvar) += bl::_1);

    lvar = 1.0 * bu::meter;
    BOOST_CHECK((f(2.0 * bu::meter) == 3.0 * bu::meter));
    BOOST_CHECK((f(6.0 * bu::meter) == 9.0 * bu::meter));

    // quantity<BOOST_UNITS_DIMENSIONLESS_UNIT(System), Y> += quantity<BOOST_UNITS_DIMENSIONLESS_UNIT(System), Y>
    dlvar = 4.0;
    BOOST_CHECK(((bl::var(dlvar) += bl::_1)(3.0) == 7.0));

    // quantity<Unit, Y> -= quantity<Unit2, YY>
    lvar = 3.0 * bu::meter;
    BOOST_CHECK((f(-2.0 * bu::meter) == 1.0 * bu::meter));
    BOOST_CHECK((f(6.0 * bu::meter) == 7.0 * bu::meter));

    // quantity<BOOST_UNITS_DIMENSIONLESS_UNIT(System), Y> -= quantity<BOOST_UNITS_DIMENSIONLESS_UNIT(System), Y>
    dlvar = 4.0;
    BOOST_CHECK(((bl::var(dlvar) -= bl::_1)(3.0) == 1.0));

    // quantity<Unit, Y> *= quantity<Unit2, YY>
    dlvar = 2.0;
    BOOST_CHECK(((bl::var(dlvar) *= bl::_1)(3.0) == 6.0));

    // quantity<Unit, Y> /= quantity<Unit2, YY>
    dlvar = 6.0;
    BOOST_CHECK(((bl::var(dlvar) /= bl::_1)(3.0) == 2.0));

    // quantity<Unit, Y> *= Y
    lvar = 3.0 * bu::meter;
    BOOST_CHECK(((bl::var(lvar) *= bl::_1)(2.0) == 6.0 * bu::meter));

    // quantity<Unit, Y> /= Y
    lvar = 6.0 * bu::meter;
    BOOST_CHECK(((bl::var(lvar) /= bl::_1)(3.0) == 2.0 * bu::meter));

    // unit<Dim, System> * Y
    BOOST_CHECK(((bl::_1 * bl::_2)(bu::meter, 2.0) == 2.0 * bu::meter));
    BOOST_CHECK(((bu::meter * bl::_1)(2.0) == 2.0 * bu::meter));

    // unit<Dim, System> / Y
    BOOST_CHECK(((bl::_1 / bl::_2)(bu::meter, 0.5) == 2.0 * bu::meter));
    BOOST_CHECK(((bu::meter / bl::_1)(0.5 * bu::second) == 2.0 * bu::meter_per_second));

    // Y * unit<Dim, System>
    BOOST_CHECK(((bl::_1 * bl::_2)(2.0, bu::meter) == 2.0 * bu::meter));
    BOOST_CHECK(((bl::_1 * bu::meter)(2.0 / bu::second) == 2.0 * bu::meter_per_second));

    // Y / unit<Dim, System>
    BOOST_CHECK(((bl::_1 / bl::_2)(3.5, bu::second) == 3.5 / bu::second));
    BOOST_CHECK(((bl::_1 / bu::second)(3.5 * bu::meter) == 3.5 * bu::meter_per_second));

    // quantity<Unit, X> * X
    BOOST_CHECK(((bl::_1 * bl::_2)(2.0, 3.0 * bu::meter) == 6.0 * bu::meter));

    // X * quantity<Unit, X>
    BOOST_CHECK(((bl::_1 * bl::_2)(4.0 * bu::joule, 2.0) == 8.0 * bu::joule));

    // quantity<Unit, X> / X
    BOOST_CHECK(((bl::_1 / bl::_2)(4.0 * bu::joule, 2.0) == 2.0 * bu::joule));

    // X / quantity<Unit, X>
    BOOST_CHECK(((3.0 / bl::_1)(2.0 * bu::second) == 1.5 / bu::second));

    // unit<Dim1, System1> * quantity<Unit2, Y>
    BOOST_CHECK(((bl::_1 * bl::_2)(bu::meter, 12.0 / bu::second) == 12.0 * bu::meter_per_second));
    BOOST_CHECK(((bu::meter * bl::_1)(12.0 / bu::second) == 12.0 * bu::meter_per_second));

    // unit<Dim1, System1> / quantity<Unit2, Y>
    BOOST_CHECK(((bl::_1 / bl::_2)(bu::meter, 0.5 * bu::second) == 2.0 * bu::meter_per_second));
    BOOST_CHECK(((bu::meter / bl::_1)(0.25 * bu::second) == 4.0 * bu::meter_per_second));

    // quantity<Unit1, Y> * unit<Dim2, System2>
    BOOST_CHECK(((bl::_1 * bl::_2)(2.0 / bu::second, bu::meter) == 2.0 * bu::meter_per_second));
    BOOST_CHECK(((bl::_1 * bu::meter)(12.0 / bu::second) == 12.0 * bu::meter_per_second));

    // quantity<Unit1, Y> / unit<Dim2, System2>
    BOOST_CHECK(((bl::_1 / bl::_2)(3.5 * bu::meter, bu::second) == 3.5 * bu::meter_per_second));
    BOOST_CHECK(((bl::_1 / bu::second)(5.0 * bu::second) == 5.0));

    // +quantity<Unit, Y>
    BOOST_CHECK(((+bl::_1)(5.0 * bu::second) == 5.0 * bu::second));

    // -quantity<Unit, Y>
    BOOST_CHECK(((-bl::_1)(5.0 * bu::second) == -5.0 * bu::second));

    // quantity<Unit1, X> + quantity<Unit2, Y>
    BOOST_CHECK(((bl::_1 + bl::_2)(2.0 * bu::meter, 4.0 * bu::meter) == 6.0 * bu::meter));

    // quantity<Unit1, X> - quantity<Unit2, Y>
    BOOST_CHECK(((bl::_1 - bl::_2)(2.0 * bu::meter, 4.0 * bu::meter) == -2.0 * bu::meter));

    // quantity<Unit1, X> * quantity<Unit2, Y>
    BOOST_CHECK(((bl::_1 * bl::_2)(2.0 * bu::kilogram, 4.0 * bu::meter_per_second) == 8.0 * bu::kilogram * bu::meter_per_second));

    // quantity<Unit1, X> / quantity<Unit2, Y>
    BOOST_CHECK(((bl::_1 / bl::_2)(2.0 * bu::meter_per_second, 4.0 * bu::meter_per_second) == 0.5));

    // quantity<Unit, X> == quantity<Unit, Y>
    BOOST_CHECK(((bl::_1 == bl::_2)(2.0 * bu::meter, 2.0 * bu::meter) == true));
    BOOST_CHECK(((bl::_1 == bl::_2)(2.0 * bu::meter, 3.0 * bu::meter) == false));

    // quantity<Unit, X> != quantity<Unit, Y>
    BOOST_CHECK(((bl::_1 != bl::_2)(2.0 * bu::meter, 2.0 * bu::meter) == false));
    BOOST_CHECK(((bl::_1 != bl::_2)(2.0 * bu::meter, 3.0 * bu::meter) == true));

    // quantity<Unit, X> < quantity<Unit, Y>
    BOOST_CHECK(((bl::_1 < bl::_2)(2.0 * bu::meter, 2.0 * bu::meter) == false));
    BOOST_CHECK(((bl::_1 < bl::_2)(2.0 * bu::meter, 3.0 * bu::meter) == true));

    // quantity<Unit, X> <= quantity<Unit, Y>
    BOOST_CHECK(((bl::_1 <= bl::_2)(2.0 * bu::meter, 2.0 * bu::meter) == true));
    BOOST_CHECK(((bl::_1 <= bl::_2)(2.0 * bu::meter, 3.0 * bu::meter) == true));
    BOOST_CHECK(((bl::_1 <= bl::_2)(4.0 * bu::meter, 3.0 * bu::meter) == false));

    // quantity<Unit, X> > quantity<Unit, Y>
    BOOST_CHECK(((bl::_1 > bl::_2)(2.0 * bu::meter, 2.0 * bu::meter) == false));
    BOOST_CHECK(((bl::_1 > bl::_2)(2.0 * bu::meter, 3.0 * bu::meter) == false));
    BOOST_CHECK(((bl::_1 > bl::_2)(4.0 * bu::meter, 3.0 * bu::meter) == true));

    // quantity<Unit, X> >= quantity<Unit, Y>
    BOOST_CHECK(((bl::_1 >= bl::_2)(2.0 * bu::meter, 2.0 * bu::meter) == true));
    BOOST_CHECK(((bl::_1 >= bl::_2)(2.0 * bu::meter, 3.0 * bu::meter) == false));
    BOOST_CHECK(((bl::_1 >= bl::_2)(4.0 * bu::meter, 3.0 * bu::meter) == true));


    ////////////////////////////////////////////////////////////////////////
    // Test for Boost.Lambda working with overloaded operators defined
    // in <boost/units/unit.hpp>
    ////////////////////////////////////////////////////////////////////////

    // +unit<Dim, System>
    BOOST_CHECK(((+bl::_1)(bu::meter) == bu::meter));

    // -unit<Dim, System>
    BOOST_CHECK(((-bl::_1)(bu::meter) == bu::meter));

    // unit<Dim1, System1> + unit<Dim2, System2>
    BOOST_CHECK(((bl::_1 + bu::meter)(bu::meter) == bu::meter));
    BOOST_CHECK(((bu::meter + bl::_1)(bu::meter) == bu::meter));
    BOOST_CHECK(((bl::_1 + bl::_2)(bu::meter, bu::meter) == bu::meter));

    // unit<Dim1, System1> - unit<Dim2, System2>
    BOOST_CHECK(((bl::_1 - bl::_2)(bu::meter, bu::meter) == bu::meter));
    BOOST_CHECK(((bl::_1 - bu::meter)(bu::meter) == bu::meter));
    BOOST_CHECK(((bu::meter - bl::_1)(bu::meter) == bu::meter));

    // unit<Dim1, System1> * unit<Dim2, System2>
    BOOST_CHECK(((bl::_1 * bl::_2)(bu::meter, bu::meter) == bu::meter * bu::meter));
    BOOST_CHECK(((bl::_1 * bu::meter)(bu::meter) == bu::meter * bu::meter));

    // unit<Dim1, System1> / unit<Dim2, System2>
    BOOST_CHECK(((bl::_1 / bl::_2)(bu::meter, bu::second) == bu::meter_per_second));
    BOOST_CHECK(((bl::_1 / bu::second)(bu::meter) == bu::meter_per_second));

    // unit<Dim1, System1> == unit<Dim2, System2>
    BOOST_CHECK(((bl::_1 == bu::meter)(bu::meter) == true));
    BOOST_CHECK(((bl::_1 == bu::meter)(bu::second) == false));

    // unit<Dim1, System1> != unit<Dim2, System2>
    BOOST_CHECK(((bl::_1 != bu::meter)(bu::meter) == false));
    BOOST_CHECK(((bl::_1 != bu::meter)(bu::second) == true));


    ////////////////////////////////////////////////////////////////////////
    // Test for Boost.Lambda working with overloaded operators defined
    // in <boost/units/absolute.hpp>
    ////////////////////////////////////////////////////////////////////////

    // absolute<Y> += Y
    bu::quantity<bu::absolute<si::temperature> > Ta = 270.0 * bu::absolute<si::temperature>();
    (Ta += bl::_1)(30.0 * si::kelvin);
    BOOST_CHECK(( Ta == 300.0 * bu::absolute<si::temperature>()));

    // absolute<Y> -= Y
    Ta = 270 * bu::absolute<si::temperature>();
    (Ta -= bl::_1)(-30.0 * si::kelvin);
    BOOST_CHECK(( Ta == 300.0 * bu::absolute<si::temperature>()));

    // absolute<Y> + Y
    BOOST_CHECK(((270.0 * bu::absolute<si::temperature>() + bl::_1)(30.0 * si::kelvin) == 300.0 * bu::absolute<si::temperature>()));

    // Y + absolute<Y>
    BOOST_CHECK(((bl::_1 + 270.0 * bu::absolute<si::temperature>())(30.0 * si::kelvin) == 300.0 * bu::absolute<si::temperature>()));

    // absolute<Y> - Y
    BOOST_CHECK(((270.0 * bu::absolute<si::temperature>() - bl::_1)(30.0 * si::kelvin) == 240.0 * bu::absolute<si::temperature>()));

    // absolute<Y> - absolute<Y>
    BOOST_CHECK(((bl::_1 - 270.0 * bu::absolute<si::temperature>())(300.0 * bu::absolute<si::temperature>()) == 30.0 * si::kelvin));

    // T * absolute<unit<D, S> >
    BOOST_CHECK(((bl::_1 * bu::absolute<si::temperature>())(300.0) == 300.0 * bu::absolute<si::temperature>()));
    BOOST_CHECK(((bl::_1 * bl::_2)(300.0, bu::absolute<si::temperature>()) == 300.0 * bu::absolute<si::temperature>()));

    // absolute<unit<D, S> > * T
    BOOST_CHECK(((bu::absolute<si::temperature>() * bl::_1)(300.0) == 300.0 * bu::absolute<si::temperature>()));
    BOOST_CHECK(((bl::_1 * bl::_2)(bu::absolute<si::temperature>(), 300.0) == 300.0 * bu::absolute<si::temperature>()));


    return 0;
}