C++ 左值与右值 右值引用 引用折叠 => 完美转发

2022-10-31,,,,

左值与右值

什么是左值?什么是右值?

在C++里没有明确定义。看了几个版本,有名字的是左值,没名字的是右值。能被&取地址的是左值,不能被&取地址的是右值。而且左值与右值可以发生转换。

我个人的理解就是在当前作用域下右值是个临时变量。

举例如下:https://blog.csdn.net/wangshubo1989/article/details/50479162

// lvalues:
//
int i = ;
i = ; // ok, i is an lvalue
int* p = &i; // ok, i is an lvalue
int& foo();
foo() = ; // ok, foo() is an lvalue
int* p1 = &foo(); // ok, foo() is an lvalue // rvalues:
//
int foobar();
int j = ;
j = foobar(); // ok, foobar() is an rvalue
int* p2 = &foobar(); // error, cannot take the address of an rvalue
j = ; // ok, 42 is an rvalue

照搬了别人的例子。(尴尬)


右值引用

以前在拜读muduo的时候就遇到过右值引用T&&。当时没详细了解,就知道配合std::move使用,是移动构造函数A(A&& a)中使用的。

后来才知道他其实是右值引用

具体关于move以及移动构造函数我以前以及了解过,也使用比较多,此处不用记录了C++11中移动语义(std::move)和完美转发(std::forward)也有所解释,我更看中他对forward的解释(笑~)


引用折叠 => 完美转发

什么是引用折叠?

来自C++11中移动语义(std::move)和完美转发(std::forward)

不过还是很难理解这和完美转发的实现有什么关联?为什么引用折叠能让forward完美转发参数原来的左值右值属性?

感觉是这文的的实例代码一段讲述了forward的好处,后一段其实是严重引用折叠的,所以我没看懂

//https://en.cppreference.com/w/cpp/utility/forward
#include <iostream>
#include <memory>
#include <utility> struct A {
A(int&& n) { std::cout << "rvalue overload, n=" << n << "\n"; }
A(int& n) { std::cout << "lvalue overload, n=" << n << "\n"; }
}; class B {
public:
template<class T1, class T2, class T3>
B(T1&& t1, T2&& t2, T3&& t3) :
a1_{std::forward<T1>(t1)},
a2_{std::forward<T2>(t2)},
a3_{std::forward<T3>(t3)}
{
} private:
A a1_, a2_, a3_;
}; template<class T, class U>
std::unique_ptr<T> make_unique1(U&& u)
{
return std::unique_ptr<T>(new T(std::forward<U>(u)));
} template<class T, class... U>
std::unique_ptr<T> make_unique2(U&&... u)
{
return std::unique_ptr<T>(new T(std::forward<U>(u)...));
} int main()
{
auto p1 = make_unique1<A>(); // rvalue
int i = ;
auto p2 = make_unique1<A>(i); // lvalue std::cout << "B\n";
auto t = make_unique2<B>(, i, );
}
rvalue overload, n=2

lvalue overload, n=1

B

rvalue overload, n=2

lvalue overload, n=1

rvalue overload, n=3

结合此段代码就可以感觉到,虽然B(T1&&,T2&&,T3&&)的参数都是右值引用,结合应用折叠规则,其转入的参数都会保留原有的右值引用和左值引用属性

C++ 左值与右值 右值引用 引用折叠 => 完美转发的相关教程结束。

《C++ 左值与右值 右值引用 引用折叠 => 完美转发.doc》

下载本文的Word格式文档,以方便收藏与打印。