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

左值与右值

什么是左值？什么是右值？

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

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

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

// lvalues:
  //
  int i = 42;
  i = 43; // ok, i is an lvalue
  int* p = &i; // ok, i is an lvalue
  int& foo();
  foo() = 42; // ok, foo() is an lvalue
  int* p1 = &foo(); // ok, foo() is an lvalue

  // rvalues:
  //
  int foobar();
  int j = 0;
  j = foobar(); // ok, foobar() is an rvalue
  int* p2 = &foobar(); // error, cannot take the address of an rvalue
  j = 42; // 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>(2); // rvalue
    int i = 1;
    auto p2 = make_unique1<A>(i); // lvalue
 
    std::cout << "B\n";
    auto t = make_unique2<B>(2, i, 3);
}

 

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&&)的参数都是右值引用，结合应用折叠规则，其转入的参数都会保留原有的右值引用和左值引用属性