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

Function-Tools: verify coverage of reference and rvalue reference types

Browse source 
the usual suspects...
turns out we need specialisations for those too, even while in most cases
those special reference type won't make it far, and just degrade to function pointer
This commit is contained in:
Fischlurch 2017-03-19 01:26:48 +01:00
parent f8f8cc02d1
commit e2c4dec015
1 changed files with 74 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

74
research/try.cpp
View file

@ -57,6 +57,7 @@ using std::placeholders::_1;
using std::bind;
using std::string;
using std::tuple;
using std::move;
////////////////############# Investigation of implementation variants
namespace lib {
@ -87,6 +88,12 @@ namespace meta {
: _FuZ<SIG>
{ };
/** Specialisation for passing a rvalue reference */
template<typename SIG>
struct _FuZ<SIG&&>
: _FuZ<SIG>
{ };
/** Specialisation to deal with member pointer to function */
template<class C, typename RET, typename...ARGS>
struct _FuZ<RET (C::*) (ARGS...)>
@ -157,6 +164,36 @@ showType (F)
SHOW_TYPE (Sig);
}
template<typename F>
void
showRef (F&)
{
using Sig = typename _FuZ<F>::Sig;
SHOW_TYPE (F);
SHOW_TYPE (Sig);
}
template<typename F>
void
showCRef (F&)
{
using Sig = typename _FuZ<F>::Sig;
SHOW_TYPE (F);
SHOW_TYPE (Sig);
}
template<typename F>
void
showRRef (F&&)
{
using Sig = typename _FuZ<F>::Sig;
SHOW_TYPE (F);
SHOW_TYPE (Sig);
}
using Fun = function<int(uint)>;
using Fuk = function<int(Funky&, uint)>;
@ -192,10 +229,47 @@ main (int, char**)
cout << "\n\n-------\n";
showRef (funny);
showRef (lambda);
showRef (f7);
showCRef (funny);
showCRef (lambda);
showCRef (f7);
showRRef (move(lambda));
showRRef (move(f7));
showType (move(&funny));
showType (move(lambda));
showType (move(f7));
Fun& funRef = f1;
Funky& funkyRef = funk;
Fun const& funCRef = f1;
Funky const& funkyCRef = funk;
showType (funRef);
showType (funkyRef);
showType (funCRef);
showType (funkyCRef);
cout << "\n\n-------\n";
SHOW_TYPE (decltype(&Funky::operator()));
SHOW_TYPE (decltype(lambda));
SHOW_TYPE (_FuZ<int(uint)>::Sig);
SHOW_TYPE (_FuZ<Fun&>::Sig);
SHOW_TYPE (_FuZ<Fun&&>::Sig);
SHOW_TYPE (_FuZ<Fun const&>::Sig);
SHOW_TYPE (_FuZ<Funky&>::Sig);
SHOW_TYPE (_FuZ<Funky&&>::Sig);
SHOW_TYPE (_FuZ<Funky const&>::Sig);
using Siggy = _FuZ<Fun>::Sig;
SHOW_TYPE (_FuZ<Siggy&>::Sig);
SHOW_TYPE (_FuZ<Siggy&&>::Sig);
SHOW_TYPE (_FuZ<Siggy const&>::Sig);
cout << "\n.gulp.\n";