我应该返回gsl :: span <const T>而不是const std :: vector <T>&

Question

我有一个带有std :: vector <int>成员的类和一个返回对该向量的const引用的成员函数.

class demo {
public:
    //...

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

private:

    std::vector<int> iv;
};

我计划将成员类型更改为不同的数组,如容器类型,具有足够的功能和更小的内存占用(例如std :: experimental :: dynarray,std :: unique_ptr <int []>).因此,我认为不将真实容器作为const引用返回,而是将视图作为gsl :: span <const int>返回给元素是个好主意.

class demo {
public:
    //...

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

private:

    std::vector<int> iv;
};

但这会破坏使用const vector <int>的代码,因为同一个未修改的向量的两个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然后崩溃,因为测试它!=结束永远不会失败.当然,基于循环的范围可以工作,但是这个循环是有效的,因此也必须按预期工作.我曾预料到,来自同一容器的相同范围的所有跨度都是相等的,因此任何这些跨度的迭代器都是可比较的(容器当然不会被修改).当然,有充分的理由说明事实并非如此.

所以我的问题是,将这样的视图返回给数组元素的最佳方法是什么,就像容器的类型不应该对调用者可见.

Answer 1

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

您可以使用以下内容：

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