C++ шаблон ковариационная полиморфизм

Question

Я пишу общий класс фабрики под названием Factory

//abstract factory 
template <class C> 
class Factory{ 
    public: 
     virtual C* create()=0; 
} 
//concrete factory 
template <class C> 
class NormalFactory:public Factory<C>{ 
    public: 

    C* create(){return new C;} 
} 

Я хочу сделать следующее:

typedef Factory<Enemy> EnemyFactory; 
EnemyFactory* e = new NormalFactory<Troll>; //Troll inherits Enemy 
//client code 
Enemy* enemy = e->create(); 

Но, к сожалению, я не могу этого сделать, так как NormalFactory не наследует завод. Есть ли способ сделать это, чтобы достичь того, что я хотел?

(реализации абстрагируемого EnemyFactory, не зная фактический тип Enemy он create())

Answer 1

Простой технической решения для параметризации бетонного завода с желаемым основанием, например:

template <class C, class C_base = C> 
class NormalFactory:public Factory<C_base>{ 
    public: 

    C* create(){return new C;} 
}; 

Example at Coliru.

Однако дизайн не чувствует себя так или иначе. Я предлагаю подумать о том, что должны делать фабрики, и если есть еще один более естественный способ сделать это на C++. Я думаю, что это XY-question.

Answer 2

Вы можете templatize создать, чтобы вы сказали, какой тип врага он создаст.

template<class T> 
T * create() { 
    return new T; 
} 

Enemy * e = my_normal_factory.create<Troll>(); 

В этом случае нет необходимости в шаблонизации класса.

или это

//abstract factory 
class Factory{ 
    public: 
     virtual Enemy * create()=0; 
} 
//concrete factory 
template <class C> 
class NormalFactory:public Factory<C>{ 
    public: 

    Enemy* create(){return new C;} 
} 


Factory* e = new NormalFactory<Troll>; //Troll inherits Enemy 


void some_function(Factory & somefactory) { 
    Enemy* enemy = somefactory->create(); 
} 

some_function(e);