通过参考文献的参考直观地理解函数

Question

可能的重复：
T&&是什么？在 C++11 中意味着什么？

由于某种原因，这超出了我的直觉，我在互联网上找不到任何解释。 C++ 函数获取引用的引用意味着什么？例如：

void myFunction(int&& val);     //what does this mean?!

我理解按引用传递的想法，因此

void addTwo(int& a)
{
    a += 2;
}

int main()
{
    int x = 5;
    addTwo(x);

    return 0;
}

对我来说很有效并且很直观。

Answer 1

这不是引用的引用，而是一种名为 右值引用 的新语言功能，表示（非正式地）对内存中对象的引用，该对象未在程序中的其他地方引用，并且可以被破坏性修改。例如，函数的返回值可以通过右值引用捕获，就像引入到表达式中的临时值一样。

右值引用可用于多种目的。从大多数C++程序员的角度来看，它们可以用来实现移动语义，由此，可以通过将旧对象的内容从旧对象“移动”到新对象中来初始化新对象。您可以使用它从 C++11 中的函数返回巨大的对象，而无需花费巨大的成本来复制该对象，因为用于捕获返回值的对象可以使用移动构造函数进行初始化，只需从临时对象中窃取内部结构即可由 return 语句创建。

移动语义与复制语义正交，因此对象可以移动但不可复制。例如，std::ofstream 不可复制，但它们是可移动的，因此您可以使用移动行为从函数返回 std::ofstream。目前在 C++03 中无法完成此操作。例如，这段代码在 C++03 中是非法的，但在 C++11 中完全没问题（并且受到鼓励！）：

std::ifstream GetUserFile() {
    while (true) {
        std::cout << "Enter filename: ";
        std::string filename;
        std::getline(std::cin, filename);

        ifstream input(filename); // Note: No .c_str() either!
        if (input) return input;

        std::cout << "Sorry, I couldn't open that file." << std::endl;
    }
}

std::ifstream file = GetUserFile(); // Okay, move stream out of the function.

直观上，采用右值引用的函数是一个（可能）试图通过以下方式避免昂贵的副本的函数：将旧对象的内容移动到新对象中。例如，您可以通过让构造函数接受右值引用来为类向量对象定义一个移动构造函数。如果我们将向量表示为数组指针、数组容量和已使用空间的三元组，我们可以按如下方式实现其移动构造函数：

vector::vector(vector&& rhs) {
    /* Steal resources from rhs. */
    elems    = rhs.elems;
    size     = rhs.size;
    capacity = rhs.capacity;

    /* Destructively modify rhs to avoid having two objects sharing 
     * an underlying array.
     */
    rhs.elems    = nullptr; // Note use of nullptr instead of NULL
    rhs.size     = 0;
    rhs.capacity = 0;
}

值得注意的是，当我们清除 rhs 在构造函数的末尾，我们最终将 rhs 置于这样一种状态，即

1. 在调用其析构函数时不会导致崩溃（请注意，我们将其元素指针设置为 nullptr代码>，自释放以来nullptr 是安全的），并且
2. 仍然允许为该对象分配新值。后一点很棘手，但重要的是确保您仍然可以在某个时刻为清除的对象赋予新值。这是因为可以获得对对象的右值引用，该对象稍后仍可以在程序中引用。

为了阐明 (2)，右值引用的一个有趣用例是能够在对象之间显式移动值。例如，考虑一下 swap 的惯用实现：

template <typename T> void swap(T& lhs, T& rhs) {
    T temp = lhs;
    lhs = rhs;
    rhs = temp;
}

此代码是合法的，但有点不寻常。特别是，它最终会制作三个副本 - 首先将 temp 设置为 lhs 的副本，一旦将 lhs 设置为 lhs 的副本rhs，并一度将 rhs 设置为 temp 的副本。但我们真的不想在这里制作任何副本；相反，我们只想打乱这些值。因此，在 C++11 中，您将能够使用 std::move 函数显式获取对象的右值引用：

template <typename T> void swap(T& lhs, T& rhs) {
    T temp = std::move(lhs);
    lhs = std::move(rhs);
    rhs = std::move(temp);
}

现在，根本不进行任何复制。我们将lhs的内容移动到temp中，然后将rhs的内容移动到lhs中，然后移动内容temp 到 rhs 中。在此过程中，我们将 lhs 和 rhs 暂时置于“清空”状态，然后再将新值放入其中。重要的是，在编写将内容移出对象的代码时，我们要使对象处于某种格式良好的状态，以便该代码正常工作。

Answer 2

这不是对参考的参考。这是 C++0x 中为所谓的 右值引用引入的新语法。