Wiele pakiet parametrów Variadic dla klasy szablonów

Question

Używam pakietów parametrów variadic do projektowania klas opartych na regułach.

template <APITypes APIType, class... Policies> 
class IShader : public Policies... { 

}; 

Zasady są określane, gdy są wywoływane lub z wartościami domyślnymi, jeśli żadne nie zostały określone. Problem pojawia się, gdy trzeba dodać kolejny pakiet o zmiennej liczbie argumentów parametru:

template <AttributeType... Attributes, APITypes APIType, class... Policies> 
class IShader : public Policies... { 

}; 

Powoduje to błąd „parametr szablonu opakowanie musi być ostatnim parametrem szablonu”. Planuję użyć pakietu atrybutów, aby zmienić zachowanie co najmniej jednej z zasad. Ale nie mogę się dowiedzieć, jak uzyskać dwa pakiety parametrów variadic w jednej klasie szablonu.

Answer 1

W komentarzach do dyskusji wyraziłeś gotowość do rozważenia jakiegoś rodzaju pośrednictwa lub "opakowania jakiegoś rodzaju dla listy atrybutów".

Lekki std::tuple -na wrapper, wraz ze specjalizacji, może pracować tutaj:

template <typename attribute_tuple, APITypes APIType, 
      typename policy_tuple> class IShader; 

template <AttributeType... Attributes, APITypes APIType, 
      class... Policies> 
class IShader<std::tuple<Attributes...>, APIType, 
       std::tuple<Policies...>> : public Policies... { 

// ... 

}; 

Naszym celem jest użycie instancji szablonu wzdłuż linii:

IShared<std::tuple<Attribute1, Attribute2>, APITypeFoo, 
     std::tuple<Policy1, Policy2>> ishared_instance; 

I skrzyżować palce, że to będzie pasować do wyspecjalizowanej deklaracji szablonu, w którym to momencie oba pakiety parametrów są dostępne dla indywidualnej specjalizacji szablonu.

Answer 2

Myślę, że najprostszą odpowiedzią jest utworzenie wrapperów typu szablonu dla pakietów parametrów. Na przykład:

template <AttributeType... T> 
struct Attributes {}; 

template <typename... T> 
struct Policies {}; 

Następnie można zadeklarować swój typ IShader:

template <typename... T> 
class IShader; 

stworzyć swoją implementację jako specjalizacji. Zwróć uwagę, że w specjalizacji możesz mieć wiele argumentów związanych z pakietem parametrów.

template <AttributeType... AttributeList, ApiTypes APIType, typename... PolicyList> 
class IShader<Attributes<AttributeList...>, ApiType, Policies<PolicyList...>> 
    : public PolicyList... 
{ 
    ... 
}; 

Wtedy można nawet pozwolić użytkownikowi na określenie argumenty w różnej kolejności (upewnij się, że przekazuje konstruktorów jeśli robi to w ten sposób przez dziedziczenie):

template <AttributeType... AttributeList, ApiTypes APIType, typename... PolicyList> 
struct IShader<ApiType, Policies<PolicyList...>, Attributes<AttributeList...> 
    : public IShader<Attributes<AttributeList...>, ApiType, Policies<PolicyList...>> 
{ 
    using IShader<Attributes<AttributeList...>, ApiType, Policies<PolicyList...>>::IShader; 
}; 

Jeśli jesteś jest naprawdę fantazyjne, możesz nawet użyć trików metaprogramowania, aby umożliwić argumenty w dowolnej kolejności bez wyliczania wszystkich zamówień. Jest to ćwiczenie dla czytelnika. :)