boostorg/fusion
1
0
Fork 1
mirror of https://github.com/boostorg/fusion.git synced 2025-07-14 12:56:38 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add many tests for SFINAE-friendly result_of::invoke.

Browse Source
This commit is contained in:
Kohei Takahashi
2015-02-08 19:23:06 +09:00
parent 6ab68a29d8
commit c5c0147d7d
3 changed files with 256 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

168
test/functional/invoke.cpp
View File

@ -31,6 +31,8 @@
#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;
@ -80,6 +82,12 @@ struct fobj
int operator()(int i, object const &, object_nc &);
int operator()(int i, object const &, object_nc &) const;
};
// FIXME:
//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
{
@ -88,6 +96,11 @@ struct nullary_fobj
int operator()() { return 0; }
int operator()() const { return 1; }
};
// FIXME:
//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
@ -105,6 +118,12 @@ struct fobj_nc
int operator()(int i) { return 14 + i; }
int operator()(int i) const { return 15 + i; }
};
// FIXME:
//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
@ -114,11 +133,35 @@ struct nullary_fobj_nc
int operator()() { return 12; }
int operator()() const { return 13; }
};
// FIXME:
//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);
@ -182,28 +225,120 @@ members that;
members_ptr spt_that(new members);
const_members_ptr spt_that_c(new members);
fusion::single_view<members > sv_obj_ctx( that);
fusion::single_view<members &> sv_ref_ctx( that);
fusion::single_view<members *> sv_ptr_ctx(& that);
fusion::single_view<members const > sv_obj_c_ctx( that);
fusion::single_view<members const &> sv_ref_c_ctx( that);
fusion::single_view<members const *> sv_ptr_c_ctx(& that);
fusion::single_view<members_ptr const &> sv_spt_ctx(spt_that);
fusion::single_view<const_members_ptr const &> sv_spt_c_ctx(spt_that_c);
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);
fusion::single_view<derived > sv_obj_d_ctx( derived_that);
fusion::single_view<derived &> sv_ref_d_ctx( derived_that);
fusion::single_view<derived *> sv_ptr_d_ctx(& derived_that);
fusion::single_view<derived const > sv_obj_c_d_ctx( derived_that);
fusion::single_view<derived const &> sv_ref_c_d_ctx( derived_that);
fusion::single_view<derived const *> sv_ptr_c_d_ctx(& derived_that);
fusion::single_view<derived_ptr const &> sv_spt_d_ctx(spt_derived_that);
fusion::single_view<const_derived_ptr const &> sv_spt_c_d_ctx(spt_derived_that_c);
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>)
@ -317,7 +452,6 @@ void test_sequence_n(Sequence & seq, mpl::int_<1>)
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>

20
test/functional/invoke_function_object.cpp
View File

@ -30,6 +30,8 @@
#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;
@ -82,6 +84,11 @@ struct fobj
int operator()(int i, object const &, object_nc &);
int operator()(int i, object const &, object_nc &) const;
};
// FIXME:
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_function_object<fobj, sfinae_friendly::v0>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_function_object<fobj, sfinae_friendly::v1>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_function_object<fobj, sfinae_friendly::v2>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_function_object<fobj, sfinae_friendly::v3>));
struct nullary_fobj
{
@ -90,6 +97,10 @@ struct nullary_fobj
int operator()() { return 0; }
int operator()() const { return 1; }
};
// FIXME:
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_function_object<nullary_fobj, sfinae_friendly::v1>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_function_object<nullary_fobj, sfinae_friendly::v2>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_function_object<nullary_fobj, sfinae_friendly::v3>));
struct fobj_nc
: boost::noncopyable
@ -107,6 +118,11 @@ struct fobj_nc
int operator()(int i) { return 14 + i; }
int operator()(int i) const { return 15 + i; }
};
// FIXME:
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_function_object<fobj_nc, sfinae_friendly::v0>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_function_object<fobj_nc, sfinae_friendly::v1>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_function_object<fobj_nc, sfinae_friendly::v2>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_function_object<fobj_nc, sfinae_friendly::v3>));
struct nullary_fobj_nc
: boost::noncopyable
@ -116,6 +132,10 @@ struct nullary_fobj_nc
int operator()() { return 12; }
int operator()() const { return 13; }
};
// FIXME:
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_function_object<nullary_fobj_nc, sfinae_friendly::v1>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_function_object<nullary_fobj_nc, sfinae_friendly::v2>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_function_object<nullary_fobj_nc, sfinae_friendly::v3>));
typedef int element1_type;

