benn/lumiera_
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Function-Tools: switch tail-call to variadic template

Browse source 
..otherwise unchanged.

NOTE: we need two variants, since lambdas are always const functions,
      while a member pointer to (non)const function would not be captured
      by that overload and thus recurse into the main case and fail there
      with "has no operator()"
This commit is contained in:
Fischlurch 2017-03-19 00:27:59 +01:00
parent 0b7559ce9a
commit dfea57fd02
1 changed files with 11 additions and 20 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

31
research/try.cpp
View file

@ -64,34 +64,22 @@ namespace lib {
namespace meta {
template< typename RET, class CLASS
, typename A1
, typename...ARGS
>
struct _Fun<RET (CLASS::*) (A1) >
struct _Fun<RET (CLASS::*) (ARGS...) const>
{
typedef RET Ret;
typedef Types<CLASS* const, A1> Args;
typedef RET Sig(CLASS* const, A1);
typedef Types<CLASS* const, ARGS...> Args;
typedef RET Sig(CLASS* const, ARGS...);
};
template< typename RET, class CLASS
, typename A1
, typename...ARGS
>
struct _Fun<RET (CLASS::*) (A1) const>
struct _Fun<RET (CLASS::*) (ARGS...) >
{
typedef RET Ret;
typedef Types<CLASS* const, A1> Args;
typedef RET Sig(CLASS* const, A1);
};
template< typename RET, class CLASS
, typename A1
, typename A2
>
struct _Fun<RET (CLASS::*) (A1,A2) const>
{
typedef RET Ret;
typedef Types<CLASS* const, A1,A2> Args;
typedef RET Sig(CLASS* const, A1,A2);
typedef Types<CLASS* const, ARGS...> Args;
typedef RET Sig(CLASS* const, ARGS...);
};
}}//namespace lib::meta
@ -170,12 +158,15 @@ main (int, char**)
auto lambda = [&](uint ii) { return funk.fun(ii); };
Fun f7{lambda};
showType (funny);
showType (&funny);
showType (Funky::notfunny);
showType (memfunP);
showType (lambda);
showType (f7);
cout << "\n\n-------\n";