Şablon Sınıfı için Çoklu Değişken Parametre Paketi

Question

İlke tabanlı sınıf tasarımı için variadic parametre paketlerini kullanıyorum.

Çağrılar, çağrılmadıklarında veya hiçbiri belirtilmediyse varsayılanlarla tanımlanır.

Bu "son şablon parametresi olmalıdır Şablon parametre paketi" hata ile sonuçlanır

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

}; 

: Başka variadic parametre paketi eklemeniz gerekir sorunu geliyor. Politikalardan en az birinin davranışını değiştirmek için özellik paketini kullanmayı planlıyorum. Ancak, bir şablon sınıfında iki değişkenli parametre paketinin nasıl alınacağını anlayamıyorum.

Answer 1

Tartışma yorumlarında, bir tür dolaylı veya "öznitelik listesi için bir çeşit sarıcı" düşünmeye istekli olduğunu belirtmiştiniz.

hafif std::tuple tabanlı sarıcı birlikte uzmanlaşma ile burada çalışabilir:

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... { 

// ... 

}; 

Buradaki amaç çizgisinde bir şablon örneği kullanmaktır:

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

Ve çapraz senin Bu, özel şablon bildirimi ile eşleşecek parmaklardır; bu noktada, her iki parametre paketi de, şablon uzmanlığı için tek tek kullanım için kullanılabilir.

Answer 2

En basit yanıt, parametre paketleriniz için şablon türü sarmalayıcılar oluşturmaktır. Örneğin:

template <typename... T> 
class IShader; 

bir uzmanlık olarak uygulanmasını oluşturun:

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

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

Sonra IShader tür bildirebilirsiniz. Bir uzmanlıkta, birden fazla parametre paketi argümanına sahip olabileceğinizi unutmayın.

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

Gerçekten olmanın ediyorsanız:

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

Sonra hatta kullanıcı farklı sıralarda argümanları belirtmek (o miras yoluyla bu şekilde yapıyor eğer kurucular iletmek emin olun) izin verebilir fantezi, tüm siparişleri numaralandırmadan herhangi bir sıradaki argümanlara izin vermek için meta programlama hileleri bile kullanabilirsiniz. Bu okuyucuya bir egzersiz olarak bırakılır. :)