6

我有一个带有 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 然后崩溃，因为测试 it != end 永远不会失败。基于范围的 for 循环当然可以工作，但是这个循环是有效的，因此也必须按预期工作。我曾预料到，来自同一容器的相同范围的所有跨度都是相等的，因此这些跨度中的任何一个的迭代器都是可比较的（当然容器未修改）。当然，事实并非如此是有充分理由的。

所以我的问题是，将这种视图返回到数组元素的最佳方法是什么，比如容器，其类型对调用者不可见。

4

2 回答 2

2

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

您可以使用以下内容：

auto&& view = d.test();
for (auto it = view.begin(), end = view.end(); it != end; ++it) {
    std::cout << *it << "\n";
}
于 2016-11-23T13:47:27.840 回答
0

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

于 2016-11-29T08:24:21.870 回答