调整大小后保持对矢量元素的引用有效

Question

如果我们对向量元素进行引用，然后调整向量的大小，则该引用不再有效，迭代器也是如此：

std::vector<int> vec{0, 1, 2, 3, 4, 5};
int& ref = vec[0];
auto itr = vec.begin();

cout <<  ref << " " << *itr << endl;

vec[0] = 7;

cout <<  ref << " " << *itr << endl;

vec.resize(100);
vec[0] = 3;

cout <<  ref << " " << *itr << endl;

打印出来：

0 0
7 7
0 0 // We expected a 3 here

而且我知道只保留对向量本身的引用并调用 vec[0] 会更实用，但只是为了提问，是否可以保留一个始终为 vec[0] 的对象] 即使对象被移动？

我已经尝试编写一个小的帮助类来帮助解决这个问题，但我不确定这是否是最好的方法，或者它是否会失败？

template<typename T>
struct HelperClass
{
    std::vector<T>& vec;
    size_t element;

    HelperClass(std::vector<T>& vec_, size_t element_) : vec(vec_) , element(element_) {}

    // Either define an implicit conversion from HelperClass to T
    // or a 'dereference' operator that returns vec[0]
    operator T&() { return vec.at(element); }
    T& operator*() { return vec.at(element); }
};

并通过隐式转换为 T& 或“取消引用”运算符来使用它：

std::vector<int> vec{0, 1, 2, 3, 4, 5};
int& ref = vec[0];
auto itr = vec.begin();
HelperClass<int> hlp = HelperClass<int>(vec, 0); // HelperClass

cout <<  ref << " " << *itr << " " << hlp << " " << *hlp << endl;

vec[0] = 7;

cout <<  ref << " " << *itr << " " << hlp << " " << *hlp << endl;

vec.resize(100);
vec[0] = 3;

cout <<  ref << " " << *itr << " " << hlp << " " << *hlp << endl;

已经打印了例外的内容：

0 0 0 0 
7 7 7 7
0 0 3 3

那么除了有一个辅助类之外还有更好的方法吗？辅助类在某些情况下是否不可靠？

我在reddit上也遇到过this的帖子，但是好像他们没有讨论那里的助手类

Answer 1

您可以做的一件事是拥有一个指针向量而不是实例向量。这当然有它自己的问题，但如果你必须让对象引用存活下来，那么矢量调整大小就可以了。

Answer 2

向量的任何重新分配都会使任何指针、引用和迭代器无效。

在您的示例中，您的 HelperClass 在某种意义上是无用的：

cout <<  ref << " " << *itr << " " << hlp << " " << *hlp << endl;

等同于：

cout <<  ref << " " << *itr << " " << vec[0] << " " << vec[0] << endl;

如果发生重新分配，只需使用迭代器接口 .begin() .end() 再次访问迭代器。