使用移动时不会发生复制省略

Question

为什么这个例子打印:

#include <iostream>

struct X
{
    X() = default;
    X(X const&) { std::cout << "copy-constructor\n"; }
    X(X&&) { std::cout << "move-constructor\n"; }

    X& operator=(X)
    {
        return *this;
    }
};

int main() 
{
    X x, y;
    std::cout << "assign from prvalue calls the ";
    x = X{};
    std::cout << "\nassign from xvalue calls the ";
    x = std::move(y);
}

从prvalue调用
分配来自xvalue 的赋值调用move-constructor

这两个X{}和std::move(y)的右值那么为什么只分配给X{}造成拷贝省音？

Answer 1

复制省略在第一种情况下工作,因为你从临时初始化赋值运算符的参数; 临时可以省略,直接构造参数.用标准来说,elision的标准之一是:

当一个未绑定到引用的临时类对象被复制/移动到具有相同cv-nonqualified类型的类对象时,可以通过将临时对象直接构造到省略的目标中来省略复制/移动操作复制/移动

在第二种情况下,您不是从临时对象初始化它,而是从现有对象初始化它.它已经在与目标不同的位置构建,因此不能进行上述优化.