为什么可以使用已删除的移动构造函数和赋值运算符移动对象?

Question

我有以下定义：

struct FileDescriptor {
explicit FileDescriptor(int fd) : desc(fd), is_open(true) {}
explicit operator int() { return desc; }
FileDescriptor(const FileDescriptor &) = delete;
FileDescriptor(FileDescriptor &&) = delete;
FileDescriptor &operator=(const FileDescriptor &) = delete;
FileDescriptor &operator=(FileDescriptor &&) = delete;
~FileDescriptor() {
if (is_open) {
close(desc);
}
}
int desc;
bool is_open;
};
std::string capture_out(FileDescriptor &&fd) {
/* some code */
}

如您所见，文件描述符结构的移动构造函数和赋值运算符被显式删除。但是，将编译以下代码。

/* some code */
FileDescriptor fdhERR(6);
auto sERR = capture_out(std::move(fdhERR));
/* some code */

我对右值的复杂性不是很熟悉，但这种行为似乎违反直觉。为什么会这样？

Answer 1

>capture_out()将右值引用作为其参数，但它仍然只是一个引用。std::move()只是对引用的类型转换，它实际上不会移动任何内容。您的示例仅构造一个FileDescriptor对象，然后通过引用将其传递给capture_out()，没有第二个对象被构造或分配给，因此不会调用已删除的构造函数和已删除的运算符。实际上没有任何东西被复制或移动。