c++ - 部分模板特化

Question

我有一个场景，其中有一个模板类

template<typename X, typename Y>
class Foo
{
 typedef Y::NestedType Bar;

 int A (Bar thing);
 void B();
 int C(X that);

 // other stuff
};

然后我希望 A() 方法在 X 是给定类型时具有不同的行为(但 B 和 C 可以保持不变，实际代码实际上还有大约 10 个其他方法，其中一些是相当冗长并且经常调整..所以我宁愿避免进行全类特化并复制并粘贴全类实现)

我接着写道:

template<typename T>
int Foo<MyType, T>::A(Bar thing);

但我的编译器 (clang 163.7.1) 甚至拒绝将其视为任何类型的模板特化。

我编写代码的方式是否隐藏了一些语法错误，或者这种编码风格是否无效 C++？不幸的是，即使其他编译器确实支持这个习惯用法，我的公司仍然受困于 clang。

感谢您对此的任何帮助。

Answer 1

使用重载

template<typename X, typename Y>
class Foo
{
 // allows to wrap up the arguments
 template<typename, typename>
 struct Types { };

 typedef Y::NestedType Bar;

 int A (Bar thing) {
   return AImpl(thing, Types<X, Y>());
 }

 void B();
 int C(X that);

 // other stuff
private:
  template<typename X1, typename Y1>
  int AImpl(Bar thing, Types<X1, Y1>) {
    /* generic */
  }

  template<typename Y1>
  int AImpl(Bar thing, Types<SpecificType, Y1>) {
    /* special */
  }
};

您不能部分特化类模板的成员。您编写的是类模板本身的部分特化的成员函数 A 的定义。