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++11】右值引用
C++11引入的右值引用(rvalue references)是现代C++的重要特性,允许更高效地处理临时对象,避免不必要的拷贝,提升性能。右值引用与移动语义(move semantics)和完美转发(perfect forwarding)紧密相关,通过移动构造函数和移动赋值运算符,实现了资源的直接转移,提高了大对象和动态资源管理的效率。同时,完美转发技术通过模板参数完美地转发函数参数,保持参数的原始类型,进一步优化了代码性能。
56 2
|
5月前
|
编译器 C++
C++ 11新特性之右值引用
C++ 11新特性之右值引用
69 1
|
7月前
|
存储 安全 C++
浅析C++的指针与引用
虽然指针和引用在C++中都用于间接数据访问,但它们各自拥有独特的特性和应用场景。选择使用指针还是引用,主要取决于程序的具体需求,如是否需要动态内存管理,是否希望变量可以重新指向其他对象等。理解这二者的区别,将有助于开发高效、安全的C++程序。
48 3
|
7月前
|
存储 自然语言处理 编译器
【C++入门 三】学习C++缺省参数 | 函数重载 | 引用
【C++入门 三】学习C++缺省参数 | 函数重载 | 引用
|
7月前
|
C++
C++基础知识(二:引用和new delete)
引用是C++中的一种复合类型,它是某个已存在变量的别名,也就是说引用不是独立的实体,它只是为已存在的变量取了一个新名字。一旦引用被初始化为某个变量,就不能改变引用到另一个变量。引用的主要用途包括函数参数传递、操作符重载等,它可以避免复制大对象的开销,并且使得代码更加直观易读。
|
7月前
|
存储 自然语言处理 编译器
|
7月前
|
安全 C++
|
8月前
|
C++
C++引用
C++引用
|
8月前
|
存储 安全 编译器
【C++航海王:追寻罗杰的编程之路】引用、内联、auto关键字、基于范围的for、指针空值nullptr
【C++航海王:追寻罗杰的编程之路】引用、内联、auto关键字、基于范围的for、指针空值nullptr
83 5