我有一个带有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然后崩溃,因为测试它!=结束永远不会失败 . 当然,基于循环的范围可以工作,但是这个循环是有效的,因此也必须按预期工作 . 我曾预料到,来自同一容器的相同范围的所有 Span 都是相等的,因此任何这些 Span 的迭代器都是可比较的(容器当然不会被修改) . 当然,有充分的理由说明事实并非如此 .
所以我的问题是,将这样一个视图返回给数组元素的最佳方法是什么,就像容器的类型不应该对调用者可见 .
2 回答
你使用临时的
iterator
,所以你的iterator
在做作后直接变得无效 .您可以使用以下内容:
所以答案是 NO ,因为它破坏了代码,之前是有效的 .