31

我对何时调用移动构造函数和复制构造函数感到困惑。我已阅读以下资料：

在 C++0x 中未调用移动构造函数

在 C++11 中移动语义和右值引用

微软

所有这些来源要么过于复杂（我只想要一个简单的例子），要么只展示如何编写移动构造函数，而不是如何调用它。我写了一个更具体的简单问题：

const class noConstruct{}NoConstruct;
class a
{
private:
    int *Array;
public:
    a();
    a(noConstruct);
    a(const a&);
    a& operator=(const a&);
    a(a&&);
    a& operator=(a&&);
    ~a();
};

a::a()
{
    Array=new int[5]{1,2,3,4,5};
}
a::a(noConstruct Parameter)
{
    Array=nullptr;
}
a::a(const a& Old): Array(Old.Array)
{

}
a& a::operator=(const a&Old)
{
    delete[] Array;
    Array=new int[5];
    for (int i=0;i!=5;i++)
    {
        Array[i]=Old.Array[i];
    }
    return *this;
}
a::a(a&&Old)
{
    Array=Old.Array;
    Old.Array=nullptr;
}
a& a::operator=(a&&Old)
{
    Array=Old.Array;
    Old.Array=nullptr;
    return *this;
}
a::~a()
{
    delete[] Array;
}

int main()
{
    a A(NoConstruct),B(NoConstruct),C;
    A=C;
    B=C;
}

目前 A、B 和 C 都有不同的指针值。我希望 A 有一个新指针，B 有 C 的旧指针，C 有一个空指针。

有点离题，但如果有人可以建议我可以详细了解这些新功能的文档，我将不胜感激，并且可能不需要问更多问题。

4

3 回答 3

45

调用移动构造函数：

  • 当一个对象初始化器是std::move(something)
  • 当对象初始化器是std::forward<T>(something)或T不是左值引用类型时（在模板编程中用于“完美转发”）
  • 当对象初始化器是临时的并且编译器没有完全消除复制/移动时
  • 当按值返回函数局部类对象并且编译器不会完全消除复制/移动时
  • 当抛出一个函数局部类对象并且编译器没有完全消除复制/移动时

这不是一个完整的列表。请注意，如果参数具有类类型（不是引用），则“对象初始值设定项”可以是函数参数。

a RetByValue() {
    a obj;
    return obj; // Might call move ctor, or no ctor.
}

void TakeByValue(a);

int main() {
    a a1;
    a a2 = a1; // copy ctor
    a a3 = std::move(a1); // move ctor

    TakeByValue(std::move(a2)); // Might call move ctor, or no ctor.

    a a4 = RetByValue(); // Might call move ctor, or no ctor.

    a1 = RetByValue(); // Calls move assignment, a::operator=(a&&)
}
于 2012-10-29T16:36:14.047 回答
5

首先，您的复制构造函数已损坏。复制的对象和复制的对象都将指向同一个对象，并且当它们超出范围时Array都会尝试指向它，从而导致未定义的行为。delete[]要修复它，请复制数组。

a::a(const a& Old): Array(new int[5])
{
  for( size_t i = 0; i < 5; ++i ) {
    Array[i] = Old.Array[i];
  }
}

现在，移动赋值并没有按照您的意愿执行，因为两个赋值语句都是从左值进行赋值，而不是使用右值。对于要执行的移动，您必须从右值移动，或者它必须是可以将左值视为右值的上下文（例如函数的返回语句）。

要获得所需的效果，请使用std::move创建右值引用。

A=C;              // A will now contain a copy of C
B=std::move(C);   // Calls the move assignment operator
于 2012-10-29T16:35:41.720 回答
0

请记住，可能会发生复制省略。如果您通过将-fno-elide-constructors标志传递给编译器来禁用它，您的构造函数可能会被执行。

你可以在这里阅读：https ://www.geeksforgeeks.org/copy-elision-in-c/

于 2019-12-20T08:53:42.017 回答