模板类型的模板方法特化

Question

有像这样的模板类（为理解我的观点而进行了简化）：

    template <typename TYPE> class Wrapper
    {
       TYPE m_tValue;
       void DoSomething();
    };

    template <typename TYPE> class Array
    {
       TYPE * m_pArray;
    };

是否可以（以及如何？）专门化方法 Wrapper<Array<TYPE>>::DoSomething()？

我的意思是，我可以通过定义 int 类型专门化此方法：

    template <> void Wrapper<int>::DoSomething(){...};

但是我如何为 Array 专门化它但保持 Array 不专门化？当然，我可以写：

    template <> void Wrapper<Array<int>>::DoSomething(){...};

但这根本不是通用的，并且与模板的优势相矛盾。

我试过

    template <typename T> void Wrapper<Array<T>>::DoSomething(){...};

但是我有编译错误。

我想知道正确的做法是什么？谢谢

Answer 1

不，C++ 不支持函数模板的偏特化，而您想要的是函数模板的有效偏特化。但是，在这些情况下，您通常可以使用 "delegate to class" 技巧。

像这样更改 DoSomething 的原始实现：

template <typename TYPE> class Wrapper
{
   TYPE m_tValue;
   void DoSomething() { DoSomethingHelper<TYPE>::call(*this); }
};

template <class TYPE>
struct DoSomethingHelper
{
  static void call(Wrapper<TYPE> &self) {
    /*original implementation of DoSomething goes here*/
  }
};

有了这个，你可以部分特化 DoSomethingHelper:

template <class TYPE>
struct DoSomethingHelper<Array<TYPE>>
{
  static void call(Wrapper<Array<TYPE>> &self) {
    /*specialised implementation of DoSomething goes here*/
  }
};

模板类型的模板方法特化

Template method specialization for template type

c++

templates

template-specialization

partial-specialization