部分模板專業化侷限於某些類型

Question

是否可以編寫一個僅用於類類型的部分模板專業化，例如，從特定類繼承或遵守可以通過類型特徵表達的其他約束？ 即是這樣的：

class A{} 

class B : public A{} 

template<typename T> 
class X{ 
    int foo(){ return 4; } 
}; 

//Insert some magic that allows this partial specialization 
//only for classes which are a subtype of A 
template<typename T> 
class X<T>{ 
    int foo(){ return 5; } 
}; 

int main(){ 
    X<int> x; 
    x.foo(); //Returns 4 
    X<A> y; 
    y.foo(); //Returns 5 
    X<B> z; 
    z.foo(); //Returns 5 
    X<A*> x2; 
    x2.foo(); //Returns 4 
} 

Answer 1

通常，如果你想有條件的模板偏特，你需要提供一個額外的參數，然後使用enable_if：

template<typename T, typename=void> 
class X { 
public: 
    int foo(){ return 4; } 
}; 

template<typename T> 
class X<T, typename std::enable_if<std::is_base_of<A, T>::value>::type> { 
public: 
    int foo(){ return 5; } 
};