多个emplace_back调用副本构造函数

Question

考虑以下示例：

#include <iostream>
#include <vector>

class S {
public:
  S() { puts("S()"); }
  S(int) { puts("S(int)"); }
  ~S() { puts("~S()"); }
  S(const S &) { puts("S(const S&)"); }
  S(S &&) { puts("S&&"); }
  const S &operator=(const S &s) {
    puts("=");
    return s;
  }
  S &operator=(S &&s) {
    puts("Move =");
    return s;
  }
};

int main() {
  std::vector<S> s;
  s.emplace_back();
  s.emplace_back(6);
}

O / p：

S()
S(int)
S(const S&)
~S()
~S()
~S()

当只有一个元素为emplaced_back ， constructor/destructor pair将被精确调用一次。 但是，当有多个emplace_back （例如s.emplace_back(6); ）时，也会调用copy constructor 。 为什么这种行为有所不同？ emplace_back是否仍然存在副本？

Answer 1

考虑到std::vector有时会扩大它的分配区域（当您添加到许多元素时），并且必须将旧值复制到新位置。 这导致复制构造函数的调用。

您可以致电reserve()

std::vector<S> s;
s.reserve(20);
s.emplace_back();
s.emplace_back(6);

s向量必须保留更大的存储区域，以避免元素重定位。

Answer 2

这是因为如@ max66所述发生重新分配。 至于为什么要调用拷贝构造函数，这是因为您的move构造函数不是noexcept 。

更改为此：

S(S &&) noexcept { puts("S&&"); }

然后是move构造函数被调用。