Variadic模板类型演绎

Question

我看到了这篇很棒的文章:http://pdimov.com/cpp2/simple_cxx11_metaprogramming.html

在以下代码中:

template<class A, template<class...> class B> struct mp_rename_impl;

template<template<class...> class C, class... T, template<class...> class B>
struct mp_rename_impl<C<T...>, B>
{
    using type = B<T...>;
};

template<class A, template<class...> class B>
using mp_rename = typename mp_rename_impl<A, B>::type;

//...
mp_rename<mp_list<int, float, void*>, std::tuple>; // -> std::tuple<int, float, void*>
                                                   // T... will be deduced as int, float, void*

为什么C被推导为mp_list(而不是mp_list <int,float,void*>)和T ...作为int,float,void*？

我认为诀窍是模板特化部分: struct mp_rename_impl <C <T ...>,B>,但我很难理解为什么

Answer 1

和

mp_rename<mp_list<int, float, void*>, std::tuple>;

• 在

  template<class A, template<class...> class B>
  using mp_rename = typename mp_rename_impl<A, B>::type;
  

  A是mp_list<int, float, void*>并且B是std::tuple

• 在

   template<class A, template<class...> class B> struct mp_rename_impl;
  

  Aismp_list<int, float, void*>和Bis 是std::tuple一样的。

• 在专业化方面

  template<template<class...> class C, class... Ts, template<class...> class B>
  struct mp_rename_impl<C<Ts...>, B>
  

  （我将其重命名为C更清晰）
  Cis mp_list、Ts...isint, float, void*和Bis std::tuple。