C++非具体类型的模板专业化（另一个模板类！）

Question

我正在移植一些代码以在某些地方使用智能指针，并且遇到了专业化问题。在具体类型上专门化模板函数非常简单，但是如果我想在另一个模板化类（在我的例子中是 std::auto_ptr）上专门化特定方法怎么办？我似乎找不到合适的魔法词来让我的编译器不哭。

这是一个代码示例：

#include <memory> // std::auto_ptr
#include <iostream> // std::cout
class iSomeInterface
{
public:
    virtual void DoSomething() = 0;
};

class tSomeImpl : public iSomeInterface
{
public:
    virtual void DoSomething() { std::cout << "Hello from tSomeImpl"; }
};

template <typename T>
class tSomeContainer
{
public:
    tSomeContainer(T& t) : _ptr(t){}
    iSomeInterface* getInterfacePtr();
private:
    T _ptr;
    // usage guidelines
    tSomeContainer();
};

template <typename T>
iSomeInterface* tSomeContainer<T>::getInterfacePtr()
{
    return _ptr;
}

void testRegularPointer()
{
    tSomeImpl* x = new tSomeImpl();
    tSomeContainer<tSomeImpl*> xx(x);
    xx.getInterfacePtr()->DoSomething();
    delete x;
}
#if 1
// specialize for auto_ptr
template <typename T>
iSomeInterface* tSomeContainer< std::auto_ptr<T> >::getInterfacePtr()
{
    return _ptr.get();
}

void testAutoPtr()
{
    std::auto_ptr<tSomeImpl> y(new tSomeImpl);
    tSomeContainer< std::auto_ptr<tSomeImpl> > yy(y);
    yy.getInterfacePtr()->DoSomething();
}
#else
void testAutoPtr()
{
}
#endif

int main()
{
    testRegularPointer();
    testAutoPtr();
    return 0;
}

当类型为 std::auto_ptr 时，我试图重写 tSomeContainer::getInterfacePtr() 方法，但我就是无法让它继续

Answer 1

您不能部分特化类模板的单个成员。 （您可以部分特化整个类模板，除了该成员之外具有相同的定义，但这通常并不有趣。）

相反，您可以使用重载函数模板：

namespace ntSomeContainerImpl {
    template <typename T>
    T* getInterfacePtr(T* ptr) { return ptr; }
    template <typename T>
    T* getInterfacePtr(const std::auto_ptr<T>& ptr) { return ptr.get(); }
}

template <typename T>
iSomeInterface* tSomeContainer<T>::getInterfacePtr()
{ return ntSomeContainerImpl::getInterfacePtr( _ptr ); }

Answer 2

对你有用吗

template <template<typename> class PtrCtr, typename Ptr>
class tSomeContainer<PtrCtr<Ptr> >
{...};

？

我似乎记得如果也为非模板类​​定义它，就会遇到上述问题。青年MMV