问题 如何将模板模板与模板实例进行比较？

这是尝试用直接模板结构元编程和SFINAE解决问题。

该计划是2倍。首先，一个traits类，它接受一个模板和一个参数包，并回答“将一组参数应用于模板是合法的”。这是一个令人惊讶的有用结构：作为一个例子，给予SFINAE友好 result_of_t<F(Args...)>， 你可以写 can_invoke<F(Args...)> 在一行。

其次，我们写 is_template_instance_of。这里的目标是采取一个 T<Args...> 类型和 Z<?...> 模板，看看是否 Z<Args...> 与...类型相同 T<Args...>。我们使用上面的 can_apply 特质类防止非法替代，然后做一个简单的 is_same 测试。

该解决方案会产生一些误报和否定，具体取决于您如何看待它。基本上如果模板 Z<?...> 我们匹配的是一个不是直接别名的别名模板，它不会按照您的预期方式工作。如果它是一个直接的别名，你会变得很好。

不用多说，这是实现。

首先，Boilerplate类型包：

template<class...>struct types {using type=types;};

在C ++ 1z中有 void_t，我在这里重新实现了它：

template<class...>struct voider{using type=void;};
template<class...Ts>using void_t=typename voider<Ts...>::type;

特定 Z<?...> 和 types<Ts...>，检查是否 Z<Ts...> 已验证：

template<template<class...>class Z, class types, class=void>
struct can_apply : std::false_type {};
template<template<class...>class Z, class...Ts>
struct can_apply<Z, types<Ts...>, void_t<Z<Ts...>>> : std::true_type {};

现在，一个SFINAE守卫测试：

template<template<class...>class Z, class T, class=void>
struct is_template_instance_of : std::false_type {};

template<template<class...>class Z, template<class...>class Y, class... Ts>
struct is_template_instance_of<
  Z, Y<Ts...>,
  std::enable_if_t<can_apply< Z, types<Ts...> >{}>
> : std::is_same< Z<Ts...>, Y<Ts...> > {};

实例

你的原始实现不起作用的原因是，尽管如此 QVec::type<Args...> 与...类型相同 std:vector<Args...>， QVec::type 不一样 模板 如 std::vector，因此它与部分专业化不匹配。

这可以通过一个更简单的例子看出：

template <template <typename...> class> struct test {
  static const bool value = false;
};

template <>
struct test<std::vector> {
  static const bool value = true;
};

test<std::vector>::value; // true
test<QVec::type>::value;  // false

这是一种几乎可行的方法：

template <template <class...> class Type1,
          template <class...> class Type2,
          typename... Args>
struct is_tbase_of<Type1, Type2<Args...>>:
  std::is_same<Type1<Args...>,Type2<Args...>>
{
};

但是，如@Alex所述，这不处理第二个模板的参数与第一个模板不兼容的情况。这可以使用 enable_if：

template <template <class...> class, typename, typename=void>
struct is_tbase_of : std::false_type { };

template <template <class...> class Type1,
          template <class...> class Type2,
          typename... Args>
struct is_tbase_of<Type1, Type2<Args...>,
  typename std::enable_if<
    std::is_same<Type1<Args...>,Type2<Args...>>::value
  >::type>
  : std::true_type
{
};

如果专业 is_tbase_of 对于 quote 这是足够的，这应该工作：

template <template <class...> class Type,
          typename ...Args>
struct is_tbase_of<quote<Type>::template type, Type<Args...>>:
  std::true_type
{ };