抽象類通過模板化的虛函數訪問已實現的類型？

Question

我想知道是否有可能是任何方式寫在抽象類的模板功能，並將它（模板函數）自動派生類的類型實例？

所以，你有一個類，它看起來像這樣

class A 
{ 
    virtual template < typename T> 
    void vtfunc(void) 
}; 
class B : public A 
{ 
    /// No declared members pertaining to this example 
} 

然後，每當從A派生的類被聲明，它編譯「vtfunc」本身作爲模板參數T. 然後，調用vtfunc （）通過A的接口調用該函數編譯其派生類B.

的isntance是否有這樣做，或者寫東西fiddley有這種效果的方法嗎？

顯然我知道模板參數可能隻影響類的內部，而不是返回類型和參數 - 他們將需要是因爲這樣的多態性的作品一樣。

Answer 1

我不知道你在做什麼之後，但一個共同的模式是所謂的curiously recurring template pattern;在這裏，基類本身就是模板，而不是它的成員函數。換句話說：

template <typename T> 
class A 
{ 
    virtual void vtfunc(void) 
}; 

class B : public A<B> 
{ 
    … 
}; 

Answer 2

請考慮使用非成員函數。