123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257 |
- /*=============================================================================
- Copyright (c) 2001-2011 Joel de Guzman
- Copyright (c) 2007 Dan Marsden
- 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 <boost/detail/lightweight_test.hpp>
- #include <boost/fusion/container/vector/vector.hpp>
- #include <boost/fusion/adapted/mpl.hpp>
- #include <boost/fusion/sequence/io/out.hpp>
- #include <boost/fusion/sequence/intrinsic/at.hpp>
- #include <boost/fusion/container/generation/make_vector.hpp>
- #include <boost/fusion/algorithm/iteration/fold.hpp>
- #include <boost/fusion/algorithm/iteration/accumulate.hpp>
- #include <boost/type_traits/is_same.hpp>
- #include <boost/mpl/if.hpp>
- #include <boost/mpl/next.hpp>
- #include <boost/mpl/int.hpp>
- #include <boost/mpl/vector.hpp>
- #include <boost/type_traits/remove_const.hpp>
- #include <boost/type_traits/remove_reference.hpp>
- #include <boost/type_traits/is_reference.hpp>
- #include <string>
- using boost::mpl::if_;
- using boost::mpl::int_;
- using boost::is_same;
- struct add_ints_only
- {
- template<typename T>
- struct result;
- template <typename State, typename T>
- struct result<add_ints_only(State, T)>
- {
- typedef typename boost::remove_const<
- typename boost::remove_reference<State>::type>::type type;
- };
- template <typename State, typename T>
- State
- operator()(State const& state, T const& /*x*/) const
- {
- return state;
- }
- int
- operator()(int state, int x) const
- {
- return x + state;
- }
- };
- struct count_ints
- {
- template<typename T>
- struct result;
- template <typename CountT, typename T>
- struct result<count_ints(CountT, T)>
- {
- typedef typename boost::remove_const<
- typename boost::remove_reference<CountT>::type>::type state;
- typedef typename boost::remove_const<
- typename boost::remove_reference<T>::type>::type elem;
- typedef typename
- if_<
- is_same<elem, int>
- , typename boost::mpl::next<state>::type
- , state
- >::type
- type;
- };
- template <typename CountT, typename T>
- typename result<count_ints(CountT, T)>::type
- operator()(CountT const&, T const&) const
- {
- typedef typename result<count_ints(CountT, T)>::type result_;
- return result_();
- }
- };
- struct appender
- {
- typedef std::string result_type;
- std::string operator()(std::string const& str, char c) const
- {
- return str + c;
- }
- };
- struct lvalue_adder
- {
- template<typename Sig>
- struct result;
- template<typename T0, typename T1>
- struct result<lvalue_adder(T0, T1&)>
- {
- // Second argument still needs to support rvalues - see definition of fusion::fold
- typedef T1 type;
- };
- template<typename T0, typename T1>
- T1 operator()(T0 const& lhs, T1& rhs) const
- {
- return lhs + rhs;
- }
- };
- int add(int lhs, int rhs)
- {
- return lhs + rhs;
- }
- struct functor
- {
- template<typename T>
- int
- operator() (int hitherho, T const& cur) const
- {
- return int(hitherho + cur);
- }
- };
- struct visitor
- {
- typedef int result_type;
- int operator()(int sum, long&)
- {
- return sum;
- }
- };
- int
- main()
- {
- using namespace boost::fusion;
- namespace fusion = boost::fusion;
- {
- typedef vector<int, char, int, double> vector_type;
- vector_type v(12345, 'x', 678910, 3.36);
- int result = fold(v, 0, add_ints_only());
- std::cout << result << std::endl;
- BOOST_TEST(result == 12345+678910);
- }
- {
- typedef vector<int> vector_type;
- vector_type v(12345);
- int n = fusion::fold(v, int_<0>(), count_ints());
- std::cout << n << std::endl;
- BOOST_TEST(n == 1);
- }
- {
- typedef vector<int, char, int, double, int> vector_type;
- vector_type v(12345, 'x', 678910, 3.36, 8756);
- int n = fusion::fold(v, int_<0>(), count_ints());
- std::cout << n << std::endl;
- BOOST_TEST(n == 3);
- }
- {
- typedef boost::mpl::vector<int, char, int, double, int> mpl_vec;
- int n = fusion::fold(mpl_vec(), int_<0>(), count_ints());
- std::cout << n << std::endl;
- BOOST_TEST(n == 3);
- }
- {
- BOOST_TEST(fusion::fold(fusion::make_vector('a','b','c','d','e'), std::string(""), appender())
- == "abcde");
- }
- {
- vector<int, int> vec(1,2);
- BOOST_TEST(fusion::fold(vec, 0, lvalue_adder()) == 3);
- }
- {
- vector<int, int> vec(1,2);
- BOOST_TEST(fusion::fold(vec, 0, add) == 3);
- }
- {
- typedef vector<int, char, int, double> vector_type;
- vector_type v(12345, 'x', 678910, 3.36);
- int result = accumulate(v, 0, add_ints_only());
- std::cout << result << std::endl;
- BOOST_TEST(result == 12345+678910);
- }
- {
- typedef vector<int> vector_type;
- vector_type v(12345);
- int n = fusion::accumulate(v, int_<0>(), count_ints());
- std::cout << n << std::endl;
- BOOST_TEST(n == 1);
- }
- {
- typedef vector<int, char, int, double, int> vector_type;
- vector_type v(12345, 'x', 678910, 3.36, 8756);
- int n = fusion::accumulate(v, int_<0>(), count_ints());
- std::cout << n << std::endl;
- BOOST_TEST(n == 3);
- }
- {
- typedef boost::mpl::vector<int, char, int, double, int> mpl_vec;
- int n = fusion::accumulate(mpl_vec(), int_<0>(), count_ints());
- std::cout << n << std::endl;
- BOOST_TEST(n == 3);
- }
- {
- BOOST_TEST(fusion::accumulate(fusion::make_vector('a','b','c','d','e'), std::string(""), appender())
- == "abcde");
- }
- {
- vector<int, int> vec(1,2);
- BOOST_TEST(fusion::accumulate(vec, 0, add) == 3);
- }
- {
- #if defined(BOOST_RESULT_OF_USE_DECLTYPE)
- {
- boost::fusion::vector<int, double, long> container{1, 2, 3};
- functor f;
- boost::fusion::fold(container, 0, f);
- }
- #endif
- {
- boost::fusion::vector<long> vec;
- visitor v;
- boost::fusion::fold(vec, 0, v);
- }
- }
- return boost::report_errors();
- }
|