はな:: && autoに... argsを

Question

タプルのようなものを使用する方法がある

template < typename ... Ts > 
struct Final { 

    constexpr Final(Ts && ... args) {} 
}; 

hana::unpack(foo, [] (auto && ... args) { return Final(args...); }); 

は、そのためのコードと、unpackはできませんラムダ/関数型を推定する。 基本的には、引数のリストを取る型を作成したいが、引数を含むタプルがある。

Answer 1

問題は、あなたのラムダである：

[](auto && ... args){ return Final(args...); } 
//       ~~~~~~~ 

Finalがタイプではない、それはクラステンプレートです。したがって、明示的に型を指定する必要があります。何かのように：

[](auto&&... args){ return Final<decltype(args)...>(
    std::forward<decltype(args)>(args)...); } 

C++ 17、クラスのテンプレートパラメータのテンプレート控除で、Ts&&は、転送リファレンス（related answerを参照）として機能していないので、暗黙の控除ガイドは、としてあなたの使用状況をとにかく一致しませんlvaluesのみを提供しており、ガイドには再評価が必要です。しかし、これは動作します：

[](auto... args){ return Final(std::move(args)...); } 

Answer 2

を私が正しくあなたの質問を理解していれば、あなたが実際に探していることは

template <typename ...Ts> 
struct Final { ... }; 

constexpr auto foo = hana::make_tuple(hana::type_c<Foo1>,hana::type_c<Foo2>); 
auto final_type = hana::unpack(foo, [](auto ...args) { 
    return Final<typename decltype(args)::type...>; 
}); 
// now, final_type is a hana::type<Final<Foo1, Foo2>> 

あなたはまたhana::template_を使用して同じことを達成することができます：

constexpr auto foo = hana::make_tuple(hana::type_c<Foo1>,hana::type_c<Foo2>); 
auto final_type = hana::unpack(foo, hana::template_<Final>); 

私がバリーの答えを見ると、Final<decltype(hana::type_c<Foo1>), decltype(hana::type_c<Foo2>)>を作成することになります。これはおそらくあなたが望むものではありません。