| /*============================================================================= |
| Copyright (c) 2001-2011 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 <boost/detail/lightweight_test.hpp> |
| #include <boost/fusion/container/map/map.hpp> |
| #include <boost/fusion/container/generation/make_map.hpp> |
| #include <boost/fusion/sequence/intrinsic/at_key.hpp> |
| #include <boost/fusion/sequence/intrinsic/value_at_key.hpp> |
| #include <boost/fusion/sequence/intrinsic/has_key.hpp> |
| #include <boost/fusion/sequence/intrinsic/begin.hpp> |
| #include <boost/fusion/sequence/io/out.hpp> |
| #include <boost/fusion/iterator/key_of.hpp> |
| #include <boost/fusion/iterator/deref_data.hpp> |
| #include <boost/fusion/iterator/value_of_data.hpp> |
| #include <boost/fusion/iterator/next.hpp> |
| #include <boost/fusion/support/pair.hpp> |
| #include <boost/fusion/support/category_of.hpp> |
| #include <boost/static_assert.hpp> |
| #include <boost/mpl/assert.hpp> |
| #include <boost/mpl/at.hpp> |
| #include <boost/typeof/typeof.hpp> |
| #include <iostream> |
| #include <string> |
| |
| |
| struct copy_all |
| { |
| copy_all() {} |
| copy_all(copy_all const&) {} |
| |
| template <typename T> |
| copy_all(T const& x) |
| { |
| foo(x); // should fail! |
| } |
| }; |
| |
| struct abstract |
| { |
| virtual void foo() = 0; |
| }; |
| |
| int |
| main() |
| { |
| using namespace boost::fusion; |
| using namespace boost; |
| namespace fusion = boost::fusion; |
| using boost::fusion::pair; |
| using boost::fusion::make_pair; |
| |
| std::cout << tuple_open('['); |
| std::cout << tuple_close(']'); |
| std::cout << tuple_delimiter(", "); |
| |
| { |
| typedef map< |
| pair<int, char> |
| , pair<double, std::string> |
| , pair<abstract, int> > |
| map_type; |
| |
| BOOST_MPL_ASSERT((traits::is_associative<map_type>)); |
| BOOST_MPL_ASSERT((traits::is_random_access<map_type>)); |
| |
| map_type m( |
| make_pair<int>('X') |
| , make_pair<double>("Men") |
| , make_pair<abstract>(2)); |
| |
| std::cout << at_key<int>(m) << std::endl; |
| std::cout << at_key<double>(m) << std::endl; |
| std::cout << at_key<abstract>(m) << std::endl; |
| |
| BOOST_TEST(at_key<int>(m) == 'X'); |
| BOOST_TEST(at_key<double>(m) == "Men"); |
| BOOST_TEST(at_key<abstract>(m) == 2); |
| |
| BOOST_STATIC_ASSERT(( |
| boost::is_same<boost::fusion::result_of::value_at_key<map_type, int>::type, char>::value)); |
| BOOST_STATIC_ASSERT(( |
| boost::is_same<boost::fusion::result_of::value_at_key<map_type, double>::type, std::string>::value)); |
| BOOST_STATIC_ASSERT(( |
| boost::is_same<boost::fusion::result_of::value_at_key<map_type, abstract>::type, int>::value)); |
| |
| std::cout << m << std::endl; |
| |
| BOOST_STATIC_ASSERT((boost::fusion::result_of::has_key<map_type, int>::value)); |
| BOOST_STATIC_ASSERT((boost::fusion::result_of::has_key<map_type, double>::value)); |
| BOOST_STATIC_ASSERT((boost::fusion::result_of::has_key<map_type, abstract>::value)); |
| BOOST_STATIC_ASSERT((!boost::fusion::result_of::has_key<map_type, std::string>::value)); |
| |
| std::cout << deref_data(begin(m)) << std::endl; |
| std::cout << deref_data(fusion::next(begin(m))) << std::endl; |
| |
| BOOST_TEST(deref_data(begin(m)) == 'X'); |
| BOOST_TEST(deref_data(fusion::next(begin(m))) == "Men"); |
| BOOST_TEST(deref_data(fusion::next(next(begin(m)))) == 2); |
| |
| BOOST_STATIC_ASSERT((boost::is_same<boost::fusion::result_of::key_of<boost::fusion::result_of::begin<map_type>::type>::type, int>::value)); |
| BOOST_STATIC_ASSERT((boost::is_same<boost::fusion::result_of::key_of<boost::fusion::result_of::next<boost::fusion::result_of::begin<map_type>::type>::type>::type, double>::value)); |
| BOOST_STATIC_ASSERT((boost::is_same<boost::fusion::result_of::key_of<boost::fusion::result_of::next<boost::fusion::result_of::next<boost::fusion::result_of::begin<map_type>::type>::type>::type>::type, abstract>::value)); |
| BOOST_STATIC_ASSERT((boost::is_same<boost::fusion::result_of::value_of_data<boost::fusion::result_of::begin<map_type>::type>::type, char>::value)); |
| BOOST_STATIC_ASSERT((boost::is_same<boost::fusion::result_of::value_of_data<boost::fusion::result_of::next<boost::fusion::result_of::begin<map_type>::type>::type>::type, std::string>::value)); |
| BOOST_STATIC_ASSERT((boost::is_same<boost::fusion::result_of::value_of_data<boost::fusion::result_of::next<boost::fusion::result_of::next<boost::fusion::result_of::begin<map_type>::type>::type>::type>::type, int>::value)); |
| |
| // Test random access interface. |
| pair<int, char> a = at_c<0>(m); (void) a; |
| pair<double, std::string> b = at_c<1>(m); |
| pair<abstract, int> c = at_c<2>(m); |
| } |
| |
| // iterators & random access interface. |
| { |
| typedef pair<boost::mpl::int_<0>, std::string> pair0; |
| typedef pair<boost::mpl::int_<1>, std::string> pair1; |
| typedef pair<boost::mpl::int_<2>, std::string> pair2; |
| typedef pair<boost::mpl::int_<3>, std::string> pair3; |
| typedef pair<boost::mpl::int_<4>, std::string> pair4; |
| |
| typedef map< pair0, pair1, pair2, pair3, pair4 > map_type; |
| map_type m( pair0("zero"), pair1("one"), pair2("two"), pair3("three"), pair4("four") ); |
| BOOST_AUTO( it0, begin(m) ); |
| BOOST_TEST((deref(it0) == pair0("zero"))); |
| BOOST_AUTO( it1, fusion::next(it0) ); |
| BOOST_TEST((deref(it1) == pair1("one"))); |
| BOOST_AUTO( it2, fusion::next(it1) ); |
| BOOST_TEST((deref(it2) == pair2("two"))); |
| BOOST_AUTO( it3, fusion::next(it2) ); |
| BOOST_TEST((deref(it3) == pair3("three"))); |
| BOOST_AUTO( it4, fusion::next(it3) ); |
| BOOST_TEST((deref(it4) == pair4("four"))); |
| |
| BOOST_TEST((deref(fusion::advance_c<4>(it0)) == deref(it4))); |
| |
| // Bi-directional |
| BOOST_TEST((deref(fusion::prior(it4)) == deref(it3) )); |
| BOOST_TEST((deref(fusion::prior(it3)) == deref(it2) )); |
| BOOST_TEST((deref(fusion::prior(it2)) == deref(it1) )); |
| BOOST_TEST((deref(fusion::prior(it1)) == deref(it0) )); |
| } |
| |
| { |
| std::cout << make_map<char, int>('X', 123) << std::endl; |
| BOOST_TEST(at_key<char>(make_map<char, int>('X', 123)) == 'X'); |
| BOOST_TEST(at_key<int>(make_map<char, int>('X', 123)) == 123); |
| } |
| |
| { |
| // test for copy construction of fusion pairs |
| // make sure that the correct constructor is called |
| pair<int, copy_all> p1; |
| pair<int, copy_all> p2 = p1; |
| } |
| |
| { |
| // compile test only |
| // make sure result_of::deref_data returns a reference |
| typedef map<pair<float, int> > map_type; |
| typedef boost::fusion::result_of::begin<map_type>::type i_type; |
| typedef boost::fusion::result_of::deref_data<i_type>::type r_type; |
| BOOST_STATIC_ASSERT((boost::is_same<r_type, int&>::value)); |
| } |
| |
| { |
| // compile test only |
| // make sure result_of::deref_data is const correct |
| typedef map<pair<float, int> > const map_type; |
| typedef boost::fusion::result_of::begin<map_type>::type i_type; |
| typedef boost::fusion::result_of::deref_data<i_type>::type r_type; |
| BOOST_STATIC_ASSERT((boost::is_same<r_type, int const&>::value)); |
| } |
| |
| return boost::report_errors(); |
| } |
| |