C++11 / VS2010：返回不可复制但可移动对象的容器

Question

考虑以下代码：

#include <vector>
#include <boost/noncopyable.hpp>

struct A : private boost::noncopyable
{
  A(int num, const std::string& name)
    : num(num),
      name(name)
  {
  }

  A(A&& other)
    : num(other.num),
      name(std::move(other.name))
  {
  }

  int num;
  std::string name;
};

std::vector<A> getVec()
{
  std::vector<A> vec;
  vec.emplace_back(A(3, "foo"));
  // vec.emplace_back(3, "foo"); not available yet in VS10?

  return vec; // error, copy ctor inaccessible
}

int main ( int argc, char* argv[] )
{
  // should call std::vector::vector(std::vector&& other)
  std::vector<A> vec = getVec();

  return 0;
}

这在 VS2010 下无法编译，因为显然 A 是 noncopyable，因此无法复制 std::vector<A>。因此，我无法从函数返回 std::vector<A>。

但是，考虑到 RVO 的概念，我觉得这种事情是不可能的。如果此处应用了返回值优化，则可以省略复制构造，并且对 getVec() 的调用将是有效的。

那么正确的方法是什么？这在 VS2010 / C++11 中是否可能？

Answer 1

如果return vec; 不编译，VS2010 还不完全支持移动语义。通常，如果从函数返回，自动变量会被隐式移动。使用return std::move(vec); 作为临时解决方法，并在脑海中记下以在将来摆脱std::move。

完整的解释可以在标题“移出函数”下找到in this FAQ answer。

此外，您的双参数构造函数会复制通过引用到常量传递的字符串参数。我建议改为按值取参数并将其移动到成员中：

A(int num, std::string name) : num(num), name(std::move(name)) { }

这样，您可以最大限度地减少必要副本的数量。详情请见Want Speed? Pass by Value。

另外，由于你的移动构造函数没有做任何特别的事情，你可以default它：

A(A&& other) = default;

这使它在面对变化时更加稳健。错误很少隐藏在您不编写的代码中:)

Answer 2

但是考虑到 RVO 的概念，我觉得这种事情是不可能的。

省略是命名返回值优化等东西的总称，是一种优化。它不是必需的。规范允许，但即使允许，也不会强制任何实现这样做。

因此，为了在允许省略的编译器和不允许省略的编译器之间强制执行一致性，如果操作允许省略，编译器必须仍然验证考虑到代码的当前状态，省略复制/移动将是可能的。因此，如果无法访问复制/移动构造函数，即使编译器不会实际调用它，操作也会失败。

在这种情况下，Visual Studio 2010 在这方面似乎有点困惑。它确实认识到return vec; 应该从vec 移动。但是，VS2010 的std::vector 实现似乎需要一个移动赋值运算符来移动；如果没有，它将尝试复制。