c++ 中模板的部分特化

Question

是否可以在 C++ 中做这样的事情：

template<class T1, class T2>
  class A<T1*, T2> {
    T1* var;
    T2 var1;

};

template<class T1, class T2>
  class A<T1, T2*> {
    T1 var;
    T2* var1;

};

实际上，我想知道当两个类具有相同的名称但模板中的参数不同时，我是否可以实现模板重载，提前感谢您的任何好主意

Answer 1

这就是所谓的部分模板特化

template<class T1, class T2>
class A;

template<class T1, class T2>
class A<T1*, T2> {
    T1* var;
    T2 var1;
};

template<class T1, class T2>
class A<T1, T2*> {
    T1 var;
    T2* var1;
};

当然，为了安全起见，您需要第三个模板A。否则你会得到两个都是指针的歧义。

Answer 2

如果你想知道没有指针的类型，你可以使用 boost::type_traits：

#include <boost/type_traits.hpp>

template<class T1, class T2>
class A {
  typedef boost::remove_pointer<T1>::type T1_type;
  typedef boost::remove_pointer<T2>::type T2_type;
  T1_type *var;
  T2_type *var1;
};

remove_pointer 模板很容易自己编写：

template<class T> 
struct remove_pointer{
  typedef T type;
};

template<class T>
struct remove_pointer<T*>{
  typedef T type; 
  //or even 
  typedef remove_pointer<T>::type type;
};