std::variant mit std::tuple initialisieren?

[cppbert (Gast)]

ich möchte ein std::variant mit einem std::tuple initialisieren so das 
die Typen in dem Tuple Values im variant werden - ist das eine Art 
unpacking?

C++17

#include <variant>
#include <tuple>
#include <type_traits>

using V0 = std::variant<int, float, char>;
using V1 = std::variant<int, float, char>;
using T = std::tuple<int,float,char>;
using V2 = std::variant<T>;

static_assert(std::is_same<V0, V1>::value, "not the same"); // logischerweise OK
static_assert(std::is_same<V0, V2>::value, "not the same"); // ist ja auch nicht <int,float,char> sondern T

ich möchte das V2 is_same is zu V0 und V1 - geht das irgendwie?

[Niklas G. (erlkoenig)]

So?

#include <variant>
#include <tuple>
#include <type_traits>

template <typename T>
struct GetVariantI;

template <typename... T>
struct GetVariantI<std::tuple<T...>> {
    using type = std::variant<T...>;
};

template <typename T>
using GetVariant = typename GetVariantI<T>::type;


using V0 = std::variant<int, float, char>;
using V1 = std::variant<int, float, char>;
using T = std::tuple<int,float,char>;
using V2 = GetVariant<T>;

static_assert(std::is_same<V0, V1>::value, "not the same"); // logischerweise OK
static_assert(std::is_same<V0, V2>::value, "not the same"); // ist ja auch nicht <int,float,char> sondern T

[mh (Gast)]

Niklas G. schrieb:
> So?

Ich weiß nicht, ob es dem TO hilft, aber mir hilft es. Ich habe eben 
versucht es über template template parameter zu lösen und bin damit 
gescheitert. Dabei habe ich mal wieder festgestellt, dass sie nie 
helfen, wenn ich sie für die logische Wahl halte.

[cppbert (Gast)]

Ja genau so, Niklas G. - wie immer sehr schnell am Start :)

ich dachte mich schon das man es so machen muss - aber hätte mich jetzt 
auch nicht gewundert wenn es einen noch viel kürzeren Weg gibt

Danke

[Niklas G. (erlkoenig)]

mh schrieb:
> Dabei habe ich mal wieder festgestellt, dass sie nie
> helfen, wenn ich sie für die logische Wahl halte.

IMO braucht man die eh nicht, und es gibt bessere Alternativen welche 
zwar etwas länger, dafür aber flexibler und weniger hirnverdrehend sind.

cppbert schrieb:
> Ja genau so, Niklas G. - wie immer sehr schnell am Start :)

Gern ;-)

[cppbert (Gast)]

hab jetzt echt 1sek nach deinem Post ein Stackoverflow Post gefunden: 
https://stackoverflow.com/questions/47599774/convert-tuple-to-variant

entspricht deiner Lösung

[mh (Gast)]

Niklas G. schrieb:
> IMO braucht man die eh nicht, und es gibt bessere Alternativen welche
> zwar etwas länger, dafür aber flexibler und weniger hirnverdrehend sind.

Ich hoffe trotzdem hin und wieder, dass es eine gut Anwendung dafür 
gibt.

Meine Variante

template <template <typename ...Args> typename>
struct GetVariantI {
    using type = std::variant<Args...>;
};

wäre immerhin zwei ganze Zeile kürzer als deine! Wäre es nicht toll, 
wenn das so funktionieren würde? Ok es ist schlechter lesbar und bietet 
auch sonst keinen wirklichen Vorteil ...

[Niklas Gürtler (Gast)]

mh schrieb:
> Meine Variante

Das ist aber ziemlich genau das Gegenteil von dem, was 
template-templates können!

Das wäre anzuwenden, wenn die Parameter schon "bekannt" sind, aber das 
"variant" an sich variabel wäre. Also "Get<std::variant, int, float, 
char>" zu "std::variant<int, float, char>"