为什么不能将 const 对象放入 STL 容器中？

Question

请参阅下面的代码 - 我正在尝试将 const 对象放入向量中。我知道答案是“STL 容器要求对象是可分配的和可复制的”，但是，在没有引用标准的情况下，谁能解释这样做的问题是什么？我不明白为什么不能复制这样的类（除了 c++ 不允许这样做）。

它只是一个不允许更改的存储值 - 为什么不能将它放入向量中简单地创建另一个对象？

#include <vector>

// Attempt 1
// /home/doriad/Test/Test.cxx:3:8: error: non-static const member ‘const int MyClass::x’, can’t use default assignment operator

// struct MyClass
// {
//   int const x;
//   MyClass(int x): x(x) {}
// };
// 
// int main()
// {
//   std::vector<MyClass> vec;
//   vec.push_back(MyClass(3));
//   return 0;
// }

// Attempt 2
// /home/doriad/Test/Test.cxx:28:23: error: assignment of read-only member ‘MyClass::x’
struct MyClass
{
  int const x;
  MyClass(int x): x(x) {}
  MyClass& operator= (const MyClass& other)
  {
    if (this != &other)
    {
      this->x = other.x;
    }

    return *this;
  }
};

int main()
{
  std::vector<MyClass> vec;
  vec.push_back(MyClass(3));
  return 0;
}

编辑：

使用 std::set 和 std::list 可以做到这一点。我猜是 std::vector 中的 sort() 函数使用了赋值。这不是UB吧？

#include <set>

// Attempt 1
struct MyClass
{
  int const x;
  MyClass(int x): x(x) {}
  bool operator< (const MyClass &other) const;
};

bool MyClass::operator<(const MyClass &other) const
{
  if(this->x < other.x)
  {
    return true;
  }
  else if (other.x < this->x)
  {
    return false;
  }

}


int main()
{
  std::set<MyClass> container;
  container.insert(MyClass(3));
  return 0;
}

Answer 1

EDIT2：（删除一堆不必工作的东西）C ++ 11标准规定vector和deque的insert方法（以及push_back的默认实现）那件事）要求值类型为CopyAssignable，即该值支持：

t= v;

默认情况下，具有const 成员的类和结构不是CopyAssignable，因此您想要做的事情不会起作用。

此文档(n3173) 解释了各种容器要求。

Answer 2

一种可能的解决方案是将指向对象的指针存储在向量中，因为指针是可分配的和可复制构造的。

另一种可能的解决方案是在不使用 const 关键字的情况下声明 x，但确保不能通过封装对其进行修改（即，您应该将其声明为私有，并且不要从构造函数之外的任何地方进行修改）..

Answer 3

当您将 MyClass 类型的对象放入 std::vector 时，vector 将复制该对象而不是您传递给它的对象。