查看原文
其他

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

The following article is from 编程往事 Author 果冻虾仁

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));

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)然后和&&联用,则只表示右值引用,只能接收右值类型的参数!

怎么样,劝退了没。


压箱底的音视频学习资料以及面经整理

您可能也对以下帖子感兴趣

文章有问题?点此查看未经处理的缓存