variadic mẫu loại trừ

Question

Tôi đã xem qua bài viết này rất lớn: http://pdimov.com/cpp2/simple_cxx11_metaprogramming.html

Trong đoạn mã sau:

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* 

Tại sao C là suy luận như mp_list (thay vì mp_list < int, float , void *>) và T ... là int, float, void *?

Tôi nghĩ rằng Bí quyết là phần mẫu chuyên môn: struct mp_rename_impl < C < T ...>, B>, Nhưng tôi đấu tranh để hiểu tại sao

Answer 1

với

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

• in

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

  A là mp_list<int, float, void*> và B là std::tuple

• trong

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

  A là mp_list<int, float, void*> và B là std::tuple trong cùng một cách.

• trong chuyên môn hóa

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

  (tôi đổi tên để C để được rõ ràng hơn)
  C là mp_list, Ts... là int, float, void* và B là std::tuple.