C++ Trick：右值引用、万能引用傻傻分不清楚

C++11标准颁布距今已经十年了，在这个标准中引入了很多新的语言特性，在进一步强化C++的同时，也劝退了很多人，其中就包含右值引用。

T&& Doesn’t Always Mean “Rvalue Reference”
by Scott Meyers

Scott Meyers曾经说过：T&&并不总是表示右值引用（rvalue reference）。

作为函数参数的&&

没错。&& 这两个符号，可能是初学C++或者C++11的时候，把很多人劝退的一个点。但想理清其实也不难。

首先在非模板函数中，&&肯定是表示右值引用，所以只能接收右值类型的参数。

class A {
    ...
};
void foo(A&& a) {
    ...
}

这个foo函数只能接受如下的右值参数。

foo(A{});

A a;
foo(std::move(a));

A get_a() {
    A a;
    ...
    return a;
}
foo(get_a());

但是这样调用则不正确，会编译失败：

    A a1;
    A& ar = a1;
    foo(ar); // ERROR

但是，在模板函数中&&则并不表示右值引用（rvalue rference）。比如：

template <typename T>
void bar(T&& t) {
    ...
}

这个T&&在C++标准中被称为forwarding reference， 译作转发引用， 俗称（非官方习惯但流行的叫法）是 universal reference，经常被译作万能引用。顾名思义，它所能接收的参数不仅仅是右值，左值也可以，故称万能。所以题主问题中的是T&&并不是右值引用。

我上文提到的模板函数bar()，可以接收如下类型的的参数（各种类型都可以！）。比如：

    bar(A{});
    A a;
    bar(move(a));
    bar(get_a());

    A a1;
    A& ar1 = a1;
    bar(ar1);

    const A& ar2 = a1;
    bar(ar2);

但是模板函数中的&&也不全是转发引用。比如：

template<typename T>
void bar(vector<T>&& tv) {
    ...
}

这里的参数tv就只能接收右值类型的参数。

又比如：

template<typename T>
void bar(const T&& v) {
    ...
}

加了const限制后，这里的&&也是右值引用，只能传入右值……

相信你已经看懂其中的差别。

接收返回值的&&

&&迷惑的另一个地方不仅在于上面介绍的，作为参数的时候。在接收函数返回值的时候，也有歧义，常常让人迷惑。

class A {
    ...
};
A&& a = test1(); // 这个&&表示的是右值引用
auto&& a = test2(); // 这个&&表示的是也是转发引用

在auto和&&联用的时候，它也是转发引用（万能引用），故而可以接收各种类型的函数参数。

但是如果是显式指定了类型（比如A）然后和&&联用，则只表示右值引用，只能接收右值类型的参数！

怎么样，劝退了没。

- EOF -

推荐阅读  点击标题可跳转

关注『CPP开发者』

看精选C/C++技术文章 

点赞和在看就是最大的支持❤️