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

experiment: bind function to fabricated signature

Browse source 
...and this is cool, since our command framework
already provides a nice type constructor / rebinding template,
so it's easy to pick up just some arbitrary function signature
and fabricate the corresponding "capture" and "undo" signatures.

Starting from there, we can construct std::function objects
with those specifically tailored signatures, and then bind
the actual variadic functions to these.


Bottom line is: it seems feasible to create a variadic
handler function, and then to emulate command invocations
through this function. For one this allows us to build
a debugging facility, and besides that it shows a path
how to solve the other binding problem GenNode -> command
This commit is contained in:
Fischlurch 2016-01-15 22:51:17 +01:00
parent 5906ce1e1a
commit 6ae8ad5d0b
1 changed files with 47 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

51
research/try.cpp
View file

@ -47,6 +47,7 @@ typedef unsigned int uint;
//#include "lib/diff/gen-node.hpp"
#include "lib/time/timevalue.hpp"
#include "proc/control/command-def.hpp"
#include "lib/format-cout.hpp"
#include "lib/format-util.hpp"
@ -55,6 +56,8 @@ typedef unsigned int uint;
#include <string>
//using lib::diff::GenNode;
using proc::control::CommandSignature;
using proc::control::CommandDef;
using lib::time::Time;
using util::stringify;
using util::join;
@ -67,27 +70,67 @@ using VecS = vector<string>;
template<typename...ARGS>
string
void
operate (ARGS const& ...args)
{
VecS strs = stringify<VecS> (args...);
cout << join (strs);
}
template<typename...ARGS>
string
capture (ARGS const& ...args)
{
VecS strs = stringify<VecS> (args...);
return join (strs);
}
template<typename...ARGS>
void
undo (ARGS const& ...args)
{
VecS strs = stringify<VecS> (args...);
cout << "UNDO..." << join (strs);
}
#define SHOW_TYPE(_TY_) \
cout << "typeof( " << STRINGIFY(_TY_) << " )= " << lib::meta::typeStr<_TY_>() <<endl;
int
main (int, char**)
{
cout << operate ("lalü", string("lala"), 12, 34L, 56.78) <<endl;
cout << capture ("lalü", string("lala"), 12, 34L, 56.78) <<endl;
auto ops = operate<double,Time>;
using FunnySIG = lib::meta::_Fun<typeof(ops)>::Sig;
using SIG_Opr = CommandSignature<FunnySIG, string>::OperateSig;
using SIG_Cap = CommandSignature<FunnySIG, string>::CaptureSig;
using SIG_Udo = CommandSignature<FunnySIG, string>::UndoOp_Sig;
SHOW_TYPE (SIG_Opr);
SHOW_TYPE (SIG_Cap);
SHOW_TYPE (SIG_Udo);
function<SIG_Opr> funny;
function<SIG_Cap> capy;
function<SIG_Udo> undy;
function<string(double, Time)> funny;
cout << "funny? " << bool(funny) <<endl;
funny = operate<double,Time>;
capy = capture<double,Time>;
undy = undo<double,Time,string>;
cout << "funny? " << bool(funny) <<endl;
cout << funny(98.7654321987654321987654321, Time(1,2,3,4)) <<endl;
cout << capy (98.7654321987654321987654321, Time(1,2,3,4)) <<endl;
cout << "\n.gulp.\n";