C++17: Typ-List in Matrix expanden und an template Funktion

[cppbert (Gast)]

C++17 VStudio 2017/oder gcc/clang

  template <typename First, typename Second>
  void test_combination( void* data_ )
  {
     //test code
  }

  void test_combinations(void* data_)
  {
    //muss kein tuple sein - koennte auch direkt als
    //Variadic hier drin stehen
    using All_types = std::tuple<int,Test,float,Blub/*,...*/>;

    test_combination(...)
  }

jetzt wuerde ich gerne die test_combination so instanzieren das ich alle 
Typ -Kombinationen durchlaufen

also

test_combinations(...)

  expandiert zu

test_combination<int,int>(data)
test_combination<int,Test>(data)
test_combination<int,float>(data)
test_combination<int,Blub>(data)
test_combination<int,...>(data)
test_combination<Test,int>(data)
test_combination<Test,Test>(data)
test_combination<Test,float>(data)
test_combination<Test,Blub>(data)
test_combination<Test,...>(data)
...

[cppbert (Gast)]

habs so geloest - geht das noch kuerzer?

template <typename First, typename Second>
void test_combination( void* data_ )
{
   //test code
}

template <typename First, typename... Types>
void test_combination_helper2( void* data_ )
{
  ( ( test_combination<First, Types>( data_ ) ), ... );
}

template <typename... Types>
void test_combination_helper1( void* data_ )
{
  ( ( test_combination_helper2<Types, Types...>(data_) ), ... );
}

void test_combinations( void* data_ )
{
  test_combination_helper1<int,Test,float,Blub/*,...*/>( data_ );
}

[Hannes W. (hannes_w129)]

Ich denke nicht, dass das kürzer geht. So habe ich das damals (C++14?) 
gelöst: 
https://github.com/hannesweisbach/atlas-rt/blob/master/atlas/tests/interface/type_list.h

Ich würde vermutlich die Testmatrix nicht mehr generieren lassen; das 
ist einfach nicht wartbar.