c++ - 是否可以专门研究某些(不是全部)类模板参数？

Question

是否可以专门处理某些(不是全部)类模板参数？

例如:

template <typename T, typename U>
class TC
{
public:
 void Foo();
};

template <typename T, typename U>
void TC<T, U>::Foo()
{

}

template <???, typename U>
void TC<int, U>::Foo()
{
  //Want this defined for all U but only when T is int.
}

int main(int argv, char * args [])
{
 TC<int, char> tc;
 return 0;
}

Answer 1

通常，您可以仅特化类模板的某些模板参数，这称为“部分特化”。执行此操作时，您将创建一个新的专用模板版本，“覆盖”通用版本。

在您的情况下，您似乎只想专门化模板的一部分，即 Foo() 方法，但这是不可能的。您必须专门化整个 TC 类:

// specialization for T=int
template <typename U>
class TC<int, U> {
public:
  void Foo();
};

// implementation of Foo() for the specialized template
template <typename U>
void TC<int, U>::Foo()
{
  //Want this defined for all U but only when T is int.
}