Question

我基本上尝试做Template specialization of a single method from a templated class中讨论的内容，只是我的TClass有多个模板参数，如下所示：

template < class KEY, class TYPE >
class TClass
{
public:
    :
    void doSomething(KEY * v);
    :
};

template < class KEY, class TYPE >
void TClass<KEY, TYPE>::doSomething(KEY * v) 
{
    // do something
}

到目前为止这是有效的，但是如何为一个模板参数定义一个专门的实现呢？我尝试添加这个：

template < class TYPE >
void TClass<int, TYPE>::doSomething(int * v)
{
    // do something if KEY is int
}

但是编译器抱怨“无法将函数定义与现有声明匹配”（VC2010）该方法/函数。

作为旁注：如果我同时专门化两个模板参数，它可以工作：

template < >
void TClass<int, char>::doSomething(int * v)
{
    // do something if KEY is int and TYPE is char
}

但这不是我想做的事。

有什么建议吗？

Answer 1

在通过部分特化定义方法之前，您必须专门化整个类：

template <typename T, typename U>
class TClass;

template <typename T>
class TClass<int, T>
{
    void doSomething(int* v);
};

template <typename T>
void TClass<int, T>::doSomething(int* v)
{
    // ...
}

<强> Live demo

Answer 2

你可以完全专门化类方法，但据我记得你不能部分专门化它。

您可以尝试对整个班级进行部分专业化，但这可能会涉及大量重复。

具有多个模板参数的模板化类的单个方法的模板特化

2 个答案: