Question

我有一个带有std :: vector＆lt; int＆gt;的类成员和成员函数返回对该向量的const引用。

class demo {
public:
    //...

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

private:

    std::vector<int> iv;
};

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

class demo {
public:
    //...

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

private:

    std::vector<int> iv;
};

但是这打破了使用const向量＆lt; int＆gt;＆amp;的代码。因为同一个未修改的向量的两个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";
}

Answer 2

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

我应该返回gsl :: span <const t =“”>而不是const std :: vector <t>＆amp;

2 个答案: