模板函數的特化可以是虛擬的嗎？

Question

喜歡的東西，例如，

class A { 
    template<typename T> T DoStuff(); 
    template<> virtual int DoStuff<int>() = 0; 
}; 

Visual Studio 2010的說沒有，但我得到的是我只是搞砸語法一種奇怪的感覺。成員函數模板的顯式完全特化可以是虛擬的嗎？

Answer 1

顯式特化在類中是不合法的。即使你可以使它成爲部分專業化，你仍然會遇到「模板不能成爲虛擬」的問題。

n3290，第14.5.2規定：

的成員函數模板不得虛。

而且給出了這樣的例子：

template <class T> struct AA { 
    template <class C> virtual void g(C); // error 
    virtual void f(); // OK 
}; 

去之前就聲明，成員函數模板不用於虛擬覆蓋算過。

Answer 2

根據C++ 98標準，成員函數模板不應該是虛擬的。 http://www.kuzbass.ru:8086/docs/isocpp/template.html。

-3-成員函數模板不應該是虛擬的。 [示例：

template <class T> struct AA { 
    template <class C> virtual void g(C); // error 
    virtual void f();      // OK 
}; 

Answer 3

你可以通過使用常規的非模板虛擬函數重載你的函數模板類似的效果。