如果T是從特定基類派生的，那麼如何專門化模板類的實現

Question

如果T是從特定基類派生的，我想專門實現模板類。

我該怎麼做？

在下面的代碼中，x.f（）和y.f（）應該做不同的工作。

我想不僅爲「派生」而且爲所有來自基類的派生類工作。

#include <iostream> 

class Base 
{ 
}; 

class Derived : public Base 
{ 
}; 

// If T not derived from Base: 
template <typename T> class MyClass 
{ 
public: 
    void f() 
    { 
     std::cout << "NOT derived from Base"; 
    } 
}; 

// If T derived from Base: 
template <typename T> class MyClass 
{ 
public: 
    void f() 
    { 
     std::cout << "Derived from Base"; 
    } 
}; 

int main() 
{ 
    MyClass<int> x; 
    MyClass<Derived> y; 
    x.f(); 
    y.f(); 
} 

Answer 1

可以使用下列內容：

#include <type_traits> 

//If T not derived from Base: 
template<class T, class Enable = void> class MyClass 
{ 
public: 
    void f() 
    { 
     std::cout << "NOT derived from Base"; 
    } 
}; 


template<typename T> 
class MyClass<T,typename std::enable_if<std::is_base_of<Base, T>::value>::type> 
{ 
public: 
    void f() 
    { 
     std::cout << "\nDerived from Base"; 
    } 
}; 

見Here