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