c++ - 专门化模板成员函数以针对特殊模板类以不同的方式工作

Question

我有两个类 class A 和 class B 它们都是 A 中成员函数的模板类 我希望它在 A 的类型为 B 时以特殊方式运行对于我不知道该怎么做的任何其他类型，以正常方式？

template <class B>
class B
{
private:
  T m;
public:
  ...... any member functions
}

template <class T>
class A
{
private:
  T var;
public:
  void doSomething();
};
template <class T>
void A<T>::doSomething(){...........//implementation}
template <class T> 
void A<B<T>>::doSomething(){................//different implementation}

Answer 1

你可以专攻A这样:

template <class T>
class A<B<T>> {
   // ...
};

这是 partial template specialization 的一个实例.

如果拒绝全类特化，可以推迟A<T>::doSomething()的工作到函数 doSomethingForA<T>(A &)那将是部分特化的，并且可能是 A<T> 的 friend .