从左值引用到右值引用的 C++ 转换引用 unique_ptr

Question

我正在研究 C++ 中的完美转发机制，我对 std::move() 函数有一些疑问。这是一个可能的实现：

template<class T> 
typename remove_reference<T>::type&&
std::move(T&& a) noexcept {
  typedef typename remove_reference<T>::type&& RvalRef;
  return static_cast<RvalRef>(a);
}

在std::unique_ptr<> 上使用时，此函数将资源的所有权从一个指针转移到另一个指针。 我发现这个函数的重点是从左值引用到右值引用到推导的T 类型的转换。

#include <iostream>
#include <memory>
using namespace std;
int main() {
    unique_ptr<int> p1(new int(20));
    unique_ptr<int> p2;
    unique_ptr<int> &r = p1;

    cout << "p1 = " << p1.get() << endl;
    cout << "p2 = " << p2.get() << endl;

    // These 2 instructions produce the same effect (then consider just one of them).
    p2 = static_cast<unique_ptr<int>&&>(r);
    //p2 = move(p1);

    cout << "p1 = " << p1.get() << endl;
    cout << "p2 = " << p2.get() << endl;

    return 0;
}

输出：

p1 = 0x467b10
p2 = 0
p1 = 0
p2 = 0x467b10

我想知道当我从 L 引用转换为 R 引用 std::unique_ptr<int> 类型时会发生什么。

Answer 1

std::move 不动，std::forward 不转发。

move 只是将一种引用投射到另一种引用。它接受一个引用，并返回对相同数据的右值引用。这在运行时没有任何作用。移动的是消耗这个右值引用的代码。

该代码现在被告知“像对待临时未命名对象一样对待它”（不完全是，但很接近）。最常见的消费者是“移动构造函数”或“移动赋值”，这就是unique_ptr 的实际移动。

至于forward，这是一个有条件的移动，被定义为使用一种称为“完美转发”和/或“通用引用”的技术。它有时会移动，有时什么也不做。我之所以提到它，是因为我上面引用的那句精辟的说法提到了它：这是另一个话题。