93
test/functional/invoke_procedure.cpp
View File

@ -29,6 +29,8 @@
#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;
@ -78,14 +80,60 @@ members that;
members_ptr spt_that(new members);
const_members_ptr spt_that_c(new members);
fusion::single_view<members > sv_obj_ctx( that);
fusion::single_view<members &> sv_ref_ctx( that);
fusion::single_view<members *> sv_ptr_ctx(& that);
fusion::single_view<members const > sv_obj_c_ctx( that);
fusion::single_view<members const &> sv_ref_c_ctx( that);
fusion::single_view<members const *> sv_ptr_c_ctx(& that);
fusion::single_view<members_ptr const &> sv_spt_ctx(spt_that);
fusion::single_view<const_members_ptr const &> sv_spt_c_ctx(spt_that_c);
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_procedure<F, typename fusion::result_of::join<sv_obj , S>::type>));
SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<F, typename fusion::result_of::join<sv_ref , S>::type>));
SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<F, typename fusion::result_of::join<sv_ptr , S>::type>));
SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<F, typename fusion::result_of::join<sv_obj_c, S>::type>));
SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<F, typename fusion::result_of::join<sv_ref_c, S>::type>));
SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<F, typename fusion::result_of::join<sv_ptr_c, S>::type>));
SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<F, typename fusion::result_of::join<sv_spt , S>::type>));
SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<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>;
struct fobj
{
@ -103,6 +151,11 @@ struct fobj
int operator()(int & i, object &, object_nc &) { return i = 10; }
int operator()(int & i, object &, object_nc &) const { return i = 11; }
};
// FIXME:
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<fobj, sfinae_friendly::v0>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<fobj, sfinae_friendly::v1>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<fobj, sfinae_friendly::v2>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<fobj, sfinae_friendly::v3>));
struct fobj_nc
: boost::noncopyable
@ -113,11 +166,35 @@ struct fobj_nc
int operator()(int & i) { return i = 14; }
int operator()(int & i) const { return i = 15; }
};
// FIXME:
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<fobj_nc, sfinae_friendly::v0>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<fobj_nc, sfinae_friendly::v1>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<fobj_nc, sfinae_friendly::v2>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<fobj_nc, sfinae_friendly::v3>));
int nullary() { return element1 = 16; }
int unary(int & i) { return i = 17; }
int binary1(int & i, object &) { return i = 18; }
int binary2(int & i, object const &) { return i = 19; }
//FIXME
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<int(*)(), sfinae_friendly::v1>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<int(*)(), sfinae_friendly::v2>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<int(*)(), sfinae_friendly::v3>));
//
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<int(*)(int), sfinae_friendly::v0>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<int(*)(int), sfinae_friendly::v1>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<int(*)(int), sfinae_friendly::v2>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<int(*)(int), sfinae_friendly::v3>));
//
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<int(*)(int, object &), sfinae_friendly::v0>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<int(*)(int, object &), sfinae_friendly::v1>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<int(*)(int, object &), sfinae_friendly::v2>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<int(*)(int, object &), sfinae_friendly::v3>));
//
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<int(*)(int, object const &), sfinae_friendly::v0>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<int(*)(int, object const &), sfinae_friendly::v1>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<int(*)(int, object const &), sfinae_friendly::v2>));
//SFINAE_FRIENDLY_ASSERT((fusion::result_of::invoke_procedure<int(*)(int, object const &), sfinae_friendly::v3>));
typedef int (* func_ptr)(int &);
typedef int (* const c_func_ptr)(int &);