C++ std::vector> 不能插入元素

Question

int main() {
  using kv = std::pair<const int ,int>;

  std::vector<kv> vec;
  kv a{1,1};
  vec.insert(vec.begin(),a);
}

我试图将元素插入到那个 vector 中，但是编译器给出了这个错误:

cannot assign to non-static data member 'first' with const-qualified type 'const int'

同时 push_back()将正确编译。为什么会这样？将元素插入此类 vector 的正确方法是什么？

添加:我使用 std::pair<const int, int> 的原因是我想实现类似 std::map 的东西, 并且键值对中的键不应该被修改。但我不确定 std::pair<const int, int> 是否是执行此操作的正确方法。

Answer 1

让我们从观察以下内容开始:

std::pair<const int, int> a, b;

a=b;

这也不会编译。为什么？因为您实际上是在声明以下类:

class my_pair {

public:
    // ... Bunch of irrelevant stuff

    const int first;
    int second;
};

此类已删除其默认赋值运算符。默认的赋值运算符相当于单独赋值类成员:

pair<first,second> &operator=(const pair<first, second> &other)
{
   first=other.first;
   second=other.second;
   return *this;
}

这是默认赋值运算符的粗略示例。

但是您不能在这里修改first 类成员，因为它是const 类成员。因此，默认赋值运算符被删除。最终结果:无法将具有 const 值的 std::pair 分配给另一个这样的对。

您现在应该能够自己弄清楚为什么对 vector 对的 insert() 不起作用。

insert() 大致相当于将 vector 中插入点之后的所有现有值移动一个，以便为新值腾出空间。换句话说:

 value[n+1]=values[n];

对于超过插入点的所有值(我暂时忽略了将 vector 增加一个值所做的工作，这与本讨论无关)。

但正如我所解释的，默认赋值运算符被删除，因为 value 有一个 const 类成员。

push_back 起作用是因为不需要插入任何内容，只需要将一个新值添加到 vector 的末尾。如果 vector 需要重新分配以适应其增长，则使用复制或移动构造函数，它们对于具有 const 值的 std::pair 仍然有效。