Question

我在这里所谓的部分类型是这样的：

template < template <typename ...> typename Skeleton,
           template <typename ...> typename WrapperType,
           typename ... Pölicies >
struct MetaStorage {

  template < typename ... Ts >
  struct With_Type {

    using type = Skeleton<WrapperType<Ts...>, Policies...>;
  };
};

using partialType = MetaStorage<Sk, Wt, P1, P2, P3>;
using finalType = partialType::With_Type<T1, T2>;

我认为它不适合hana哲学，如果我想将这种类型拆分得更多，那就不可读了。

那么使用Boost Hana这样做的有效方法是什么？

编辑：

我的意思是，这是一种允许用户在几个步骤中创建最终类型的方法。就像那样，他们可以使用一些部分类型来生成每个最终类型。但是使用通常的语法和hana::type。

Answer 1

使用Boost.Hana，您可以使用hana::type将类型提升为值，使用hana::template_将模板提升为模板。有了它，您可以执行以下操作：

#include <boost/hana.hpp>

namespace hana = boost::hana;


template <typename ...X> struct skeleton_t { };
constexpr auto skeleton = hana::template_<skeleton_t>;
template <typename ...X> struct wrapper_t { };
constexpr auto wrapper = hana::template_<wrapper_t>;
template <int i> struct policy_t { };
template <int i> constexpr auto policy = hana::type_c<policy_t<i>>;
template <int i> struct foo_t { };
template <int i> constexpr auto foo = hana::type_c<foo_t<i>>;

int main() {
  auto meta_storage = [](auto s, auto w, auto ...policies) {
    return [=](auto ...ts) {
      return s(w(ts...), policies...);
    };
  };

  auto partial = meta_storage(skeleton, wrapper, policy<1>, policy<2>);

  auto final_ = partial(foo<1>, foo<2>);

  skeleton_t<wrapper_t<foo_t<1>, foo_t<2>>, policy_t<1>, policy_t<2>> check
    = typename decltype(final_)::type{};
}

就我可以使用某个功能的情况而言，我个人更喜欢不打扰hana::template_。我还使用宏来创建标记类型及其对应的hana::type值，以减少您在主函数上方看到的一些设置。

使用Boost Hana处理部分类型

1 个答案: