diff options
Diffstat (limited to 'src/boost/libs/phoenix/test/function/function_tests.cpp')
-rw-r--r-- | src/boost/libs/phoenix/test/function/function_tests.cpp | 140 |
1 files changed, 140 insertions, 0 deletions
diff --git a/src/boost/libs/phoenix/test/function/function_tests.cpp b/src/boost/libs/phoenix/test/function/function_tests.cpp new file mode 100644 index 00000000..6f979faf --- /dev/null +++ b/src/boost/libs/phoenix/test/function/function_tests.cpp @@ -0,0 +1,140 @@ +/*============================================================================= + Copyright (c) 2001-2007 Joel de Guzman + + 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) + ==============================================================================*/ + +#include <iostream> +#include <cmath> +#include <boost/detail/lightweight_test.hpp> +#include <boost/phoenix/core.hpp> +#include <boost/phoenix/operator.hpp> +#include <boost/phoenix/function.hpp> + +#define BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS +#include <boost/mpl/multiplies.hpp> +#undef BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS + +struct test_impl +{ + typedef void result_type; + void operator()() const + { + std::cout << "Test lazy functions...\n"; + } +}; + +boost::phoenix::function<test_impl> test; + +struct sqr_impl +{ + template <typename Signature> + struct result; + + template <typename This, typename Arg> + struct result<This(Arg)> + { + typedef typename boost::remove_reference<Arg>::type type; + }; + + template <typename Arg> + Arg + operator()(Arg n) const + { + return n * n; + } +}; + +boost::phoenix::function<sqr_impl> sqr; + +struct fact_impl +{ + template <typename Signature> + struct result; + + template <typename This, typename Arg> + struct result<This(Arg)> + { + typedef typename boost::remove_reference<Arg>::type type; + }; + + template <typename Arg> + Arg + operator()(Arg n) const + { + return (n <= 0) ? 1 : n * (*this)(n-1); + } +}; + +boost::phoenix::function<fact_impl> fact; + +struct pow_impl +{ + + template <typename Sig> + struct result; + + template <typename This, typename Arg1, typename Arg2> + struct result<This(Arg1, Arg2)> + { + typedef typename boost::remove_reference<Arg1>::type type; + }; + + template <typename Arg1, typename Arg2> + Arg1 + operator()(Arg1 a, Arg2 b) const + { + return std::pow(a, b); + } +}; + +boost::phoenix::function<pow_impl> power; + +struct add_impl +{ + template <typename Sig> + struct result; + + template <typename This, typename Arg1, typename Arg2, typename Arg3, typename Arg4> + struct result<This(Arg1, Arg2, Arg3, Arg4)> + { + typedef typename boost::remove_reference<Arg1>::type type; + }; + + template <typename Arg1, typename Arg2, typename Arg3, typename Arg4> + Arg1 + operator()(Arg1 a, Arg2 b, Arg3 c, Arg4 d) const + { + return a + b + c + d; + } +}; + +boost::phoenix::function<add_impl> add; + +int +main() +{ + using boost::phoenix::arg_names::arg1; + using boost::phoenix::arg_names::arg2; + + int i5 = 5; + double d5 = 5, d3 = 3; + + test()(); + BOOST_TEST(sqr(arg1)(i5) == (i5*i5)); + BOOST_TEST(fact(4)() == 24); + BOOST_TEST(fact(arg1)(i5) == 120); + BOOST_TEST((int)power(arg1, arg2)(d5, d3) == (int)std::pow(d5, d3)); + BOOST_TEST((sqr(arg1) + 5)(i5) == ((i5*i5)+5)); + BOOST_TEST(add(arg1, arg1, arg1, arg1)(i5) == (5+5+5+5)); + + // testing composition + BOOST_TEST(add(arg1, arg1, arg1, power(arg1, 2))(d5) == (5+5+5+25)); + + int const ic5 = 5; + // testing consts + BOOST_TEST(sqr(arg1)(ic5) == (ic5*ic5)); + + return boost::report_errors(); +} |