传递指针的类型作为模板参数

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); 
}