是否有某种方法可以指定功能模板参数是否是特定的模板类？

Question

我将根据以下示例解释我的问题：

template <typename Param1, typename Param2>
class foo1
{
  void lol();
};

template <typename Param1, typename Param2>
class foo2
{
  void lol();
};

////////////////////////// FIRST OPTION //////////////////////////

template <typename Param1, typename Param2>
void func(foo1<Param1, Param2> a)
{
  a.lol();
  a.lol();
}

template <typename Param1, typename Param2>
void func(foo2<Param1, Param2> a)
{
  a.lol();
}

////////////////////////// SECOND OPTION //////////////////////////

template <typename Foo_>
void func(Foo_ a)
{
  a.lol();
  a.lol();
}

///////////////////////////////////////////////////////////////////

int main()
{
  return 0;
}

我的目标是为 func - foo1 和 foo2 编写两个过载。 第一个选项工作正常，但是我不喜欢我编写未使用的 func 的模板参数。 有什么方法可以避免在 func 的签名中编写模板参数？

我想到写类似的内容第二个选项，但是问题是超载有所不同。

Answer 1

使用模板参数使用使用。没有它们， foo1 和 foo2 只是类模板而不是类。

最小化打字的一种简单方法是使用模板参数包：

template<class... T>
void func(foo1<T...> a) {
    a.lol();
    a.lol();
}

template<class... T>
void func(foo2<T...> a) {
    a.lol();
}

---

如果需要此检查很多，则可以创建概念 s（自C ++ 20）：

#include <type_traits>

// concept for foo1:
template <class T> struct is_foo1 : std::false_type {};
template <class P1, class P2> struct is_foo1<foo1<P1, P2>> : std::true_type {};
template <typename T> concept Foo1Type = is_foo1<T>::value;

// concept for foo2:
template <class T> struct is_foo2 : std::false_type {};
template <class P1, class P2> struct is_foo2<foo2<P1, P2>> : std::true_type {};
template <typename T> concept Foo2Type = is_foo2<T>::value;

然后 func 过载变得更简单：

void func(Foo1Type auto a) {    
    a.lol();
    a.lol();
}

void func(Foo2Type auto a) {    
    a.lol();
}

demo