lundi 26 juin 2017

c++ variadic template pack expansion by groups of arbitrary size

(Somehow related to this previous question)

I want to evaluate the parameters of a template function by groups of N parameters. Something like this:

template <size_t N, typename ... Ts>
void evaluate(Ts const & ... fn)
{
    for( int i=0; i<2; i++ )
        runH<N>::func(i, fn...);
}
int main()
{
    run<3>( // N = 2
        [](int i){ cout << "lambda func 1: " << std::to_string( i ) << endl; },
        [](int i){ cout << "lambda func 2: " << std::to_string( i ) << endl; },
        [](int i){ cout << "lambda func 3: " << std::to_string( i ) << endl; },
        [](int i){ cout << "lambda func 4: " << std::to_string( i ) << endl; },
        [](int i){ cout << "lambda func 5: " << std::to_string( i ) << endl; }
    );
}

should output:

lambda func 1: 0
lambda func 2: 0
lambda func 1: 1
lambda func 2: 1
lambda func 3: 0
lambda func 4: 0
lambda func 3: 1
lambda func 4: 1
lambda func 5: 0
lambda func 5: 1

Remainder must be handled properly. So far I managed to evaluate just the first group of N parameters with this:

template <std::size_t N>
struct runH
{
    template <typename T0, typename ... Ts>
    static void func (const int i, T0 const & f0, Ts const & ... fn)
    {
        f0(i);
        runH<N-1U>::func(i, fn...);
    }
};

template <>
struct runH<0>
{
    template <typename ... Ts>
    static void func (const int i, Ts const & ... fn) { }
};

template <size_t N, typename ... Ts>
void evaluate(Ts const & ... fn)
{
    for( int i=0; i<2; i++ )
        runH<N>::func(i, fn...);
}

template <std::size_t N, typename ... Ts>
void run (Ts const & ... fn)
{
    using unused = int[];
    (void)unused { 0, (evaluate<N>(fn...), 0) };
}

Is there any way for the run function to keep expanding the parameters? I tried to add another ellipsis at the end but it doesn't compile.

Aucun commentaire:

Enregistrer un commentaire