调用在复制它的函数中移动参数值的函数

Question

我通过以下代码：

void enqueue(T&& value)
{
    move_value_somewhere( T(std::move(value)));
}

void enqueue(const T& value)
{
    enqueue(T(value));
}

复制输入参数的第二个函数调用移动它的第一个函数。假设代码是正确的，如果从第二个函数调用T(std::move(value)) 不移动值而不是复制它，它可能来自T()，但我不知道为什么。

Answer 1

在enqueue(T(value)); 中，您首先创建传递值的临时副本 (T(value))。然后，您的移动构造函数 enqeue 会移动该临时副本。所以该代码类似于

T copy(value);
enqueue(std::move(copy));

Answer 2

enqueue() 采用 T&&，它只是将其限制为该类型，不会因为传递参数而发生构造函数调用，因为它不是值类型。

但是，当您调用 enqueue() 时，您会创建一个临时的 T，它将从您传递给它的 const T& value 调用其复制构造函数。

随后，临时变量成为enqueue() 的参数，然后创建另一个prvalue T，这一次使用您的（现在）左值参数初始化为T&&，如果T 确实有一个移动构造函数，将调用它。

否则，如果T 没有移动构造函数（也没有显式删除的构造函数），它将“回退”以调用复制构造函数（如果存在）。

由于您将临时传递给move_value_somewhere()，因此它需要接受T&&、const T& 或T——前提是T 类型有一个可行的构造函数来使这一切成为可能。

Answer 3

在void enqueue(const T& value) 中，一个临时的T 正在从value 复制构造为输入。然后将该临时文件传递给void enqueue(T&& value)。

在void enqueue(T&& value) 中，另一个临时的T 正在从value 作为输入移动构造（假设T 有移动构造函数，否则它将被复制构造）。然后将该临时文件传递给move_value_somewhere()。那个临时的T实际上是不必要的，因为value已经是一个右值引用，所以可以直接移动到move_value_somewhere()，例如：

void enqueue(T&& value)
{
    move_value_somewhere(std::move(value));
}

---

复制构造函数内部调用移动构造函数

实际上并非如此，因为显示的代码根本不适用于构造函数，只是用于普通的非静态类方法。那里有很大的不同。 构造函数没有返回值，并且不能像这段代码那样互相调用。但是他们可以委托给对方，但只能从成员初始化列表中。见Constructors and member initializer lists。