我应该如何构建一个更小的std :: array作为一个更大的切片？

Question

对于constexpr i和k，我想通过std::array的i + k-1表示另一个std::array中的元素i - 最好没有复制并且在constexpr函数中。

可以这样做吗？如果是这样，那么解决这个问题的正确方法是什么？

Answer 1

复制是不可避免的std::array。如果您可以使用Microsoft Guideline Support Library中的span<T, N>，则可以避免复制。

如果你必须坚持std::array那么你可以介绍这个辅助函数：

template<std::size_t OFFSET, std::size_t K, class T, std::size_t N> 
std::array<T, K> 
subarray(const std::array<T, N>& a) 
{ 
    static_assert(OFFSET+K<=N, "your error message here"); 

    std::array<T, K> s; 
    std::copy(a.begin()+OFFSET, a.begin()+OFFSET+K, s.begin()); 
    return s; 
}; 

使用方法如下：

std::array<int, 5> a = { 1, 2, 3, 4, 5 }; 
std::array<int, 3> s = subarray<1, 3>(a); 

Answer 2

你所问的是一个array的slice或甚至可能是vector。可悲的是，我们在标准库中没有任何东西（直到C++ 17），但正如Leon在他的回答中提到的那样，您可以使用span。

GSL实现：https://github.com/Microsoft/GSL/blob/master/include/span.h

std::array<int, 4> arr = {1, 2, 3, 4}; 
span<int> s{&arr[0], 2}; 

我实现片（试验）：https://github.com/arun11299/Slices-in-Cpp \

std::vector<int> vec{1,2,3,4,5,6,7,8,9,10}; 

// all elements 
auto vslice = make_slice(vec, 0, vec.size()); 
assert(len(vslice) == 10); 

vslice = vslice(beg, 8); 

assert(len(vslice) == 8);