模板構造函數中使用派生類

Question

我有一個模板構造函數的類：

class TCons { 
    template <typename T> TCons(T t); 
} 

是一家專業的實現：

template <> TCons::TCons(int i) { doMyStuff(i); } 

我也有一個基類的特化：

template <> TCons::Tcons(TBase &t) { doMyStuff(t); } 

但是，當我嘗試使用派生對象初始化一個TCons對象時，這似乎不起作用作爲參數。

class TDeriv: public TBase { }; 
TDeriv td; 
TCons tc = td; 

我不能使用指針來解決這個問題（因爲一切都被包裝在一個宏內）。問題出現在鏈接階段。

這是錯誤的，還是我錯過了什麼？

Answer 1

當我們試圖構建tc這裏：

TCons tc = td; 

我們有一個選擇的構造函數：

template <typename T> TCons(T t); 

當我們執行模板扣，我們推斷T = TDeriv。這不是不是匹配你的TBase明確的專業化（也不是int之一），所以我們堅持與主要模板。您不提供它的定義，這就是爲什麼你有鏈接器錯誤。

如果您希望對所有從TBase繼承的類型調用TBase構造函數，則必須爲這些情況禁用構造函數模板。我們可以做到這一點SFINAE：

template <typename T, 
      typename = std::enable_if_t<!std::is_base_of<TBase, T>::value>> 
TCons(T); 

，同時還讓您的其他構造非模板重載：

TCons(int); 
TCons(TBase&); 

只有當你需要專注 - 超載是要簡單。