c++ - 为什么默认构造函数不适用于 `vector::emplace_back`

Question

#include <vector>
#include <string>
#include <iostream>

struct PersonA {
  int age; std::string name;    
  PersonA(int _age, const std::string& _name) : age(_age), name(_name) {}
};

struct PersonB {
  int age; std::string name;    
  PersonB(int _age, const std::string&& _name): age(_age), name(_name) {}
};

struct PersonC {
  int age; std::string name;
};

int main()
{
  std::vector<PersonA> personA;  
  personA.emplace_back(10, "nameA");   // fine

  std::vector<PersonB> personB;  
  personB.emplace_back(10, "nameB");   // fine

  std::vector<PersonC> personC;  
  //personC.emplace_back(10, "nameC"); // (the implicit move constructor) not viable
                                       // (the implicit default constructor) not viable

  personC.emplace_back();              // UPDATE: fine.
}

问题> 为什么 vector::emplace_back 要求构造函数的显式定义否则下面的行不起作用？

// why it cannot make use of the default constructor of PersonC?
personC.emplace_back(10, "nameC"); 

此外，vector::emplace_back 不支持统一初始化。这和上面的问题有关系吗？

谢谢

Answer 1

std::emplace_back()获取您提供给它的参数并将它们完美转发给 value_type 的构造函数它应该创建的对象(在您的情况下为 PersonC )。

C++11 标准的表 101 指定了 emplace_back() 的语义:

Expression: a.emplace_back(args)

Return type: void

Operational semantics: Appends an object of type T constructed withstd::forward<Args>(args)....

PersonC 没有构造函数接受 int和一个 const char* (或任何可以分别由 int 和 const char* 构造的东西)，因此出现错误。

如果您想知道，编译器可以隐式定义的唯一构造函数是默认构造函数、复制构造函数和移动构造函数。