我应该返回gsl:：span而不是const std:：vector

Question

我有一节课d::矢量

class demo {
public:
    //...

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

private:

    std::vector<int> iv;
};

我计划将成员类型更改为另一种类似于数组的容器类型，只具有足够的功能和较小的内存占用（例如std:：experimental:：dynarray、std:：unique_ptr）

class demo {
public:
    //...

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

private:

    std::vector<int> iv;
};

但这破坏了使用常量向量的代码

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永远不会失败。基于循环的范围当然可以工作，但是这个循环是有效的，因此也必须按照预期工作。我已经预料到，来自同一容器的同一范围的所有跨度都是相等的，所以这些跨度的迭代器是可比的（当然容器没有修改）。当然，这不是这样有一个很好的理由。

所以我的问题是，将这样一个视图返回给数组类容器的元素的最佳方式是什么，调用方不应该看到它的类型。

Answer 1

所以答案是否定的，因为它破坏了以前有效的代码。

Answer 2

你使用临时的迭代器，因此你的迭代器在矫揉造作后直接失效。

您可以使用以下选项：

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