C++11 - 2 个 vector 之间的 emplace_back 不起作用

Question

我试图调整一些代码并使用 emplace_back()

将内容从一个 vector move 到另一个 vector

#include <iostream>
#include <vector>

struct obj
{
  std::string name;

  obj():name("NO_NAME"){}
  obj(const std::string& _name):name(_name){}

  obj(obj&& tmp): name(std::move(tmp.name)) {}
  obj& operator=(obj&& tmp) = default;

};

int main(int argc, char* argv[])
{

  std::vector<obj> v;
  for( int i = 0; i < 1000; ++i )
  {
    v.emplace_back(obj("Jon"));
  }

  std::vector<obj> p;
  for( int i = 0; i < 1000; ++i )
  {
    p.emplace_back(v[i]);
  }

  return(0);
}

这段代码不能用 g++-4.7、g++-4.6 和 clang++ 编译:它有什么问题？

关于

我总是有 1 个主要错误

call to implicitly-deleted copy constructor of obj

?

Answer 1

虽然现有的答案提供了一种使用 std::move 的解决方法，使您的程序可以编译，但必须说您对 emplace_back 的使用似乎是基于误会。

您描述它的方式(“我试图 [...] 使用 emplace_back() 将内容从一个 vector move 到另一个 vector ”)和您使用它的方式建议您将 emplace_back 视为一种将元素 move 到 vector 中的方法，并将 push_back 视为一种方法 将元素复制到 vector 中。您用来填充 vector 的第一个实例的代码似乎也暗示了这一点:

std::vector<obj> v;
for( int i = 0; i < 1000; ++i )
{
  v.emplace_back(obj("Jon"));
}

但这不是 emplace_back 和 push_back 之间的区别。

首先，即使 push_back 也会 move (而不是复制)元素到 vector 中，只要它被赋予一个右值，并且如果元素类型有一个 move 赋值运算符。

其次，emplace_back 的实际用例是就地 构造元素，即当您想要将对象放入时使用它一个尚不存在的 vector 。 emplace_back 的参数是对象的构造函数的参数。所以你上面的循环应该看起来像这样:

std::vector<obj> v;
for( int i = 0; i < 1000; ++i )
{
  v.emplace_back("Jon");   // <-- just pass the string "Jon" , not obj("Jon")
}

您现有代码工作的原因是 obj("Jon") 也是构造函数(特别是 move 构造函数)的有效参数。但是 emplace_back 的主要思想是您不需要创建对象然后将其移入。当您传递 obj( "Jon") 而不是 "Jon"。

另一方面，在第二个循环中，您正在处理之前创建的对象。使用 emplace_back move 已经存在的对象是没有意义的。同样，应用于现有对象的 emplace_back 并不意味着该对象已 move 。这仅意味着它是使用普通的复制构造函数(如果存在)就地创建的。如果你想 move 它，只需使用 push_back，应用于 std::move 的结果:

std::vector<obj> p;
for( int i = 0; i < 1000; ++i )
{
  p.push_back(std::move(v[i]));  // <-- Use push_back to move existing elements
}

补充说明
1) 您可以使用 C++11 基于范围的 for 来简化上面的循环:

std::vector<obj> p;
for (auto &&obj : v)
  p.push_back(std::move(obj));

2) 无论你使用普通的for循环还是基于范围的for，你都是一个一个 move 元素，这意味着源 vector v将保持为1000的 vector 空对象。如果你真的想清除进程中的 vector (但仍然使用 move 语义将元素传输到新 vector )，你可以使用 vector 本身的 move 构造函数:

std::vector<obj> p(std::move(v));

这将第二个循环减少到只有一行，并确保源 vector 被清除。