3

有没有办法使用类似的东西：

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

有类似的东西：

template < typename ... Ts >
struct Final {

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

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

因为使用该代码，unpack无法推断出 lambda/函数类型。基本上我想创建一个接受参数列表的类型，但我有一个包含参数的元组。

4

2 回答 2

4

问题出在你的 lambda 中：

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

Final不是类型，而是类模板。因此，您需要显式提供类型。就像是：

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

在 C++17 中，通过类模板参数的模板推导，Ts&&不能用作转发引用（请参阅相关答案），因此隐式推导指南无论如何都不会与您的用法相匹配，因为您只提供左值并且该指南需要重估. 但这会起作用：

[](auto... args){ return Final(std::move(args)...); }
于 2017-04-22T16:32:52.067 回答
1

如果我正确理解您的问题，那么您真正要找的是

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>);

我在 Barry 的回答中看到的问题是您最终会创建一个Final<decltype(hana::type_c<Foo1>), decltype(hana::type_c<Foo2>)>，这可能不是您想要的。

于 2017-04-23T19:28:57.523 回答