182 lines
7.3 KiB
C++
182 lines
7.3 KiB
C++
/*=============================================================================
|
|
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);
|
|
(void)c;
|
|
}
|
|
|
|
// 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;
|
|
(void)p2;
|
|
}
|
|
|
|
{
|
|
// 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();
|
|
}
|
|
|