ichthyo/LUMIERA.clone
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

TreeExplorer: allow to drive the function traits solely by the function signature

Browse source 
...which still needs to be the *concrete* signature of the funcition to pass,
but we'll attempt to loosen that requirement in the next refactoring steps
This commit is contained in:
Fischlurch 2018-09-09 01:11:58 +02:00
parent 5d4f1015aa
commit a175306f50
1 changed files with 7 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
src/lib/iter-tree-explorer.hpp
View file

@ -469,10 +469,13 @@ namespace lib {
* keep the argument-accepting front-end still generic (templated `operator()`). This
* special adapter supports the case when the _expansion functor_ yields a child sequence
* type different but compatible to the original source sequence embedded in TreeExplorer.
* @tparam FUN something _"function-like"_ passed as functor to be bound
* @tparam SRC the source iterator type to apply when attempting to use a generic lambda as functor
* @tparam FUN either the signature, or something _"function-like"_ passed as functor to be bound
* @tparam SRC (optional) but need to specify the source iterator type to apply when passing
* a generic lambda or template as FUN. Such a generic functor will be _instantiated_
* passing the type `SRC&` as argument. This instantiation may fail (and abort compilation),
* but when it succeeds, we can infer the result type `Res` from the generic lambda
*/
template<class FUN, typename SRC>
template<class SIG, typename SRC =void>
struct _FunTraits
{
/** handle all regular "function-like" entities */
@ -492,7 +495,7 @@ namespace lib {
};
using Sig = typename FunDetector<FUN>::Sig;
using Sig = typename FunDetector<SIG>::Sig;
using Arg = typename _Fun<Sig>::Args::List::Head; // assuming function with a single argument
using Res = typename _Fun<Sig>::Ret;