使用模板化类型的部分模板专业化（嵌套模板类）

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

没有功能模板的部分专业化之类的东西。 一种解决方法是委托一个类模板，该模板实际上可以是部分专用的。 遵循以下原则：

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); }