具有模板派生類的基類純虛函數

Question

我正在嘗試將多態與模板派生類一起使用。考慮下面的代碼：

// base class 
class A { 
    public: 
    virtual void f() = 0; 
}; 

// templated derived class 
template< typename T > 
class B : public A {}; 

template <> //define a specialization of B 
class B<int> {}; 

// trying to define a specialization of f 
template <> 
void B<int>::f() {} 

我的基類有純虛函數f。我正在存儲一個基類指針向量A*，並且想在所有這些向量上調用f，並在模板派生類中使用適當的多態性。然而，我無法將f的特例，因爲我收到以下錯誤：

test.cpp:17:18: error: no member function ‘f’ declared in ‘B<int>’ void B<int>::f() {} 

顯然錯誤這裏是f實際上不是模板類的成員函數。有什麼辦法可以定義f的特化（或幾乎相同的東西），或者這是不可能的？如果不可能，你能提出另一種方法嗎？

[道歉，如果這是一個重複 - 我搜查，發現對模板，繼承和多態的問題許多變化，但沒有完全相符我的。]

Answer 1

template <> //define a specialization of B 
class B<int> {}; 

您的專業沒有定義覆蓋虛擬功能。將此專業化更改爲：

template <> //define a specialization of B 
class B<int> : public A 
{ 
    public: 
     void f() override; 
} 

專業化就像定義一個新類一樣。你必須定義其中的所有內容。如果專業化應該有一個特定的方法：定義它。

編輯：也糾正了從原來的問題繼承的錯字。