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

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

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


怎么样,劝退了没。

相关文章
|
3月前
|
存储 安全 C++
C++中的引用和指针:区别与应用
引用和指针在C++中都有其独特的优势和应用场景。引用更适合简洁、安全的代码,而指针提供了更大的灵活性和动态内存管理的能力。在实际编程中,根据需求选择适当的类型,能够编写出高效、可维护的代码。理解并正确使用这两种类型,是掌握C++编程的关键一步。
52 1
|
2月前
|
存储 安全 C++
浅析C++的指针与引用
虽然指针和引用在C++中都用于间接数据访问,但它们各自拥有独特的特性和应用场景。选择使用指针还是引用,主要取决于程序的具体需求,如是否需要动态内存管理,是否希望变量可以重新指向其他对象等。理解这二者的区别,将有助于开发高效、安全的C++程序。
23 3
|
2月前
|
存储 自然语言处理 编译器
【C++入门 三】学习C++缺省参数 | 函数重载 | 引用
【C++入门 三】学习C++缺省参数 | 函数重载 | 引用
|
3月前
|
存储 安全 编译器
【C++航海王:追寻罗杰的编程之路】引用、内联、auto关键字、基于范围的for、指针空值nullptr
【C++航海王:追寻罗杰的编程之路】引用、内联、auto关键字、基于范围的for、指针空值nullptr
54 5
|
3月前
|
C++
C++引用
C++引用
|
3月前
|
存储 安全 编译器
【C++入门】—— C++入门 (中)_引用
【C++入门】—— C++入门 (中)_引用
31 5
|
3月前
|
C语言 C++ 编译器
【C++语言】冲突-C语言:输入输出、缺省参数、引用、内联函数
【C++语言】冲突-C语言:输入输出、缺省参数、引用、内联函数
【C++语言】冲突-C语言:输入输出、缺省参数、引用、内联函数
|
2月前
|
C++
C++基础知识(二:引用和new delete)
引用是C++中的一种复合类型,它是某个已存在变量的别名,也就是说引用不是独立的实体,它只是为已存在的变量取了一个新名字。一旦引用被初始化为某个变量,就不能改变引用到另一个变量。引用的主要用途包括函数参数传递、操作符重载等,它可以避免复制大对象的开销,并且使得代码更加直观易读。
|
3月前
|
安全 测试技术 C++
C++中的引用
C++中的引用
23 1