切片std :: array

Question

有没有一种简单的方法可以在C++中获得一个数组？

即,我有

array<double, 10> arr10;

并希望获得由以下五个元素组成的数组arr10:

array<double, 5> arr5 = arr10.???

(通过迭代第一个数组填充它除外)

Answer 1

的构造函数std::array是隐式定义的，因此您无法使用另一个容器或迭代器的范围对其进行初始化。你能得到的最接近的是创建一个辅助函数来处理构造过程中的复制。这允许单阶段初始化，这是我相信您正在努力实现的目标。

template<class X, class Y>
X CopyArray(const Y& src, const size_t size)
{
    X dst;
    std::copy(src.begin(), src.begin() + size, dst.begin());
    return dst;
}
std::array<int, 5> arr5 = CopyArray<decltype(arr5)>(arr10, 5);

您也可以使用类似的东西std::copy或自己遍历副本。

std::copy(arr10.begin(), arr10.begin() + 5, arr5.begin());

Answer 2

当然。写了这个：

template<int...> struct seq {};
template<typename seq> struct seq_len;
template<int s0,int...s>
struct seq_len<seq<s0,s...>>:
    std::integral_constant<std::size_t,seq_len<seq<s...>>::value> {};
template<>
struct seq_len<seq<>>:std::integral_constant<std::size_t,0> {};
template<int Min, int Max, int... s>
struct make_seq: make_seq<Min, Max-1, Max-1, s...> {};
template<int Min, int... s>
struct make_seq<Min, Min, s...> {
  typedef seq<s...> type;
};
template<int Max, int Min=0>
using MakeSeq = typename make_seq<Min,Max>::type;

template<std::size_t src, typename T, int... indexes>
std::array<T, sizeof...(indexes)> get_elements( seq<indexes...>, std::array<T, src > const& inp ) {
  return { inp[indexes]...  };
}
template<int len, typename T, std::size_t src>
auto first_elements( std::array<T, src > const& inp )
  -> decltype( get_elements( MakeSeq<len>{}, inp ) )
{
  return get_elements( MakeSeq<len>{}, inp  );
}

编译时indexes...进行重新映射，MakeSeq 生成从 0 到 n-1 的 seq。

活生生的例子。

这支持任意一组索引 (via get_elements) 和前 n (via first_elements)。

用：

std::array< int, 10 > arr = {0,1,2,3,4,5,6,7,8,9};
std::array< int, 6 > slice = get_elements(arr, seq<2,0,7,3,1,0>() );
std::array< int, 5 > start = first_elements<5>(arr);

这避免了所有循环，无论是显式还是隐式。