Как сохранить список типов классов, которые потом (в runtime) должны быть вызваны в параметре шаблона?

Question

[Михаил Миронов]

Есть некоторая иерархия абстрактных базовых классов с набором конкретных классов;

Foo1Base: 
Foo1Concrete1; Foo1Concrete2; ...
Foo2Base:
Foo2Concrete1; Foo2Concrete2; ...

Для их создания применяется шаблонная фабрика

template <class T> FooFactory {
void Register(int id);
T* Create(int), 
vector<int> GetAvaliable();
}

Соответсвенно, использование:
Factory<Foo1Base>.Create(...)

Теперь есть некоторые другие конкретные классы

BarBase:
BarConcrete1;BarConcrete2;...

Для создания применяется обычная фабрика.
Каждый из конкретных классов использует определенный набор из базовых классов Foo#Base, известный во время компиляции.

Еще до создания конкретного Bar необходимо знать какие из базовых классов Foo будут в нем использоваться. Соответсвенно, в моем понимании у фабрики Bar есть метод, который должен возвращать список с типами используемых параметров, что бы вызвать шаблонную фабрику Foo с каждым из этих параметров, т.е:

Псевдокод:

for( foo_type : vector<FooTypeHolder>) {
auto foos_ = FooFactory <foo_type >.GetAvaliable()
}

Как такое реализовать? Куда копать?

Answer 1

[tsarevfs]

www.boost.org/doc/libs/1_59_0/libs/mpl/doc/refmanu... возможно что-то из boost mpl вам поможет. Но очень не рекомендуется это делать в pruduction коде. Такой код обычно очень дорого поддерживать.

Comments

[Михаил Миронов]

спасибо, изучаю

Answer 2

[maaGames]

Шаблоны инстанцируются при компиляции. Т.е. в рантайме с шаблонами делать ничего нельзя, потому что в рантайме шаблонов нет.

Comments

[Михаил Миронов]

спасибо. Хм. В моем случае, список типов во время компиляции уже известен. Рантайм нужен только для возможности пользователя выбрать нужный конкретный класс. Не покидает ощущение что можно как то найти решение.

[maaGames]

Михаил Миронов: Фабрика - правильное решение. Но все создаваемые объектом должны реализовывать один интерфейс. Т.е. нужно использовать полиморфизм.
boost::any, mpl и прочие библиотеки подходят для весьма малого круга задач, скорее всего вы просто что-то не до конца спроектировали. Там хоть классы могут быть принципиально разные, но в месте использования нужно знать конкретный тип. По сути, можно хранить void* и приводить его к нужному типу в месте использования.
Я бы советовал использовать полиморфизм, если получится.

Answer 3

[AtomKrieg]

Рыть в направлении variadic template + loop

stackoverflow.com/questions/7230621/how-can-i-iter...

Answer 4

[Сергей Низовцев]

Попахивает dependency injection. Посмотрите на https://github.com/boost-experimental/di или https://github.com/google/fruit