123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269 |
- // 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<dimensionless, X> + Y
- BOOST_CHECK(((bl::_1 + 1.0f)(bu::quantity<bu::dimensionless>(2.0)) == 3.0));
- // X + quantity<dimensionless, Y>
- BOOST_CHECK(((1.0f + bl::_1)(bu::quantity<bu::dimensionless>(1.0)) == 2.0));
- // 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<dimensionless, X> - Y
- BOOST_CHECK(((bl::_1 - 2.0f)(bu::quantity<bu::dimensionless>(1.0)) == -1.0));
- // X - quantity<dimensionless, Y>
- BOOST_CHECK(((2.0f - bl::_1)(bu::quantity<bu::dimensionless>(1.0)) == 1.0));
- // 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;
- }
|