如何在不调用复制构造函数的情况下将元素添加到向量？

Question

由于某种原因，我的临时本地对象在添加到向量时总是被复制构造/销毁，由于嵌套的std::reference_wrapper 导致问题，由于之后的复制构造和销毁（std::reference_wrapper 目标而变得无效）位于被破坏的对象内 -> 如果源对象被破坏，它们在复制构造的对象中无效）。但如果可能的话，我想完全避免额外的复制/销毁——这似乎是不可能的，因为无论我尝试什么，它总是想调用复制构造函数（即使使用std::vector::emplace_back）。

考虑到这个简单的例子（为了在不涉及std::reference_wrapper 的情况下更容易理解），它总是尝试调用复制构造函数 - 我不明白为什么。

#include <vector>

class A{
public:
  A(int a) : a(a){ }
  int getInt() const{ return a; }
  A(const A&) = delete; /* to deny copy-construction */
private:
  int a;
};

int main(int argc, char* argv[]){
  std::vector<A> vec;
  vec.emplace_back(3);              /* tries to call copy constructor */
  vec.push_back(A(3));              /* tries to call copy constructor */
  vec.push_back(std::move(A(3)));   /* tries to call copy constructor */
  return 0;
}

任何想法我在这里缺少什么？

Answer 1

根据 Visual Studio 2013 documentation，强调我的：

“Rvalue references v3.0”添加了新规则，以在特定条件下自动生成移动构造函数和移动赋值运算符。但是，由于时间和资源限制，这在 Visual Studio 2013 的 Visual C++ 中并未实现。

Visual Studio 2013 被指定为使用 Rvalue 引用 v2.1。

注意：正如 cmets 中的 T.C. 注释，在您的示例中显式禁用复制构造函数也存在问题。根据cppreference.com。

如果没有为类类型（结构、类或联合）提供用户定义的移动构造函数，并且以下所有情况都为真：

• 没有用户声明的复制构造函数
• 没有用户声明的复制赋值运算符
• 没有用户声明的移动赋值运算符
• 没有用户声明的析构函数
• （C++14 前）由于下一节中详述的条件，隐式声明的移动构造函数未定义为已删除

然后编译器将使用签名 T::T(T&&) 将移动构造函数声明为其类的内联公共成员。

一个类可以有多个移动构造函数，例如T::T(const T&&) 和 T::T(T&&)。如果存在一些用户定义的移动构造函数，用户仍然可以强制生成带有关键字 default 的隐式声明的移动构造函数。

这意味着您的示例代码还会阻止自动生成移动构造函数（即，它有一个用户声明的复制构造函数）。

您需要显式声明您的移动构造函数和/或移动赋值运算符。以下适用于您的示例。

class A
{
public:
    A(int a) : a(a) {}

    A(const A&) = delete;

    A(A&& other) : a(other.a) {}

    int getInt() const { return a; }

private:
    int a;
};

int main(int argc, char* argv[])
{
    std::vector<A> vec;
    vec.emplace_back(3);
    vec.push_back(A(3));
    vec.push_back(std::move(A(3)));

    return 0;
}