123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560 |
- /*=============================================================================
- Copyright (c) 2005-2006 Joao Abecasis
- Copyright (c) 2006-2007 Tobias Schwinger
- Use modification and distribution are subject to 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/config.hpp>
- #include <boost/fusion/functional/invocation/invoke.hpp>
- #include <boost/detail/lightweight_test.hpp>
- #if !defined(BOOST_NO_CXX11_RVALUE_REFERENCES)
- #include <functional>
- #endif
- #include <memory>
- #include <boost/noncopyable.hpp>
- #include <boost/type_traits/is_same.hpp>
- #include <boost/mpl/int.hpp>
- #include <boost/fusion/container/vector.hpp>
- #include <boost/fusion/container/list.hpp>
- #include <boost/fusion/sequence/intrinsic/size.hpp>
- #include <boost/fusion/sequence/intrinsic/begin.hpp>
- #include <boost/fusion/view/single_view.hpp>
- #include <boost/fusion/view/iterator_range.hpp>
- #include <boost/fusion/iterator/advance.hpp>
- #include <boost/fusion/algorithm/transformation/join.hpp>
- #include "../compile_time/sfinae_friendly.hpp"
- namespace mpl = boost::mpl;
- namespace fusion = boost::fusion;
- template <typename T>
- inline T const & const_(T const & t)
- {
- return t;
- }
- struct object {};
- struct object_nc : boost::noncopyable {};
- struct fobj
- {
- // Handle nullary separately to exercise result_of support
- template <typename Sig>
- struct result;
- template <class Self, typename T0>
- struct result< Self(T0) >
- {
- typedef int type;
- };
- template <class Self, typename T0, typename T1>
- struct result< Self(T0, T1) >
- {
- typedef int type;
- };
- template <class Self, typename T0, typename T1, typename T2>
- struct result< Self(T0, T1, T2) >
- {
- typedef int type;
- };
- int operator()(int i) { return 2 + i; }
- int operator()(int i) const { return 3 + i; }
- int operator()(int i, object &) { return 4 + i; }
- int operator()(int i, object &) const { return 5 + i; }
- int operator()(int i, object const &) { return 6 + i; }
- int operator()(int i, object const &) const { return 7 + i; }
- int operator()(int i, object &, object_nc &) { return 10 + i; }
- int operator()(int i, object &, object_nc &) const { return 11 + i; }
- int operator()(int i, object const &, object_nc &);
- int operator()(int i, object const &, object_nc &) const;
- };
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<fobj, sfinae_friendly::v0>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<fobj, sfinae_friendly::v1>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<fobj, sfinae_friendly::v2>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<fobj, sfinae_friendly::v3>));
- struct nullary_fobj
- {
- typedef int result_type;
- int operator()() { return 0; }
- int operator()() const { return 1; }
- };
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<nullary_fobj, sfinae_friendly::v1>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<nullary_fobj, sfinae_friendly::v2>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<nullary_fobj, sfinae_friendly::v3>));
- struct fobj_nc
- : boost::noncopyable
- {
- // Handle nullary separately to exercise result_of support
- template <typename Sig>
- struct result;
- template <class Self, typename T0>
- struct result< Self(T0)>
- {
- typedef int type;
- };
- int operator()(int i) { return 14 + i; }
- int operator()(int i) const { return 15 + i; }
- };
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<fobj_nc, sfinae_friendly::v0>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<fobj_nc, sfinae_friendly::v1>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<fobj_nc, sfinae_friendly::v2>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<fobj_nc, sfinae_friendly::v3>));
- struct nullary_fobj_nc
- : boost::noncopyable
- {
- typedef int result_type;
- int operator()() { return 12; }
- int operator()() const { return 13; }
- };
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<nullary_fobj_nc, sfinae_friendly::v1>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<nullary_fobj_nc, sfinae_friendly::v2>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<nullary_fobj_nc, sfinae_friendly::v3>));
- int nullary() { return 16; }
- int unary(int i) { return 17 + i; }
- int binary1(int i, object &) { return 18 + i; }
- int binary2(int i, object const &) { return 19 + i; }
- //FIXME
- //SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<int(*)(), sfinae_friendly::v1>));
- //SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<int(*)(), sfinae_friendly::v2>));
- //SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<int(*)(), sfinae_friendly::v3>));
- //
- //SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<int(*)(int), sfinae_friendly::v0>));
- //SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<int(*)(int), sfinae_friendly::v1>));
- //SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<int(*)(int), sfinae_friendly::v2>));
- //SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<int(*)(int), sfinae_friendly::v3>));
- //
- //SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<int(*)(int, object &), sfinae_friendly::v0>));
- //SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<int(*)(int, object &), sfinae_friendly::v1>));
- //SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<int(*)(int, object &), sfinae_friendly::v2>));
- //SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<int(*)(int, object &), sfinae_friendly::v3>));
- //
- //SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<int(*)(int, object const &), sfinae_friendly::v0>));
- //SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<int(*)(int, object const &), sfinae_friendly::v1>));
- //SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<int(*)(int, object const &), sfinae_friendly::v2>));
- //SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<int(*)(int, object const &), sfinae_friendly::v3>));
- typedef int (* func_ptr)(int);
- typedef int (* const c_func_ptr)(int);
- typedef int (* volatile v_func_ptr)(int);
- typedef int (* const volatile cv_func_ptr)(int);
- func_ptr func_ptr1 = &unary;
- c_func_ptr func_ptr2 = &unary;
- v_func_ptr func_ptr3 = &unary;
- cv_func_ptr func_ptr4 = &unary;
- class members
- {
- public:
- int data;
- members()
- : data(20)
- { }
- int nullary() { return data + 1; }
- int nullary_c() const { return data + 2; }
- int unary(int i) { return data + 3 + i; }
- int unary_c(int i) const { return data + 4 + i; }
- int binary(int i, object) { return data + 5 + i; }
- int binary_c(int i, object) const { return data + 6 + i; }
- };
- #ifdef BOOST_NO_CXX11_SMART_PTR
- typedef std::auto_ptr<members > members_ptr;
- typedef std::auto_ptr<members const> const_members_ptr;
- #else
- typedef std::unique_ptr<members > members_ptr;
- typedef std::unique_ptr<members const> const_members_ptr;
- #endif
- struct derived
- : members
- {
- };
- #ifdef BOOST_NO_CXX11_SMART_PTR
- typedef std::auto_ptr<derived > derived_ptr;
- typedef std::auto_ptr<derived const> const_derived_ptr;
- #else
- typedef std::unique_ptr<derived > derived_ptr;
- typedef std::unique_ptr<derived const> const_derived_ptr;
- #endif
- typedef int element1_type;
- typedef object element2_type;
- typedef object_nc & element3_type;
- int element1 = 100;
- object element2 = object();
- object_nc element3;
- members that;
- members_ptr spt_that(new members);
- const_members_ptr spt_that_c(new members);
- typedef fusion::single_view<members > sv_obj;
- typedef fusion::single_view<members &> sv_ref;
- typedef fusion::single_view<members *> sv_ptr;
- typedef fusion::single_view<members const > sv_obj_c;
- typedef fusion::single_view<members const &> sv_ref_c;
- typedef fusion::single_view<members const *> sv_ptr_c;
- typedef fusion::single_view<members_ptr const &> sv_spt;
- typedef fusion::single_view<const_members_ptr const &> sv_spt_c;
- sv_obj sv_obj_ctx( that);
- sv_ref sv_ref_ctx( that);
- sv_ptr sv_ptr_ctx(& that);
- sv_obj_c sv_obj_c_ctx( that);
- sv_ref_c sv_ref_c_ctx( that);
- sv_ptr_c sv_ptr_c_ctx(& that);
- sv_spt sv_spt_ctx(spt_that);
- sv_spt_c sv_spt_c_ctx(spt_that_c);
- template <typename F, typename S>
- struct sv_helper
- {
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<F, typename fusion::result_of::join<sv_obj , S>::type>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<F, typename fusion::result_of::join<sv_ref , S>::type>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<F, typename fusion::result_of::join<sv_ptr , S>::type>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<F, typename fusion::result_of::join<sv_obj_c, S>::type>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<F, typename fusion::result_of::join<sv_ref_c, S>::type>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<F, typename fusion::result_of::join<sv_ptr_c, S>::type>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<F, typename fusion::result_of::join<sv_spt , S>::type>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<F, typename fusion::result_of::join<sv_spt_c, S>::type>));
- };
- // FIXME:
- //template struct sv_helper<int (members::*)() , sfinae_friendly::v1>;
- //template struct sv_helper<int (members::*)() , sfinae_friendly::v2>;
- //template struct sv_helper<int (members::*)() , sfinae_friendly::v3>;
- //template struct sv_helper<int (members::*)() const, sfinae_friendly::v1>;
- //template struct sv_helper<int (members::*)() const, sfinae_friendly::v2>;
- //template struct sv_helper<int (members::*)() const, sfinae_friendly::v3>;
- //template struct sv_helper<int (members::*)(int) , sfinae_friendly::v0>;
- //template struct sv_helper<int (members::*)(int) , sfinae_friendly::v1>;
- //template struct sv_helper<int (members::*)(int) , sfinae_friendly::v2>;
- //template struct sv_helper<int (members::*)(int) , sfinae_friendly::v3>;
- //template struct sv_helper<int (members::*)(int) const, sfinae_friendly::v0>;
- //template struct sv_helper<int (members::*)(int) const, sfinae_friendly::v1>;
- //template struct sv_helper<int (members::*)(int) const, sfinae_friendly::v2>;
- //template struct sv_helper<int (members::*)(int) const, sfinae_friendly::v3>;
- //template struct sv_helper<int (members::*)(int, object) , sfinae_friendly::v0>;
- //template struct sv_helper<int (members::*)(int, object) , sfinae_friendly::v1>;
- //template struct sv_helper<int (members::*)(int, object) , sfinae_friendly::v2>;
- //template struct sv_helper<int (members::*)(int, object) , sfinae_friendly::v3>;
- //template struct sv_helper<int (members::*)(int, object) const, sfinae_friendly::v0>;
- //template struct sv_helper<int (members::*)(int, object) const, sfinae_friendly::v1>;
- //template struct sv_helper<int (members::*)(int, object) const, sfinae_friendly::v2>;
- //template struct sv_helper<int (members::*)(int, object) const, sfinae_friendly::v3>;
- derived derived_that;
- derived_ptr spt_derived_that(new derived);
- const_derived_ptr spt_derived_that_c(new derived);
- typedef fusion::single_view<derived > sv_obj_d;
- typedef fusion::single_view<derived &> sv_ref_d;
- typedef fusion::single_view<derived *> sv_ptr_d;
- typedef fusion::single_view<derived const > sv_obj_c_d;
- typedef fusion::single_view<derived const &> sv_ref_c_d;
- typedef fusion::single_view<derived const *> sv_ptr_c_d;
- typedef fusion::single_view<derived_ptr const &> sv_spt_d;
- typedef fusion::single_view<const_derived_ptr const &> sv_spt_c_d;
- sv_obj_d sv_obj_d_ctx( derived_that);
- sv_ref_d sv_ref_d_ctx( derived_that);
- sv_ptr_d sv_ptr_d_ctx(& derived_that);
- sv_obj_c_d sv_obj_c_d_ctx( derived_that);
- sv_ref_c_d sv_ref_c_d_ctx( derived_that);
- sv_ptr_c_d sv_ptr_c_d_ctx(& derived_that);
- sv_spt_d sv_spt_d_ctx(spt_derived_that);
- sv_spt_c_d sv_spt_c_d_ctx(spt_derived_that_c);
- template <typename F, typename S>
- struct sv_d_helper
- {
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<F, typename fusion::result_of::join<sv_obj_d , S>::type>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<F, typename fusion::result_of::join<sv_ref_d , S>::type>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<F, typename fusion::result_of::join<sv_ptr_d , S>::type>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<F, typename fusion::result_of::join<sv_obj_c_d, S>::type>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<F, typename fusion::result_of::join<sv_ref_c_d, S>::type>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<F, typename fusion::result_of::join<sv_ptr_c_d, S>::type>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<F, typename fusion::result_of::join<sv_spt_d , S>::type>));
- SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke<F, typename fusion::result_of::join<sv_spt_c_d, S>::type>));
- };
- // FIXME:
- //template struct sv_d_helper<int (members::*)() , sfinae_friendly::v1>;
- //template struct sv_d_helper<int (members::*)() , sfinae_friendly::v2>;
- //template struct sv_d_helper<int (members::*)() , sfinae_friendly::v3>;
- //template struct sv_d_helper<int (members::*)() const, sfinae_friendly::v1>;
- //template struct sv_d_helper<int (members::*)() const, sfinae_friendly::v2>;
- //template struct sv_d_helper<int (members::*)() const, sfinae_friendly::v3>;
- //template struct sv_d_helper<int (members::*)(int) , sfinae_friendly::v0>;
- //template struct sv_d_helper<int (members::*)(int) , sfinae_friendly::v1>;
- //template struct sv_d_helper<int (members::*)(int) , sfinae_friendly::v2>;
- //template struct sv_d_helper<int (members::*)(int) , sfinae_friendly::v3>;
- //template struct sv_d_helper<int (members::*)(int) const, sfinae_friendly::v0>;
- //template struct sv_d_helper<int (members::*)(int) const, sfinae_friendly::v1>;
- //template struct sv_d_helper<int (members::*)(int) const, sfinae_friendly::v2>;
- //template struct sv_d_helper<int (members::*)(int) const, sfinae_friendly::v3>;
- //template struct sv_d_helper<int (members::*)(int, object) , sfinae_friendly::v0>;
- //template struct sv_d_helper<int (members::*)(int, object) , sfinae_friendly::v1>;
- //template struct sv_d_helper<int (members::*)(int, object) , sfinae_friendly::v2>;
- //template struct sv_d_helper<int (members::*)(int, object) , sfinae_friendly::v3>;
- //template struct sv_d_helper<int (members::*)(int, object) const, sfinae_friendly::v0>;
- //template struct sv_d_helper<int (members::*)(int, object) const, sfinae_friendly::v1>;
- //template struct sv_d_helper<int (members::*)(int, object) const, sfinae_friendly::v2>;
- //template struct sv_d_helper<int (members::*)(int, object) const, sfinae_friendly::v3>;
- template <class Sequence>
- void test_sequence_n(Sequence & seq, mpl::int_<0>)
- {
- // Function Objects
- nullary_fobj f;
- BOOST_TEST(f () == fusion::invoke(f , seq ));
- BOOST_TEST(f () == fusion::invoke(f , const_(seq)));
- // Note: The function object is taken by value, so we request the copy
- // to be const with an explicit template argument. We can also request
- // the function object to be pased by reference...
- BOOST_TEST(const_(f)() == fusion::invoke<nullary_fobj const >(const_(f), seq ));
- BOOST_TEST(const_(f)() == fusion::invoke<nullary_fobj const &>(const_(f), const_(seq)));
- nullary_fobj_nc nc_f;
- // ...and we further ensure there is no copying in this case, using a
- // noncopyable function object.
- BOOST_TEST(nc_f () == fusion::invoke<nullary_fobj_nc &>(nc_f , seq ));
- BOOST_TEST(nc_f () == fusion::invoke<nullary_fobj_nc &>(nc_f , const_(seq)));
- BOOST_TEST(const_(nc_f)() == fusion::invoke<nullary_fobj_nc const &>(const_(nc_f), seq ));
- BOOST_TEST(const_(nc_f)() == fusion::invoke<nullary_fobj_nc const &>(const_(nc_f), const_(seq)));
- // Builtin Functions
- // Call through ref/ptr to function
- BOOST_TEST(nullary() == fusion::invoke<int (&)()>(nullary, seq));
- BOOST_TEST(nullary() == fusion::invoke(& nullary, seq));
- // Call through ptr to member function
- // Note: The non-const function members::nullary can't be invoked with
- // fusion::join(sv_obj_ctx,seq)), which is const and so is its first element
- BOOST_TEST(that.nullary() == fusion::invoke(& members::nullary, fusion::join(sv_ref_ctx,seq)));
- BOOST_TEST(that.nullary() == fusion::invoke(& members::nullary, fusion::join(sv_ptr_ctx,seq)));
- BOOST_TEST(that.nullary() == fusion::invoke(& members::nullary, fusion::join(sv_spt_ctx,seq)));
- BOOST_TEST(that.nullary_c() == fusion::invoke(& members::nullary_c, fusion::join(sv_obj_ctx,seq)));
- BOOST_TEST(that.nullary_c() == fusion::invoke(& members::nullary_c, fusion::join(sv_ref_ctx,seq)));
- BOOST_TEST(that.nullary_c() == fusion::invoke(& members::nullary_c, fusion::join(sv_ptr_ctx,seq)));
- BOOST_TEST(that.nullary_c() == fusion::invoke(& members::nullary_c, fusion::join(sv_spt_ctx,seq)));
- BOOST_TEST(that.nullary_c() == fusion::invoke(& members::nullary_c, fusion::join(sv_obj_c_ctx,seq)));
- BOOST_TEST(that.nullary_c() == fusion::invoke(& members::nullary_c, fusion::join(sv_ref_c_ctx,seq)));
- BOOST_TEST(that.nullary_c() == fusion::invoke(& members::nullary_c, fusion::join(sv_ptr_c_ctx,seq)));
- BOOST_TEST(that.nullary_c() == fusion::invoke(& members::nullary_c, fusion::join(sv_spt_c_ctx,seq)));
- // Pointer to data member
- // $$$ JDG $$$ disabling this test due to C++11 error: assignment of read-only location
- //~ BOOST_TEST(that.data == (fusion::invoke(& members::data, fusion::join(sv_obj_ctx,seq)) = that.data));
- BOOST_TEST(that.data == (fusion::invoke(& members::data, fusion::join(sv_ref_ctx,seq)) = that.data));
- BOOST_TEST(that.data == (fusion::invoke(& members::data, fusion::join(sv_ptr_ctx,seq)) = that.data));
- BOOST_TEST(that.data == (fusion::invoke(& members::data, fusion::join(sv_spt_ctx,seq)) = that.data));
- BOOST_TEST(that.data == fusion::invoke(& members::data, fusion::join(sv_obj_c_ctx,seq)));
- BOOST_TEST(that.data == fusion::invoke(& members::data, fusion::join(sv_ref_c_ctx,seq)));
- BOOST_TEST(that.data == fusion::invoke(& members::data, fusion::join(sv_ptr_c_ctx,seq)));
- BOOST_TEST(that.data == fusion::invoke(& members::data, fusion::join(sv_spt_c_ctx,seq)));
- // $$$ JDG $$$ disabling this test due to C++11 error: assignment of read-only location
- //~ BOOST_TEST(that.data == (fusion::invoke(& members::data, fusion::join(sv_obj_d_ctx,seq)) = that.data));
- BOOST_TEST(that.data == (fusion::invoke(& members::data, fusion::join(sv_ref_d_ctx,seq)) = that.data));
- BOOST_TEST(that.data == (fusion::invoke(& members::data, fusion::join(sv_ptr_d_ctx,seq)) = that.data));
- BOOST_TEST(that.data == (fusion::invoke(& members::data, fusion::join(sv_spt_d_ctx,seq)) = that.data));
- BOOST_TEST(that.data == fusion::invoke(& members::data, fusion::join(sv_obj_c_d_ctx,seq)));
- BOOST_TEST(that.data == fusion::invoke(& members::data, fusion::join(sv_ref_c_d_ctx,seq)));
- BOOST_TEST(that.data == fusion::invoke(& members::data, fusion::join(sv_ptr_c_d_ctx,seq)));
- BOOST_TEST(that.data == fusion::invoke(& members::data, fusion::join(sv_spt_c_d_ctx,seq)));
- }
- template <class Sequence>
- void test_sequence_n(Sequence & seq, mpl::int_<1>)
- {
- fobj f;
- BOOST_TEST(f(element1) == fusion::invoke(f , seq ));
- BOOST_TEST(f(element1) == fusion::invoke(f , const_(seq)));
- BOOST_TEST(const_(f)(element1) == fusion::invoke<fobj const >(const_(f), seq ));
- BOOST_TEST(const_(f)(element1) == fusion::invoke<fobj const &>(const_(f), const_(seq)));
- fobj_nc nc_f;
- BOOST_TEST(nc_f(element1) == fusion::invoke<fobj_nc &>(nc_f, seq ));
- BOOST_TEST(nc_f(element1) == fusion::invoke<fobj_nc &>(nc_f, const_(seq)));
- BOOST_TEST(const_(nc_f)(element1) == fusion::invoke<fobj_nc const &>(const_(nc_f), seq ));
- BOOST_TEST(const_(nc_f)(element1) == fusion::invoke<fobj_nc const &>(const_(nc_f), const_(seq)));
- BOOST_TEST(unary(element1) == fusion::invoke<int (&)(int)>(unary, seq));
- BOOST_TEST(func_ptr1(element1) == fusion::invoke(func_ptr1, seq));
- BOOST_TEST(func_ptr2(element1) == fusion::invoke(func_ptr2, seq));
- BOOST_TEST(func_ptr3(element1) == fusion::invoke(func_ptr3, seq));
- BOOST_TEST(func_ptr4(element1) == fusion::invoke(func_ptr4, seq));
- BOOST_TEST(that.unary(element1) == fusion::invoke(& members::unary, fusion::join(sv_ref_ctx,seq)));
- BOOST_TEST(that.unary(element1) == fusion::invoke(& members::unary, fusion::join(sv_ptr_ctx,seq)));
- BOOST_TEST(that.unary(element1) == fusion::invoke(& members::unary, fusion::join(sv_spt_ctx,seq)));
- BOOST_TEST(that.unary_c(element1) == fusion::invoke(& members::unary_c, fusion::join(sv_obj_ctx,seq)));
- BOOST_TEST(that.unary_c(element1) == fusion::invoke(& members::unary_c, fusion::join(sv_ref_ctx,seq)));
- BOOST_TEST(that.unary_c(element1) == fusion::invoke(& members::unary_c, fusion::join(sv_ptr_ctx,seq)));
- BOOST_TEST(that.unary_c(element1) == fusion::invoke(& members::unary_c, fusion::join(sv_spt_ctx,seq)));
- BOOST_TEST(that.unary_c(element1) == fusion::invoke(& members::unary_c, fusion::join(sv_obj_c_ctx,seq)));
- BOOST_TEST(that.unary_c(element1) == fusion::invoke(& members::unary_c, fusion::join(sv_ref_c_ctx,seq)));
- BOOST_TEST(that.unary_c(element1) == fusion::invoke(& members::unary_c, fusion::join(sv_ptr_c_ctx,seq)));
- BOOST_TEST(that.unary_c(element1) == fusion::invoke(& members::unary_c, fusion::join(sv_spt_c_ctx,seq)));
- BOOST_TEST(that.unary(element1) == fusion::invoke(& members::unary, fusion::join(sv_ref_d_ctx,seq)));
- BOOST_TEST(that.unary(element1) == fusion::invoke(& members::unary, fusion::join(sv_ptr_d_ctx,seq)));
- BOOST_TEST(that.unary(element1) == fusion::invoke(& members::unary, fusion::join(sv_spt_d_ctx,seq)));
- BOOST_TEST(that.unary_c(element1) == fusion::invoke(& members::unary_c, fusion::join(sv_obj_d_ctx,seq)));
- BOOST_TEST(that.unary_c(element1) == fusion::invoke(& members::unary_c, fusion::join(sv_ref_d_ctx,seq)));
- BOOST_TEST(that.unary_c(element1) == fusion::invoke(& members::unary_c, fusion::join(sv_ptr_d_ctx,seq)));
- BOOST_TEST(that.unary_c(element1) == fusion::invoke(& members::unary_c, fusion::join(sv_spt_d_ctx,seq)));
- BOOST_TEST(that.unary_c(element1) == fusion::invoke(& members::unary_c, fusion::join(sv_obj_c_d_ctx,seq)));
- BOOST_TEST(that.unary_c(element1) == fusion::invoke(& members::unary_c, fusion::join(sv_ref_c_d_ctx,seq)));
- BOOST_TEST(that.unary_c(element1) == fusion::invoke(& members::unary_c, fusion::join(sv_ptr_c_d_ctx,seq)));
- BOOST_TEST(that.unary_c(element1) == fusion::invoke(& members::unary_c, fusion::join(sv_spt_c_d_ctx,seq)));
- }
- template <class Sequence>
- void test_sequence_n(Sequence & seq, mpl::int_<2>)
- {
- fobj f;
- BOOST_TEST(f (element1, element2) == fusion::invoke(f , seq));
- BOOST_TEST(f (element1, const_(element2)) == fusion::invoke(f , const_(seq)));
- BOOST_TEST(const_(f)(element1, element2) == fusion::invoke<fobj const>(const_(f), seq));
- BOOST_TEST(const_(f)(element1, const_(element2)) == fusion::invoke<fobj const>(const_(f), const_(seq)));
- BOOST_TEST(binary1(element1, element2) == fusion::invoke(binary1, seq));
- BOOST_TEST(binary2(element1, element2) == fusion::invoke(binary2, seq));
- BOOST_TEST(that.binary(element1,element2) == fusion::invoke(& members::binary, fusion::join(sv_ref_ctx,seq)));
- BOOST_TEST(that.binary(element1,element2) == fusion::invoke(& members::binary, fusion::join(sv_ptr_ctx,seq)));
- BOOST_TEST(that.binary(element1,element2) == fusion::invoke(& members::binary, fusion::join(sv_spt_ctx,seq)));
- BOOST_TEST(that.binary_c(element1,element2) == fusion::invoke(& members::binary_c, fusion::join(sv_obj_ctx,seq)));
- BOOST_TEST(that.binary_c(element1,element2) == fusion::invoke(& members::binary_c, fusion::join(sv_ref_ctx,seq)));
- BOOST_TEST(that.binary_c(element1,element2) == fusion::invoke(& members::binary_c, fusion::join(sv_ptr_ctx,seq)));
- BOOST_TEST(that.binary_c(element1,element2) == fusion::invoke(& members::binary_c, fusion::join(sv_spt_ctx,seq)));
- BOOST_TEST(that.binary_c(element1,element2) == fusion::invoke(& members::binary_c, fusion::join(sv_obj_c_ctx,seq)));
- BOOST_TEST(that.binary_c(element1,element2) == fusion::invoke(& members::binary_c, fusion::join(sv_ref_c_ctx,seq)));
- BOOST_TEST(that.binary_c(element1,element2) == fusion::invoke(& members::binary_c, fusion::join(sv_ptr_c_ctx,seq)));
- BOOST_TEST(that.binary_c(element1,element2) == fusion::invoke(& members::binary_c, fusion::join(sv_spt_c_ctx,seq)));
- }
- template <class Sequence>
- void test_sequence_n(Sequence & seq, mpl::int_<3>)
- {
- fobj f;
- BOOST_TEST(f(element1, element2, element3) == fusion::invoke(f, seq));
- BOOST_TEST(const_(f)(element1, element2, element3) == fusion::invoke<fobj const>(const_(f), seq));
- }
- template <class Sequence>
- void test_sequence(Sequence & seq)
- {
- test_sequence_n(seq, mpl::int_<boost::fusion::result_of::size<Sequence>::value>());
- }
- void result_type_tests()
- {
- using boost::is_same;
- BOOST_TEST(( is_same<
- boost::fusion::result_of::invoke<int (*)(), fusion::vector0<> >::type, int
- >::value ));
- // disabled until boost::result_of supports it
- // BOOST_TEST(( is_same<
- // boost::fusion::result_of::invoke<int (*)(...), fusion::vector1<int> >::type, int
- // >::value ));
- BOOST_TEST(( is_same<
- boost::fusion::result_of::invoke<int (members::*)(), fusion::vector1<members*> >::type, int
- >::value ));
- // disabled until boost::result_of supports it
- // BOOST_TEST(( is_same<
- // boost::fusion::result_of::invoke<int (members::*)(...), fusion::vector2<members*,int> >::type, int
- // >::value ));
- }
- int main()
- {
- result_type_tests();
- typedef fusion::vector<> vector0;
- typedef fusion::vector<element1_type> vector1;
- typedef fusion::vector<element1_type, element2_type> vector2;
- typedef fusion::vector<element1_type, element2_type, element3_type> vector3;
- vector0 v0;
- vector1 v1(element1);
- vector2 v2(element1, element2);
- #if !defined(BOOST_NO_CXX11_RVALUE_REFERENCES)
- // Note: C++11 will pickup the rvalue overload for the d argument
- // since we do not have all permutations (expensive!) for all const&
- // and && arguments. We either have all && or all const& arguments only.
- // For that matter, use std::ref to disambiguate the call.
- vector3 v3(element1, element2, std::ref(element3));
- #else
- vector3 v3(element1, element2, element3);
- #endif
- test_sequence(v0);
- test_sequence(v1);
- test_sequence(v2);
- test_sequence(v3);
- typedef fusion::list<> list0;
- typedef fusion::list<element1_type> list1;
- typedef fusion::list<element1_type, element2_type> list2;
- typedef fusion::list<element1_type, element2_type, element3_type> list3;
- list0 l0;
- list1 l1(element1);
- list2 l2(element1, element2);
- list3 l3(element1, element2, element3);
- test_sequence(l0);
- test_sequence(l1);
- test_sequence(l2);
- test_sequence(l3);
- return boost::report_errors();
- }
|