123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177 |
- /*=============================================================================
- Copyright (c) 2010 Christopher Schmidt
- 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/sequence.hpp>
- #include <boost/fusion/support.hpp>
- #include <boost/fusion/container/list.hpp>
- #include <boost/fusion/container/vector.hpp>
- #include <boost/fusion/container/generation/make_vector.hpp>
- #include <boost/fusion/adapted/adt/adapt_assoc_adt.hpp>
- #include <boost/mpl/assert.hpp>
- #include <boost/mpl/not.hpp>
- #include <boost/mpl/front.hpp>
- #include <boost/mpl/is_sequence.hpp>
- #include <boost/type_traits/is_same.hpp>
- #include <boost/static_assert.hpp>
- #include <iostream>
- #include <string>
- namespace ns
- {
- struct x_member;
- struct y_member;
- struct z_member;
- struct non_member;
- template<typename X, typename Y, typename Z>
- class point
- {
- public:
-
- point() : x(0), y(0), z(0) {}
- point(X in_x, Y in_y, Z in_z) : x(in_x), y(in_y), z(in_z) {}
-
- X get_x() const { return x; }
- Y get_y() const { return y; }
- Z get_z() const { return z; }
- void set_x(X x_) { x = x_; }
- void set_y(Y y_) { y = y_; }
- void set_z(Z z_) { z = z_; }
-
- private:
-
- X x;
- Y y;
- Z z;
- };
- }
- #if BOOST_PP_VARIADICS
- BOOST_FUSION_ADAPT_ASSOC_TPL_ADT(
- (X)(Y)(Z),
- (ns::point)(X)(Y)(Z),
- (X, X, obj.get_x(), obj.set_x(val), ns::x_member)
- (Y, Y, obj.get_y(), obj.set_y(val), ns::y_member)
- (obj.get_z(), obj.set_z(val), ns::z_member)
- )
-
- #else // BOOST_PP_VARIADICS
- BOOST_FUSION_ADAPT_ASSOC_TPL_ADT(
- (X)(Y)(Z),
- (ns::point)(X)(Y)(Z),
- (X, X, obj.get_x(), obj.set_x(val), ns::x_member)
- (Y, Y, obj.get_y(), obj.set_y(val), ns::y_member)
- (auto, auto, obj.get_z(), obj.set_z(val), ns::z_member)
- )
- #endif
- template <typename TypeToConstruct>
- class empty_adt_templated_factory {
- TypeToConstruct operator()() {
- return TypeToConstruct();
- }
- };
- BOOST_FUSION_ADAPT_ASSOC_TPL_ADT(
- (TypeToConstruct),
- (empty_adt_templated_factory)(TypeToConstruct),
- )
- int
- main()
- {
- using namespace boost::fusion;
- typedef ns::point<int,int,long> point;
- std::cout << tuple_open('[');
- std::cout << tuple_close(']');
- std::cout << tuple_delimiter(", ");
- {
- BOOST_MPL_ASSERT_NOT((traits::is_view<point>));
- BOOST_STATIC_ASSERT(!traits::is_view<point>::value);
- point p(123, 456, 789);
- std::cout << at_c<0>(p) << std::endl;
- std::cout << at_c<1>(p) << std::endl;
- std::cout << at_c<2>(p) << std::endl;
- std::cout << p << std::endl;
- BOOST_TEST(p == make_vector(123, 456, 789));
- at_c<0>(p) = 6;
- at_c<1>(p) = 9;
- at_c<2>(p) = 12;
- BOOST_TEST(p == make_vector(6, 9, 12));
- BOOST_STATIC_ASSERT(boost::fusion::result_of::size<point>::value == 3);
- BOOST_STATIC_ASSERT(!boost::fusion::result_of::empty<point>::value);
- BOOST_TEST(front(p) == 6);
- BOOST_TEST(back(p) == 12);
- }
- {
- boost::fusion::vector<int, float, long> v1(4, 2.f, 2);
- point v2(5, 3, 3);
- boost::fusion::vector<long, double, long> v3(5, 4., 4);
- BOOST_TEST(v1 < v2);
- BOOST_TEST(v1 <= v2);
- BOOST_TEST(v2 > v1);
- BOOST_TEST(v2 >= v1);
- BOOST_TEST(v2 < v3);
- BOOST_TEST(v2 <= v3);
- BOOST_TEST(v3 > v2);
- BOOST_TEST(v3 >= v2);
- }
- {
- // conversion from point to vector
- point p(5, 3, 3);
- boost::fusion::vector<int, long, int> v(p);
- v = p;
- }
- {
- // conversion from point to list
- point p(5, 3, 3);
- boost::fusion::list<int, long, int> l(p);
- l = p;
- }
- {
- BOOST_MPL_ASSERT((boost::mpl::is_sequence<point>));
- BOOST_MPL_ASSERT((boost::is_same<
- boost::fusion::result_of::value_at_c<point,0>::type
- , boost::mpl::front<point>::type>));
- }
- {
- // assoc stuff
- BOOST_MPL_ASSERT((boost::fusion::result_of::has_key<point, ns::x_member>));
- BOOST_MPL_ASSERT((boost::fusion::result_of::has_key<point, ns::y_member>));
- BOOST_MPL_ASSERT((boost::fusion::result_of::has_key<point, ns::z_member>));
- BOOST_MPL_ASSERT((boost::mpl::not_<boost::fusion::result_of::has_key<point, ns::non_member> >));
- BOOST_MPL_ASSERT((boost::is_same<boost::fusion::result_of::value_at_key<point, ns::x_member>::type, int>));
- BOOST_MPL_ASSERT((boost::is_same<boost::fusion::result_of::value_at_key<point, ns::y_member>::type, int>));
- BOOST_MPL_ASSERT((boost::is_same<boost::fusion::result_of::value_at_key<point, ns::z_member>::type, long>));
- point p(5, 3, 1);
- BOOST_TEST(at_key<ns::x_member>(p) == 5);
- BOOST_TEST(at_key<ns::y_member>(p) == 3);
- BOOST_TEST(at_key<ns::z_member>(p) == 1);
- }
- return boost::report_errors();
- }
|