Question

我正在尝试将std::array<T, N>拆分为较小数组的元组，例如std::tuple<std::array<T, N1>, std::array<T, N2>, ...> N1 + N2 + ... = N.

namespace detail {
  // Summation of the given values
  template <class T>
  constexpr T sum(const T& x) { return x; }

  template <class T, class ...Args>
  constexpr auto sum(const T& x, Args&&... args)
  { return x + sum(std::forward<Args>(args)...); }
}

template <class T, std::size_t... Ns>
constexpr
std::tuple<std::array<T, Ns>...>
f(const std::array<T, detail::sum(Ns...)>& x)
{
  // How do I implement this function?
}

int main()
{
  constexpr std::array<Foo, 5> arr = { ... };
  constexpr auto t = f<Foo, 2,3>(arr);
}

实际上我已经实现了f但是它基于一个循环，它只是创建一个空数组并复制给定数组的元素，但如果T不是default_constructible则它不起作用。 / p>

我尝试使用std::integer_sequence和std::make_index_sequence，但我认为我完全迷失了，毫无头绪。

有人可以帮我实现这个功能吗？

Answer 1

写

template<class T,size_t...Is,size_t N>
std::array<T,sizeof...(Is)>
extract(std::array<T,N>const&,std::index_sequence<Is...>){
  return {{arr[Is]...}};
}

现在我们只需要将{1,2,3}粗略地转换为{{0},{1,2},{3,4,5}}，一切都是C ++索引序列（所以语法）。

将{3,4,0}映射到{0,1,2} - 子数组的索引计数。然后将{3,4,0} x 1映射到{3,4,5,6}，将其他映射类似。这给了我们子数组中的索引，我们将其提供给extract，而bob是你的叔叔。

template<size_t n, size_t...counts>
constexpr auto
foo( std::index_sequence<counts...> )
->  offset_seq<
  sum_n<n>(counts...),
  std::make_index_sequence<get_n<n,counts...> >
>{ return {}; }

例如，

要编写的各种助手是{3,4,0} x 1到{3,4,5,6}部分。

将std :: array拆分为较小的std :: array的元组

1 个答案: