c++ - 将指针的类型作为模板参数传递

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 traits:

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