C++在Vector中使用不可分配的对象

Question

我想在一个对象列表中存储std::vector,但对象包含一个引用,无法分配.但是,我可以复制构造对象.

我能想到的唯一选择是使用指针来包装对象并在需要分配指针时重新设置指针,但是这样做的语法会大大降低可读性,尤其是在使用迭代器时,我宁愿选择其他方法.

不起作用:

std::vector<MyObject> myVector;
//fill the vector
//...
myVector[1] = object1;

智能指针牺牲了可读性:

std::vector<std::unique_ptr<MyObject>> ptrVector;
//fill the vector
//...
ptrVector[1] = std::unique_ptr<MyObject>(new MyObject(object1));

有没有其他方法可以使用不可分配的对象std::vector？

Answer 1

这不是对您的问题的直接答案，因为我无法提供 的替代品std::vector或不同的使用方式来允许您执行您需要的操作。

但是，如果可以修改 的定义MyObject，则可以选择更改它，以便它使用std::reference_wrapper而不是常规引用。这将允许可MyObject分配。

例子：

#include <vector>
#include <functional>
#include <iostream>

struct MyObject
{
  //int &_i;
  std::reference_wrapper<int> _i;
  MyObject(int &i):_i(i) {}
};


int main() {
  std::vector<MyObject> vec;
  int i1 = 3;
  int i2 = 4;
  MyObject c1(i1);
  MyObject c2(i2);

  /* Storing object. */
  vec.push_back(c1);

  /* Assigning to it. */
  vec[0] = c2;

  /* Confirming that it's the correct object now. */
  for (const MyObject &it : vec)
    std::cout << it._i << std::endl;

  /* Modifying the value of its internal reference. */
  vec[0]._i.get() = 5;
  /* Confirming that the original int changed value indeed. */
  std::cout << "i2 == " << i2 << std::endl;

  return 0;
}

注意：_i现有代码可能已经包含对引用成员（即上面代码中调用的成员）的直接赋值。这些赋值的目的是更改引用所引用的对象的值。当用 a 替换引用时std::reference_wrapper，所有直接赋值都_i = x必须替换为_i.get() = x，否则程序的语义将完全改变。

（编辑）如果使用的引用是 const-references const T&，则std::reference_wrapper<const T>可以使用 a 。使用上面的示例，MyObjectthen 的定义更改为：

struct MyObject
{
  std::reference_wrapper<const int> _i;
  MyObject(const int &i):_i(i) {}
};