目录

1、右值引用

2、移动语义（std::move）

3、完美转发（std::forward）

---

1、右值引用

右值引用（Rvalue reference）是C++11引入的一个新特性，它是一种新的引用类型，用于表示将要被移动的对象或临时对象。

（1）首先了解几个关键名词：

（1）左值：可以取地址的表达式，并且有名字；

（2）右值：不能取地址的表达式，且没有名字；

（3）纯右值：运算表达式产生的临时变量，不和对象关联的原始字面量、非引用返回的临时变量、lambda表达式都是纯右值；

（4）将忘值：即将销毁的值；

（5）左值引用&：对左值进行引用的类型，等号右边的值必须可以取地址

（6）右值引用&&：对右值进行引用的类型，等号右边的值需要是右值，可以使用std::move函数强制把左值转换为右值。

（2）相关的代码展示：

int a = 1;  // a是左值
int b = a;  // a是左值，b是左值
int c = a + b;  // a和b是右值，c是左值
int&& rvalue_ref = 1;  // rvalue_ref是右值引用

int &&d = a; // error, a是左值
int &&e = std::move(a); // ok

2、移动语义（std::move）

（1）移动语义含义：转移资源所有权，类似转让或者资源窃取，对于那块资源，转为自己所拥有，别人不再拥有也不会再使用；理解深浅拷贝，直接把原来需要拷贝的内存易主

在C++11之前，我们拥有4个特殊成员函数，即构造函数、析构函数、拷贝构造函数以及拷贝赋值运算符。从C++11开始，我们多了2个特殊成员函数，即移动构造函数和移动赋值运算符。

在C++11之后，如果我们定义一个空类，除了之前的4个特殊成员函数，编译器还会为我们生成移动构造函数和移动赋值运算符： 

但是我们自定义一些函数时候，可能就不一定会自动生成移动构造函数和移动赋值运算符，相关的关系看下面的表：

（2）右值引用的主要作用是实现移动语义（Move Semantics），即在对象的拷贝或赋值操作中，将资源的所有权从一个对象转移到另一个对象，避免不必要的拷贝和内存分配。例如：

// 例子1
std::vector<int> vec1 = {1, 2, 3};
std::vector<int> vec2 = std::move(vec1);  // 使用右值引用实现移动


// 例子2
std::vector<string> vecs;
...
std::vector<string> vecm = std::move(vecs); // 免

//类的
int main() 
{
	A a(10);
	A b = a;
	A c = std::move(a); // 调用移动构造函数
	return 0;
}

例子1：在上面的代码中，使用std::move将vec1转换为右值引用，然后将其赋值给vec2。由于vec1已经成为右值，因此可以安全地将其资源（即动态分配的内存）转移给vec2，避免了不必要的拷贝和内存分配。

注意：移动语义仅针对于那些实现了移动构造函数的类的对象，对于那种基本类型int、float等没有任何优化作用，还是会拷贝，因为它们实现没有对应的移动构造函数。

还需要关注的重点在于，我们需要把传入对象A的数据清除，不然就会产生多个对象共享同一份数据的问题。被转移数据的对象会处于"有效但未定义（valid but unspecified）"的状态。原本的指针要置空。

（3）避免非必要的std::move调用

在C++中，存在称为"NRVO（named return value optimization，命名返回值优化）"的技术，即如果函数返回一个临时对象，则该对象会直接给函数调用方使用，而不会再创建一个新对象。

当返回局部对象时，我们不用画蛇添足，直接返回对象即可，编译器会优先使用最佳的NRVO，在没有NRVO的情况下，会尝试执行移动构造函数，最后才是开销最大的拷贝构造函数。

3、完美转发（std::forward）

（1）右值引用还可以用于实现完美转发（Perfect Forwarding），即在函数模板中将参数按原样转发给另一个函数。即是：转发函数实参是左值，那目标函数实参也是左值；（右值同理）

（2）使用 std::forward 的示例：

#include <iostream>
#include <utility>

template<typename T>
void print(T&& arg) {
    std::cout << "Printing: " << std::forward<T>(arg) << std::endl;
}

int main() {
    int a = 5;
    const int b = 10;
    print(a); // T is int&, arg is int&
    print(b); // T is const int&, arg is const int&
    print(15); // T is int, arg is int&&
    return 0;
}

在这个示例中，我们定义了一个名为 print 的模板函数，接受一个类型为 T 的参数 arg。在函数体内，我们通过 std::forward 将 arg 转发给 std::cout，保留其原始值类型和常量性质。

在 main 函数中，我们分别调用 print 函数，传递了一个 int 类型的变量 a，一个 const int 类型的变量 b，以及一个 int 字面量 15。当我们传递 a 和 b 时，T 的类型分别为 int& 和 const int&，因此 arg 的类型也分别为 int& 和 const int&。当我们传递 15 时，T 的类型为 int，arg 的类型为 int&&。

在每个调用中，我们使用 std::forward 将 arg 转发给 std::cout，以便正确地保留其原始类型和常量性质。例如，当 T 为 int& 时，std::forward<T>(arg) 将返回 arg 的左值引用，而当 T 为 int&& 时，std::forward<T>(arg) 将返回 arg 的右值引用。