Шаблоны Variadic и новые

vector::push_back ожидает один параметр, поэтому вы не можете расширить вариативный шаблон в вызове функции. Также я добавил параметр шаблона для базового класса (от которого происходят все остальные классы).

Вот что компилируется.

struct base{};
struct d0 : base{};
struct d1 : base{};
struct d2 : base{};

#include <vector>

// termination condition for helper function
template <class T>
void add(std::vector<T*>&) { 
}

// helper function
template <class T, class Head, class... Tail>
void add(std::vector<T*>& v) { 
       v.push_back(new Head()); 
       add<T, Tail...>(v);
}

template <class T, class ... U>
class test
{
    std::vector<T*> vec;
public:
    test() {
       add<T, U...>(vec);      
    }
};

int main() 
{
    test<base, d0,d1,d2> t;
}

Вы можете сделать это, но это будет немного окольным путем, поскольку вы пишете выражение напрямую. Вам нужно вызвать push_back один раз для каждого аргумента в списке аргументов шаблона с переменным числом аргументов.

Как вы этого добиваетесь? Ну, вызвав рекурсивную функцию один раз для каждого аргумента шаблона:

template <typename Base, typename T1, typename T2, typename... T>
void fill(std::vector<Base*>& vec) {
    vec.push_back(new T1);
    fill<Base, T2, T...>(vec);
}

template <typename Base, typename T1>
void fill(std::vector<Base*>& vec) {
    vec.push_back(new T1);
}

Здесь у нас есть две перегрузки функции fill, одна с вариативным списком аргументов шаблона, а другая без — это базовый случай рекурсии. Пока есть хотя бы два аргумента шаблона, вызывается первая версия. Если остался только один аргумент, вместо него вызывается второй аргумент.

Назовите это так в конструкторе:

fill<TestCase, T...>(test_cases);

Расширение пакета может произойти только в выбранном числе ситуаций и не работает для произвольных выражений или инструкций. Однако, поскольку одной из таких ситуаций является инициализация списка и поскольку порядок операций определен для инициализаторов фигурных скобок синтаксиса инициализации списка, всегда можно расширить произвольный оператор. А именно:

typedef std::initializer_list<int> expand;
expand { ( test_cases.push_back(new T), void(), 0 )... };

Хитрость void() состоит в том, чтобы подавить любой вызов перегруженного operator,. Совершенно неуместно здесь, но я включил его, так как он может быть полезен при рефакторинге функциональности макроса:

#define EXPAND( exp ) \
    std::initializer_list<int> { ( (exp), void(), 0 )... }

// No use of '...', it's in the macro body
EXPAND(( test_cases.push_back(new T) ));

В соответствующей заметке в этом конкретном случае вы можете использовать поддержку вектора initializer_list, написав конструктор следующим образом

Test()
:test_cases{ new T ... }
{ }

Или с помощью присваивания, если по какой-либо причине вы не можете использовать инициализаторы конструктора

Test() {
  test_cases = { new T ... };
}

Может быть, вам нужен кортеж внутри вашего std::vector? Не уверен, что это то, что вы хотели, но это компилируется по крайней мере на моем G++ 4.6.1: D

#include <vector>
#include <utility>
#include <functional>
#include <string>

template<class... T>
class Test {
  std::vector<std::tuple<T*...>> test_cases;
public:
  Test() {
    // Here, for each T an instance should be added to test_cases.
    test_cases.push_back(std::tuple<T*...>((new T)...));
  }
};

int main()
{
   Test<int, float> foo;
   Test<std::string, double> bar;
}

Мне кажется, вам нужен динамический вектор типа любой (хотя лично я не смотрел, друг сказал мне, что в библиотеке повышения, по-видимому, есть что-то подобное), а не вектор шаблона.

Вектор-шаблон — это, по сути, вектор, который может принимать любой из одного определенного типа (либо все целые, либо все двойные, либо все числа с плавающей запятой, но не целые числа, двойные числа и числа с плавающей запятой).

Причина, по которой такого класса обычно нет, заключается в том, что каждый элемент занимает в памяти различный размер блока (char - это байт, int может быть 4 байта и т. д. и т. д.), и это потребует дополнительных ресурсов при поиске чтобы знать, чего ожидать (обычное хранилище является непрерывным... что такое вектор, учитывая, что это «в основном» массив).

Если вы хотите создать свой собственный (я пытался), вы смотрите на указатели void *, динамическое выделение памяти и целый ряд головных болей, связанных с приведением типов (я не знаю ни одного автоматизированного метода для правильного приведения типа элемента за кулисами , но и другие могут скинуться).