Variadically templated struct/varyant

Question

uygulanma biçimi artırmak :: mümkün aşağıdaki

DifferentTypesInOne<string, int, double> variant_obj; 

Eğer variant_obj tür dizeleri, int değişkenleri vardır

ve içinde çift gibi bir etki elde etmek için mi.

Bunun, boost::variant'a benzediğini biliyorum. Daha önce bu konuyla ilgili soruları araştırdım, ancak sınıfın tüm türlerin öğelerini saklamak için variadic şablonlarını nasıl kullandığını açıklayabilecek bir açıklama yapamamıştım. Özellikle, verilen tüm türlerin değişkenlerine sahip olan bir struct tanımını ve şu anda hangisinin önemli olduğunu belirten bir üye değişkeni tanımlamak için nasıl gidebileceğimi soruyorum.

Teşekkürler! Kabaca

Answer 1

,

template<class... Ts> 
struct variant_storage {}; 

template<class T, class... Ts> 
struct variant_storage<T, Ts...>{ 
    union { 
     T head; 
     variant_storage<Ts...> tail; 
    }; 
}; 

template<class... Ts> 
struct variant { 
    int index; 
    variant_storage<Ts...> storage; 
}; 

Bu

bir taslaktır; Ayrıntılar için these articles iyi bir okumadır.

constexpr -ness'e ihtiyacınız yoksa, bir std::aligned_union_t<0, Ts...> depo olarak saklayabilir ve daha yeni olan yerleşimi kullanabilirsiniz.

Answer 2

C++ 11, türlerin bir listesini alan bir şablon türü olan std::aligned_union sağladı. aligned_union::type, verilen tiplerden herhangi birinin depolanması için yeterli depolama alanına ve hizalamaya sahip olan bir tiptir.

Böylece veriler için depolama alanı oluşturuyorsunuz. Bunun ötesinde ihtiyacınız olan tek şey, burada hangi değerin depolandığını söyleyen bir tamsayıdır.

template<typename ...Types> 
struct variant 
{ 
private: 
    uint8_t index; 
    typename std::aligned_union<Types...>::type storage; 
}; 

Sen storage tarafından sağlanan depolama içinde, belirli bir türde tek tek öğeleri ayırmak için yerleştirme new kullanın.