8

看到这个答案后，我试图为它的代码提供一个变量模板实用程序：

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变量模板实用程序？
4

2 回答 2

6

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

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;
于 2019-09-20T11:59:38.180 回答
5

变量模板应与原始模板具有相同的模板参数：<class T, template <class...> class Template>. 我不确定您为什么使用专业化的模板参数。

它应该如下所示：

template <class T, template <class...> class Template>
constexpr bool is_specialization_v = is_specialization<T, Template>::value;
于 2019-09-20T11:58:57.073 回答