傳遞指針的類型作爲模板參數

Question

我將在一個例子來解釋：

template<typename T> 
class Base{} 

class A: public Base<A>{} 

class foo(){ 
public: 
    template<typename T> 
    bool is_derived(){ 
     /* static check if T is derived from Base<T> */ 
    } 
} 

我發現this性狀以確定一個類是否是另一個的基座。

我的問題是，如果T是一個指針而沒有專門的boo模板函數，我怎麼能從T發送模板參數到is_base_of？

我想要做的是這樣的：如果 T是一個指針，然後if (is_base_of<Base<*T>,*T>) return true; 如果T是不是指針，然後if (is_base_of<Base<T>,T>) return true;

Answer 1

您可以使用std::remove_pointer性狀：

class foo(){ 
public: 
    template<typename T> 
    bool is_derived() const { 
     using type = std::remove_pointer_t<T>; 
     static_assert(std::is_base_of<Base<type>, type>::value, 
        "type should inherit from Base<type>"); 
    } 
}; 

Answer 2

基本上你已經回答了你自己。

C++ 14

bool is_derived(){ 
    static_assert(std::is_base_of<Base<T>, std::remove_pointer_t<T>>::value); 
} 

C++ 11

bool is_derived(){ 
    static_assert(std::is_base_of<Base<T>, typename std::remove_pointer<T>::type>::value); 
} 

C++ 03 - 包裝過你提到is_base_of（使用Boost.StaticAssert）

template<class Base, class Derived> struct my_is_base_of : is_base_of<Base, Derived> { }; 
template<class Base, class Derived> struct my_is_base_of<Base*, Derived*> : is_base_of<Base, Derived> { }; 

// ... 

bool is_derived(){ 
    BOOST_STATIC_ASSERT(my_is_base_of<Base<T>, T>::value); 
}