c++ - Type_traits *_v 变量模板实用程序顺序编译失败

Question

看过this answer ，我尝试为其中的代码提供一个变量模板实用程序:

template <class T, template <class...> class Template>
struct is_specialization : std::false_type {};

template <template <class...> class Template, class... Args>
struct is_specialization<Template<Args...>, Template> : std::true_type {};

并像这样实现它:

template <template <class...> class Template, class... Args>
constexpr bool is_specialization_v = is_specialization<Template<Args...>, Template>::value;

因为这就是我在<type_traits>的头文件中看到类似实用程序的实现方式。 。例如:

template <typename _Tp, typename _Up>
  inline constexpr bool is_same_v = is_same<_Tp, _Up>::value;
template <typename _Base, typename _Derived>
  inline constexpr bool is_base_of_v = is_base_of<_Base, _Derived>::value;
template <typename _From, typename _To>
  inline constexpr bool is_convertible_v = is_convertible<_From, _To>::value;

等等。 ^{(来自MinGW的GCC 8.2.0实现)}

但问题是，虽然::value语法似乎有效， *_v语法不:

int main() {
    bool foo = is_specialization<std::vector<int>, std::vector>::value; // No problem
    bool bar = is_specialization_v<std::vector<int>, std::vector>;      // compilation error!

    std::cout << foo << ' ' << bar;
}

这会产生以下错误:

error: type/value mismatch at argument 1 in template parameter list for 'template<template<class ...> class Template, class ... Args> constexpr const bool is_specialization_v<Template, Args ...>'
 bool bar = is_specialization_v<std::vector<int>, std::vector>;      // compilation error!
            ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
note:   expected a class template, got 'std::vector<int>'
error: type/value mismatch at argument 2 in template parameter list for 'template<template<class ...> class Template, class ... Args> constexpr const bool is_specialization_v<Template, Args ...>'
expected a type, got 'vector'

这是为什么呢？老实说，这个错误对我来说似乎很公平，并让我思考上述答案中的代码到底是如何工作的。它期望 class模板和参数包，但它给出了一个 class ，然后是一包。另一方面，它专门研究这两种类型的组合，这让我有点困惑。我想知道:

• 这里的扣除流程是怎样的？链接的答案没有详细说明代码的工作原理。
• 如何介绍*_v在这种情况下可变模板实用程序？

Answer 1

让我们比较一下变量的模板参数...

template <template <class...> class Template, class... Args>
constexpr bool is_specialization_v = is_specialization<Template<Args...>, Template>::value;

论点

is_specialization_v<std::vector<int>, std::vector>

您声明它首先接受一个模板，然后传递一个类型。然后您声明它接受类型包，但现在您传递一个模板。问题在于您感到困惑并像对主要特征进行专门化一样实现变量。它不接受参数作为参数传递以放置在特化中。它需要接受与主节点相同的参数，然后转发它们:

template <class T, template <class...> class Template>
constexpr bool is_specialization_v = is_specialization<T, Template>::value;