为什么使用临时对象初始化另一个对象时没有调用 C 11 移动构造函数？

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

描述：
在 C 11 中使用移动语义时，这是可能的遇到移动构造函数被意外跳过而转而使用默认构造函数的情况。本文探讨了这个问题，检查了根本原因，并提供了解决方案。

问题：
考虑以下带有输出消息的构造函数的类 X：

<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">X x("test");
cout << x.c() << endl;
X y(x);
cout << y.c() << endl;
X z( X("test") );
cout << z.c() << endl;</code>

但是，预期输出并未显示为 z 调用的移动构造函数，而是使用默认构造函数。

标准一致性：
根据 C 11 标准 (§12.8.32)，只要可能，移动语义应优先于复制语义。因此，在这种情况下，确实应该为 z 调用移动构造函数。

行为说明：
观察到的行为是由于名为 copy elision。 C 11 允许编译器在某些情况下省略复制/移动对象以提高性能。其中一种情况是，临时对象将被复制/移动到具有相同 cv-unqualified 类型的对象。

在我们示例代码的最后一行， X("test") 创建一个临时 X对象，并且它具有与目标 (z) 相同的 cv-unqualified 类型。因此，编译器可以省略复制和移动构造函数，直接将临时对象构造到 z 中，而不调用任何构造函数。

解决方案：强制移动构造函数为调用后，我们可以使用 std::move() 来显式指示应该进行移动：

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

通过此修改，将产生预期的输出，确认移动构造函数的参与。

以上是为什么使用临时对象初始化另一个对象时没有调用 C 11 移动构造函数？的详细内容。更多信息请关注PHP中文网其他相关文章！