¿Extrae el paquete de parámetros de plantilla variadic y lo usa en otra plantilla variadic en una metafunción de rasgos de tipo?

Question

Quiero determinar si una plantilla de clase variable es la base de otra clase. Normalmente usaría std :: is_base_of, pero no creo que mi caso de uso se ajuste, y no estoy seguro si ya hay algo en std o boost para manejar esto. Quiero que el paquete de parámetros de la plantilla de la clase básica varíe provenga de otra plantilla de clase variadic. Aquí hay un código de ejemplo que se espera que explica lo que quiero hacer:

Uso:

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

Tripas:

//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> 
{}; 

es esto posible?

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> 
{}; 

Espero que ayude!

Answer 2

estás muy cerca, pero lo intenta con una especialización parcial:

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 > 
{};