基于模板的成员初始化，其中模板是抽象类的衍生

Question

我正在研究应用于抽象基因组类型的遗传算法的实现。

我的设置是这样的：

class AbstractGenome 
{ 
    virtual void init() = 0; 
    virtual void mutate() = 0; 
    . 
    . 
    . 
}; 

class GeneticAlgorithm 
{ 
    std::vector<AbstractGenome*> genomes; 

    void init(int numGenomes) 
    { 
    for (int i=0; i < numGenomes; ++i) 
    { 
     AbstractGenome *genome = new DerivedGenome(); <=This is where my problem is 
     genome->init(); 
     genomes.push_back(genome); 
    } 
    } 

} 

其中DerivedGenome是稍后定义（在某个时候）：

class DerivedGenome: public AbstractGenome 
{ 
    void init() { do stuff; } 
    void mutate() {do stuff; } 
} 

我的问题是我唯一知道的DerivedGenome它是从AbstractGenome派生的 - 因此我无法对DerivedGenome构造函数进行全面调用。

解决此问题的一种方法是从GeneticAlgorithm中派生出来，并覆盖所有基因组类型的init函数，但我想知道是否有方法以更好的方式解决此问题，例如通过模板？

非常感谢。

Answer 1

你可以通过DerivedGenome类型为init()：

template <typename Derived> 
void init(int numGenomes) 
{ 
    for (int i=0; i < numGenomes; ++i) 
    { 
     AbstractGenome *genome = new Derived(); 
     genome->init(); 
     genomes.push_back(genome); 
    } 
} 

，你可以调用通过：

init<DerivedGenome>(42); 

如果你想在情况下，更明确的编译错误，你尝试做init<int>(5)，你可以改变返回类型以要求继承：

template <typename Derived> 
typename std::enable_if< 
    std::is_base_of<AbstractGenome, Derived>::value 
>::type init(int numGenomes) { .. }