Variadic şablon parametre paketini ayıklayın ve bir tür özellik meta işlevinde başka bir değişken şablonda kullanın?

Question

Herhangi bir değişken sınıf sınıf şablonunun başka bir sınıfın temeli olup olmadığını belirlemek istiyorum. Tipik olarak std :: is_base_of kullanırım, ama kullanım durumumun uygun olduğunu düşünmüyorum ve bunu yapmak için std veya boostta bir şey olup olmadığından emin değilim. Variadic temel sınıf şablonunun parametre paketinin başka bir variadic sınıf şablonundan gelmesini istiyorum.

Kullanımı:

is_variadic_base_of< 
    VarClassTemplA 
    , ClassDerivedFromA 
    , VarClassTemplB //Has param pack I want to use with ClassA 
>::value; 

Guts:

//test for variadic base of non-variadic 
template <template<typename...> class A, typename B, typename... ArgsC> 
struct is_variadic_base_of 
: std::is_base_of<A<ArgsC...>, B> 
{}; 

bu mümkün mü İşte bazı örnek kod umarım ben yapmak istediğim şey açıklıyor öyle?

Answer 1

template <template<typename...> class A, typename B, typename ArgsC> 
struct is_variadic_base_of; 

template <template<typename...> class A, typename B, 
      template<typename...> class C, typename ...ArgsC> 
struct is_variadic_base_of<A, B, C<ArgsC...>> 
: std::is_base_of<A<ArgsC...>, B> 
{}; 

Umut eder!

Answer 2

Neredeyse geldin, ama kısmi uzmanlaşma ile deneyin:

template< 
    template<class...> class A, class B, class C 
> 
struct is_variadic_base_of; 

// partial spec 
template< 
    template<class...> class A, class B, 
    template<class...> class C, class... ArgsC 
> 
struct is_variadic_base_of< A,B,C<ArgsC...> > 
    : std::is_base_of< A<ArgsC...>,B > 
{};