boost :: hana Tupel Auspacken für variadische Vorlage Instanziierung

Question

Bezug zu this question ich mich gefragt, ob so etwas wie dies auf einfache Art und Weise boost erreichbar wäre :: hana:

#include <boost/hana.hpp> 
#include <boost/hana/unpack.hpp> 

namespace hana = boost::hana; 

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

int main() { 

    auto my_tuple = hana::tuple_t<int, double, float>; 

    // Is there any way to unpack my_tuple as template arguments for A? 
    // Something like 
    using MyStruct = A<hana::unpack_types(my_tuple)...>; 

    static_assert(std::is_same<MyStruct, A<int, double, float>>::value, "Ooops!"); 
} 

Answer 1

Verwenden template_A in eine metafunction zu heben, dann unpack nennen:

using MyStruct = decltype(hana::unpack(my_tuple, hana::template_<A>))::type; 

Example.

Answer 2

Sie es mit sich selbst tun können:

template <template <typename...> class C, typename Tuple> struct RebindImpl; 

template <template <typename...> class C, typename ... Ts> 
struct RebindImpl<C, hana::tuple_t<Ts...>>{ 
    using type = C<Ts...>; 
}; 

template <template <typename...> class C, typename Tuple> 
using Rebind = typename RebindImpl<C, Tuple>::type; 

Answer 3

ein einfacher Weg, es zu tun, wenn alles, was Sie einen richtigen Typ zu bekommen ist egal:

template <typename... Args> 
constexpr A<Args...> make_A(hana::tuple_t<Args...>) { 
    return {}; 
}