c++ - 如何通过引用构造 vector 的子范围？

Question

我目前正在利用 std::vector 的范围构造函数来创建给定子范围的另一个 vector 。

std::vector<int> myVect { 1, 2, 3, 4 };

std::vector<int> subrangeVector(myVect.begin(), myVect.begin() + 2);

但是，这会导致 myVect 的范围值被复制并占用额外的内存。当使用有限的内存和/或非常大的元素类型时，这是不希望出现的情况。

如何通过引用构造另一个 vector 的子范围？

我的目标的简化解释如下:

void fun(std::vector<int> & v) { v.at(0) = 1; }

int main()
{
    std::vector<int> myVect { 1, 2, 3, 4 };

    std::size_t upperLimit = 5;
    std::vector<int> subrangeVector = subrangeView(myVect, upperLimit);

    fun(subrangeVector);  // so myVect.at(0) == 1

    return 0;
}

这可以在许多使用 std::vector 作为参数的不同函数中实现。我不想按照讨论的方式传递迭代器 here 。假设我无法控制函数 fun。

Answer 1

C++ vector 是一种“拥有”其内存的类型 - 它不能成为另一个 vector 数据的“引用类型”。

相反，您可能会找到 span有用:跨度是代表内存中连续数据的类 - 就像 vector 一样；但是 - 它是一个“引用类型”，并且它不拥有 - 正是您想要拥有的。它的行为就像一个 vector w.r.t.迭代、operator[] 等等。

在你的情况下，你会写:

std::vector<int> myVect { 1, 2, 3, 4 };
auto subrange { std::span{myVect}.subspan(0, 2); }

然后使用子范围，就像您计划使用 vector 一样。

PS:这是 C++20 代码，因为 C++17 还没有跨度；如果您使用的是早期 C++ 版本，请使用指南支持库中的 gsl::span(例如来自 here )。