boost :: tuple hana déballage modèle variadique instanciation

Question

liés à this question Je me demandais si quelque chose comme cela serait réalisable d'une manière simple en utilisant boost :: 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

Utilisez template_ pour soulever A dans un métafonction, puis appelez unpack:

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

Example.

Answer 2

Vous pouvez le faire vous-même avec:

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

une façon simple de le faire si tout ce que vous aimez est à obtenir un type correct:

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