c++ - 我应该返回 gsl::span 而不是 const std::vector&

Question

我有一个带有 std::vector 成员的类和一个返回对该 vector 的 const 引用的成员函数。

class demo {
public:
    //...

    const std::vector<int> & test() const {
        return iv;
    }

private:

    std::vector<int> iv;
};

我计划将成员类型更改为不同的数组，如具有足够功能和较小内存占用的容器类型(例如 std::experimental::dynarray、std::unique_ptr )。因此，我认为最好不要将真正的容器作为 const 引用返回，而是将 View 作为 gsl::span 返回给元素。

class demo {
public:
    //...

    gsl::span<const int> test() const {
        return iv;
    }

private:

    std::vector<int> iv;
};

但这会破坏使用 const vector & 的代码，因为同一未修改 vector 的两个 span 实例不能用于迭代元素:

demo d;

std::cout << (d.test().begin() == d.test().begin()) << "\n";
std::cout << (d.test().end() == d.test().end()) << "\n";

for( auto it = d.test().begin(), end = d.test().end(); it != end; ++it )
    std::cout << *it << "\n";

这会打印 0 0 然后崩溃，因为测试 it != end 永远不会失败。基于范围的 for 循环当然可以工作，但是这个循环是有效的，因此也必须按预期工作。我曾预计，来自同一容器的相同范围的所有跨度都是相等的，因此这些跨度中的任何一个的迭代器都是可比较的(当然容器没有修改)。当然，事实并非如此是有充分理由的。

所以我的问题是，将此类 View 返回到容器之类的数组元素的最佳方法是什么，其类型不应对调用者可见。

Answer 1

你使用的是临时的iterator，所以你的iterator在做作之后直接失效了。

您可以使用以下内容:

auto&& view = d.test();
for (auto it = view.begin(), end = view.end(); it != end; ++it) {
    std::cout << *it << "\n";
}