将右值引用分配给左值时发生了什么？

Question

我有一个简单的例子：

void Message::move_Folders(Message *m) {
    m_folders = std::move(m->m_folders);
    for (auto f : m_folders) {
        f->removeMessage(m);
        f->addMessage(this);
    }
    m->m_folders.clear();
}

这个 function 可以将“文件夹”成员从一个移动到另一个。 所以我想知道：我需要为“文件夹”提供移动分配 function 吗？

folders &operator=(folders &&f) {
    ...
}

将右值引用分配给左值时发生了什么？ 还是复制操作吗？ （我相信不会。）

注意：文件夹是一组文件夹对象。 一条消息可能属于许多文件夹。 所以一条消息包含一组文件夹。 该文件夹也有一个成员messages 。 一个文件夹可能包含许多消息。 这有点复杂。

这是Message和Folder的定义：

class Message {
public:
// constructor and destructor
...
private:
    std::set<Folder *> m_folders;
...
};

class Folder {
friend class Message;
//constructor and destructor
...
private:
    std::set<Message *> m_messages;
};

谢谢

Answer 1

注意std::move不会移动任何东西； 相反，它使事物可移动。 因此，为了实际将m->folders移动到this->folders中，移动分配确实必须执行该逻辑。

事实上，移动分配应该负责定义移动语义： move_folders方法不必清除m->folders ，因为它不应该知道这个细节。

Answer 2

是否需要提供用户定义的移动分配取决于您已经定义了哪些其他特殊成员，请参见图像了解组合：

因此，如果 Folders 没有用户定义的析构函数、复制构造函数或赋值运算符，则移动构造函数和赋值将由编译器隐式声明。 否则你需要自己写一个。

将右值分配给左值时发生了什么？ 还是复制操作吗？ （我相信不会。）

这取决于您是否有移动分配，它会移动，否则它将复制。

最后，您是否需要为您的文件夹 class 移动分配来移动 std::set 实际上是否，因为 std::set 的移动分配不会使用默认分配器一一移动内容。

Answer 3

您不需要提供移动分配运算符，但如果您不这样做，调用确实会降级为副本。