c++ - std::vector push_back() 语义

我知道 std::vector 中的 push_back 在末尾放置了作为参数传递的对象的拷贝。

让我们考虑这个简单的例子

class Foo
{
public:
  Foo(int i=-1) :i_(i) {std::cout << "Foo:" << i_ << std::endl;}

  Foo(const Foo& rhs)
  {
    i_ = rhs.i_;
    std::cout << "Foo copy CTOR:" << i_ <<  std::endl;
  }

  ~Foo() {std::cout << "~Foo:" << i_ << std::endl;}

private:
  int i_;
};

而这段代码

void testObjects()
{
  std::vector<Foo> vFoo;

  for (int i=0; i < 3; i++)
  {
    std::cout << std::endl;
    Foo aFoo(i+100);
    vFoo.push_back(aFoo);
    std::cout << "i=" << i << " vector size=" << vFoo.size()
              << std::endl;
  }
  std::cout << "end of loop - vector size=" << vFoo.size()
            << std::endl << std::endl;
}

我得到的结果是:

Foo:100
Foo copy CTOR:100
i=0 vector size=1
~Foo:100

Foo:101
Foo copy CTOR:100
Foo copy CTOR:101
~Foo:100
i=1 vector size=2
~Foo:101

Foo:102
Foo copy CTOR:100
Foo copy CTOR:101
Foo copy CTOR:102
~Foo:100
~Foo:101
i=2 vector size=3
~Foo:102
end of loop - vector size=3

~Foo:100
~Foo:101
~Foo:102

我的印象是 vector 将其大小增加了 1(如预期)并且其内容被移动(向下？)，导致额外的(？？)复制构造。
我对吗？

我提前感谢您的时间。

问候

最佳答案

vector 的内容不移位，否则 push_back() 无法分摊常数时间。

根据输出，我认为您对 std::vector 的实现以 0 或 1 的容量开始，并在超出容量时将容量加倍。您看到的不是 vector 内容的移动，而是内部内存缓冲区的重新分配。

为了验证，在 vFoo 声明之后添加这一行:

vFoo.reserve(16);

之后您不应该看到额外的复制构造函数调用。

或者，您可以将测试代码运行到更大的 vector (至少最多 4 个)，并验证所有元素的复制构造发生的频率越来越低。从长远来看，N 次插入最多应该有 O(log N) 次重新分配。

如果不是上述情况，则表明您正在使用不符合 C++ 标准的 std::vector 的损坏实现。

关于c++ - std::vector push_back() 语义，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/19244703/

Vector

c++ - std::vector push_back() 语义