Как передать массив переменных в template? [закрыт]

Существует такая вещь как шаблон с переменным кол-вом параметров(он же variadic template). Для применения в простых случаях требуется немного знаний о рекурсии и шаблонах.

Пример функции которая выводит на экран все что в нее передается ( любое кол-во типов, и любое кол-во передаваемых аргументов:

#include <iostream>
using namespace std;

template <typename T>
void print(T value) {
cout << value << endl;
}
template<class first, class ... others>
void print(first value, others ... package)
{
cout << value << endl;
print(package...);
}
void main() {
system("chcp 1251 > null");
string str1 = "шалость";
string str2 = "удалась";
int a = 55;

print(a, str1, 55.f, str2, "rrrr", 434 , "Sdsd");
system("pause");
}

Механизм работы вкратце и предельно простыми словами:

При вызове функции в мейне, вызывается 2 ой экземпляр функции print, в котором первый параметр first и вместо второго параметра идет пак/список параметров others... list.

Выводится на экран параметр first. Затем идет рекурсивный вызов где в качестве аргумента выступает пак list. Тут самое интересное. Вызывается все тот экземпляр что и в первый раз. От cписка list "отрывается" первый параметр и идет на место first, а оставшаяся часть списка остается в others... list.

Как только в списке остается один параметр, вызывается перегрузка функции print с одним параметром (та что c одним шаблонным параметром "Т"), выводится последний параметр и происходит выход из рекурсии.

Стоит пояснить что делает оператор "...", а именно в том месте где происходит рекурсивный вызов. Конструкция "list..." означает распаковку списка параметров, т.е вместо "list..." подставляются все параметры которые в нем хранятся через запятую.

Мозг сломать можно, согласен) Но в плюсах без этого никак.

Ну а для определения типа параметра который пришел в шаблонную функцию можно использовать RTTI.

Убрал union. Передаю аргументы в виде указателя на массив. Всё работает.

// g++ -Wall templargs.cpp
# include <string>
using std::string;
# include <iostream>
using std::cout;
template <typename T1, typename T2>
void Bingo (T1 * args1 [],T2 * args2 []){
  for(size_t i = 0 ;args1[i];++ i) {
    (*(args1[i])) = 777 ; }
  for(size_t i = 0 ;args2[i];++ i) {
    (*(args2[i])) = "777" ; } }
struct Arg {
  enum  { Int , String  } ;
  void * arg ;
  int type ;
} ;    
void Bingo (Arg args []) {
  for(size_t i = 0 ;args[i].arg;++ i) {
    switch(args[i].type){
    case  Arg::Int  :
      (*(int*)(args[i].arg)) = 888 ;
      break;
    case  Arg::String :
      (*(string*)(args[i].arg)) = "888" ;
      break;
    default : ; } } }
int main(){
  int 
a = 0,
b = 0,
c = 0,
d = 0,
e = 0,
r = 0,
p = 0;
string
z = "text",
x = "text",
cs = "text";
  // создаёте массив аргументов, заканчивающийся пустым указателем
  int * argsi []= {&a,&b,&c,&d,&e,&r,&p,nullptr};
  string * argss[] = {&z,&x,&cs,nullptr} ;
  Bingo(argsi,argss);
  cout << "p="<<p<<"\n"<<"cs="<<cs<<"\n";
  Arg args [ ] = { { & a , Arg::Int } , { & z , Arg::String } , { nullptr , 0 } } ;
  Bingo(args);
  cout << "a="<<a<<"\n"<<"z="<<z<<"\n";
}