| /*============================================================================= |
| 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 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)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(); |
| } |