У меня есть шаблон класса variadic, который используется для создания класса верхнего уровня для переменного числа классов. Каждый класс, который должен входить в класс верхнего уровня, является производным от базового класса, поскольку для них есть общая функциональность. Я не знаю, как лучше хранить производные классы в родительском классе, но все же иметь доступ к полной функциональности производного класса.

Если я сохраню переменные аргументы в векторе, они все будут храниться как базовый класс, и я не смогу получить доступ к производным функциям. Если я храню их в кортеже, я не могу понять, как получить доступ к функциям по производному типу. Если я попытаюсь получить к ним доступкак обсуждено здесь на SO тогда make_unique недоступен (C ++ 14?).

Итак, я хочу сделать следующее:

class BaseElement {
public:
    virtual int polymorphicFunction() {return 0;};
};

class DerivedElement1 : public BaseElement {
public:
    virtual int polymorphicFunction() {return 1;};
}

class DerivedElement2 : public BaseElement {
public:
    virtual int polymorphicFunction() {return 2;};
}

template<typename... systems>   // systems will always be of derived class of BaseElement
class System {
    System() : subsystems(systems{}...) {} ;  // all variadic elements stored in tuple
    // tuple used below, the system elements don't need to be stored in a container, I just want to access them 
    // I'd be happy to use a vector or access them directly as a member variable
    // provided that I can access the derived class.  I can't use RTTI.
    const std::tuple<systems...> subSystems;

    // pointer or reference, I don't mind, but pd1/2 will always exist, 
    // (but perhaps be NULL), even if there is no derived element passed to the template parameter
    DerivedElement1 *pd1; 
    DerivedElement2 *pd2;
};

//Desired usage
System<DerivedElement1> sys;  // sys->pd1 == &derivedElement1WithinTuple, sys->pd2 == NULL
System<DerivedElement2> sys;  // sys->pd2 == &derivedElement2WithinTuple, sys->pd2 == NULL
System<DerivedElement1, DerivedElement2> sys;  // sys->pd1 == &derivedElement1WithinTuple, sys->pd1 == &derivedElement1WithinTuple

Кто-нибудь есть какие-либо предложения относительно того, как я мог бы достичь этого, пожалуйста?