为什么从临时对象创建对象时不调用 C 11 移动构造函数？

未调用 C 11 移动构造函数，首选默认构造函数

在某些情况下，可能不会调用 C 11 移动构造函数，有利于相反，使用默认构造函数。为了理解为什么，让我们看一个例子。

考虑下面的类：

<code class="cpp">class X {
public:
    explicit X (char* c) { cout << "ctor" << endl; init(c); };
    X (X& lv)  { cout << "copy" << endl;  init(lv.c_); };
    X (X&& rv) { cout << "move" << endl;  c_ = rv.c_; rv.c_ = nullptr; };

    const char* c() { return c_; };

private:
    void init(char *c) { c_ = new char[strlen(c)+1]; strcpy(c_, c); };
    char* c_;

};</code>

使用这个类，我们可以创建如下对象：

<code class="cpp">int main() {
    X x("test");
    cout << x.c() << endl;
    X y(x);
    cout << y.c() << endl;
    X z( X("test") );
    cout << z.c() << endl;

    return 0;
}</code>

预期输出为：

ctor
test
copy
test
ctor  <-- Why not move?
test

但是，我们观察到最后一行没有调用移动构造函数。相反，使用默认构造函数。为了解释这一点，我们需要了解复制省略。

复制省略是C 11标准在某些条件下允许的优化技术。它允许编译器直接在目标对象中构造临时对象，从而避免复制/移动构造函数和析构函数的开销。

在此示例中，从临时“test”创建的 X 对象被省略到 z 中。这意味着不会调用复制/移动构造函数，而是直接将对象构造到 z 中。

当满足所有这些条件时，编译器可能会执行复制省略：

• 该对象是一个尚未绑定到引用的临时对象。
• 该对象被复制/移动到相同 cv-unqualified 类型的对象。

在我们的如果满足这些条件，就会发生复制省略，导致使用默认构造函数而不是移动构造函数。要显式调用移动构造函数，您可以使用 std::move，如下所示：

<code class="cpp">X z( std::move(X("test")) );</code>

以上是为什么从临时对象创建对象时不调用 C 11 移动构造函数？的详细内容。更多信息请关注PHP中文网其他相关文章！