c++ - 部分模板特化，使用模板化类型(嵌套模板类)

Question

给定泛型函数 foo:

template<typename T> void foo(T a) { a(); }

我想将此函数专门用于 Bar 类型，但是，Bar 本身有几个模板参数。我试图将 foo() 专门化如下:

template<typename... Args> void foo<Bar<Args...> >(Bar<Args...> a) { a(42); }

但是，这并不完全有效。有人可以帮帮我吗？谢谢

Answer 1

不存在函数模板的偏特化这样的东西。一种解决方法是委托(delegate)给一个类模板，它实际上可以是部分特化的。沿着这些线的东西:

template <typename T>
struct FooImpl {
  static void foo(T a) { /* general implementation */ }
};

template<typename... Args>
struct FooImpl<Bar<Args...>> {
  static void foo(Bar<Args...> a) { /* special implementation */ }
};

template<typename T>
void foo(T a) { FooImpl<T>::foo(a); }