Динамические члены класса

Question

Я новичок в вариативных шаблонах C++ 11 и не знаю, является ли то, что я делаю неправильно, простая синтаксическая ошибка, или это невозможно. Я хотел бы написать что-то вроде следующего:

template< typename... Args > 
struct Test 
{ 
    Args... args; 
    Test(Args... args_) : args(args_...) { 
    } 
}; 

В основном этот класс будет иметь «псевдо динамических членов». Я попытался это с:

struct A {}; 
template< typename... Args > 
A* MakeB(Args... args) 
{ 
    struct B : public A 
    { 
     Args... args; 
     B(Args... args_) : args(args_...) { 
     } 
    }; 
    return new B; 
}; 

ли это невозможно, или я просто не очень хорошо с переменным числом шаблонов?

Answer 1

Пакеты не являются типами и не могут использоваться как типы. Это специальная конструкция только для использования в шаблонах. У вас не может быть «член пакета».

Типичным решением является членом кортежа:

#include <tuple> 

template< typename... Args > 
struct Test 
{ 
    std::tuple<Args...> args_; 

    Test(Args const &... args) 
    : args_(args_...) 
    { } 
}; 

Ваш маленький производитель будет выглядеть следующим образом:

template <typename ...Args> 
Test<Args...> make_test<Args const &... args) 
{ 
    return Test<Args>(args...); 
} 

Использование:

auto t = make_test(1, true, 'x'); // makes a Test<int, bool, char>