【C++进阶】C++11(上)

【C++进阶】C++11(上)

🥕个人主页：开敲🍉

🔥所属专栏：C++🥭

🌼文章目录🌼

1. C++11的发展史

2. 列表初始化

2.1 C++98的传统{}

2.2 C++11中的{}

2.3 C++11中的std::initializer_list

3. 右值引用和移动语义

3.1 左值和右值

3.2 左值引用和右值引用

3.3 引用延长生命周期

3.4 左值和右值的参数匹配

3.5 右值引用和移动语义的使用场景

3.5.1 左值引用主要使用场景回顾

3.5.2 移动构造和移动赋值

3.5.3 右值引用和移动语义解决传值返回问题

3.5.4 右值引用和移动语义在传参中的提效

3.6 类型分类

3.7 引用折叠

3.8 完美转发

1. C++11的发展史

C++11是C++第二个主要的版本，并且是从C++98起最重要的更新。它引入了大量更改，标准化了既有实践，并改进了对C++程序员可用的抽象。在它最终由 ISO 在 2011 年 8 月 12 日采纳前，人们曾使用名称“C++0x”，因为它曾被期待在 2010 年之前发布。C++03 与 C++11 期间花了 8 年时间，故而这是迄今为止最长的版本间隔。从那时起，C++ 有规律地每 3 年更新⼀次。

2. 列表初始化

2.1 C++98的传统{}

C++98中一般数组和结构体可以用{}来初始化。

struct Point
{int _x;int _y;
};
int main()
{int array1[] = { 1, 2, 3, 4, 5 };int array2[5] = { 0 };Point p = { 1, 2 };return 0;
}

2.2 C++11中的{}

① C++11后想统一初始化方式，试图实现一切对象皆可用{}初始化，{}初始化也叫做列表初始化。

② 内置类型支持，自定义类型也支持，自定义类型本质是类型转换，中间会产生临时对象，最后优化了以后变成直接构造。

③ {}初始化时，可以省略 = 。

④ C++11列表初始化的本意是实现一个大一统的初始化方式，其次它在某些场景下十分遍历，例如push/insert多参数构造对象时，使用 {} 就十分遍历。

int main()
{//内置类型也支持 {} 初始化int x = { 2 };//自定义类型 {} 初始化gjk::Date d = { 2024,10,22 };gjk::Date d1{ 2024,10,22 };gjk::Date d2{ 2024};gjk::Date d3 = 2024;vector<gjk::Date> v;v.push_back(d);//有名对象传参v.push_back(gjk::Date{ 2024,10,22 });//匿名对象传参v.push_back({ 2024,10,23 });//比起有名对象和匿名对象，{}更有性价比return 0;
}

2.3 C++11中的std::initializer_list

① 上面的初始化已经很方便，但是对象容器初始化还是不方便，比如一个 vector 对象，比如，我想用 N 个值去构造初始化，那么我们得实现很多个构造函数才能支持：vector<int> v1 = {1,2,3};vector<int> v2 = {1,2,3,4,5}。

② C++11库中提出了一个std::initializer_list的类，auto il = {10,20,30}，这个类的本质是底层开一个数组，将数据拷贝过来，std::initializer_list内部有两个指针分别指向这个数组的开头和末尾。

③ initializer_list 文档

④ 容器支持一个 initializer_list 的构造函数，也就支持任意多个值的构成的 {x1,x2,x3,...}进行初始化。STL中的容器支持任意多个值构成的 {x1,x2,x3...} 进行初始化，就是通过std::initializer_list的构造函数支持的。

// STL中的容器都增加了⼀个initializer_list的构造
vector(initializer_list<value_type> il, const allocator_type& alloc =allocator_type());
list(initializer_list<value_type> il, const allocator_type& alloc =allocator_type());
map(initializer_list<value_type> il, const key_compare& comp =key_compare(), const allocator_type& alloc = allocator_type());
// ...
template<class T>
class vector {
public:typedef T* iterator;vector(initializer_list<T> l){for (auto e : l)push_back(e)}
private:iterator _start = nullptr;iterator _finish = nullptr;iterator _endofstorage = nullptr;
};
// 另外，容器的赋值也⽀持initializer_list的版本
vector& operator= (initializer_list<value_type> il);
map& operator= (initializer_list<value_type> il);

int main()
{//vector<vector<int>> vv = { v1,v2 };std::initializer_list<int> mylist = { 10,20,30,40 };cout << sizeof(mylist) << endl;int i = 0;cout << &i << endl;//这里begin和end返回的值是 std::initializer_list 中的两个指针//这两个指针的值跟 i 的地址十分相近，说明数组是存在栈上的cout << mylist.begin() << endl;cout << mylist.end() << endl;//{}列表中可以有任意多个值//这两种写法有差别，v1是直接构造//第二个 v2 是构造临时对象 + 临时对象拷贝 v2 + 优化为直接构造vector<int> v1{ 1,2,3 };vector<int> v2 = { 4,5,6,7,8 };//这里 pair 对象的 {} 初始化和 map 的 initializer_list 结合使用了map<string, string> ma = { {"sort","排序"},{"string","字符串"} };//initializer_list 版本的赋值支持v1 = { 10,20,30 };return 0;
}

3. 右值引用和移动语义

C++98的C++语法中就有引用的语法，而C++11中新增了的右值引用语法特性，C++11之后我们之前学习的引用就叫做左值引用。无论左值引用还是右值引用，都是给对象取别名。

3.1 左值和右值

① 左值是一个表示数据的表达式(如变量名或解引用的指针)，一般是有持久状态，存储在内存中，我们可以获取它的地址，左值可以出现在赋值符号的左边，也可以出现在赋值符号右边。定义时const修饰符后的左值，不能给他赋值，但是可以取它的地址。

② 右值也是⼀个表示数据的表达式，要么是字面值常量、要么是表达式求值过程中创建的临时对象等，右值可以出现在赋值符号的右边，但是不能出现出现在赋值符号的左边，右值不能取地址。

③ 值得⼀提的是，左值的英文简写为lvalue，右值的英文简写为rvalue。传统认为它们分别是left value、right value 的缩写。现代C++中，lvalue 被解释为loactor value的缩写，可意为存储在内存中、有明确存储地址可以取地址的对象，而 rvalue 被解释为 read value，指的是那些可以提供数据值，但是不可以寻址，例如：临时变量，字面量常量，存储于寄存器中的变量等，也就是说左值和右值的核心区别就是能否取地址。

int main()
{//下面的p、b、c、s、s[0]都是常见的左值int* p = new int(0);int b = 1;const int c = b;*p = 10;string s("1111111");s[0] = 'x';//左值可以取地址cout << p << endl;cout << &c << endl;cout << &b << endl;cout << (void*)s[0] << endl;return 0;
}

int main()
{//右值，不能取地址int x = 10, y = 20;10;x + y;string("11111");cout << &10 << endl;cout << &(x + y) << endl;cout << &string("11111") << endl;return 0;
}

3.2 左值引用和右值引用

① Type& r1 = x;Type&& rr1 = y;第一个语句就是左值引用，左值引用就是给左值取别名，第二个就是右值引用，同样的道理，右值引用就是给右值取别名。

② 左值引用不能直接引用右值，但是 const 左值引用可以引用右值。

③ 右值引用不能直接引用左值，但是右值引用可以引用move(左值)。

④ template <class T>，typename remove_reference<T>::type& move(T&& arg);

⑤ move是库里面的一个函数模板，本质内部是进行强制类型转换，至于它涉及的其它知识，例如：引用折叠，我们在这部分暂时不进行讲解。

⑥ 需要注意的是变量表达式都是左值属性，也就意味着一个右值被右值引用绑定后，右值引用变量表达式是左值属性。(这里很绕，具体到后面3.5部分就明白了)

⑦ 语法层面看，左值引用和右值引用都是取别名，不开空间。从汇编底层的角度看下面代码中r1和rr1汇编层实现，底层都是用指针实现的，没什么区别。

唯一的区别就在于 int&& rr1 = 10，编译器先开了一块空间用来存储10(红色框内)。

int main()
{//下面的p、b、c、s、s[0]都是常见的左值int* p = new int(0);int b = 1;const int c = b;*p = 10;string s("1111111");s[0] = 'x';//左值可以取地址cout << p << endl;cout << &c << endl;cout << &b << endl;cout << (void*)s[0] << endl;//左值引用给左值取别名int& r1 = b;int*& r2 = p;int& r3 = *p;string& r4 = s;char& r5 = s[0];//右值引用给右值取别名int x = 10, y = 20;int&& rr1 = 10;double&& rr2 = x + y;string&& rr4 = string("11111");//int& l1 = 10;//左值引用不能直接引用右值const int& l1 = 10;//const左值引用可以引用右值//int&& l2 = b;//右值引用不能直接引用左值int&& l2 = move(b);//右值引用可以引用 move左值//int&& ll2 = l2;//注意这里l2的属性是左值,因此右值引用不能直接引用l2int&& ll2 = move(l2);//这里将l2 move以后就可以用右值引用return 0;
}

3.3 引用延长生命周期

右值引用可用于为临时对象延长生命周期，const的左值引用也能延长临时对象生命周期，但这些对象无法被修改。

int main()
{string s1 = "1111";string s2 = "2222";const string& s3 = s1 + s2;//s1+s2临时对象的生命周期只在当前行，左值引用延长了临时对象的生命周期//s3 += "11111";//const修饰后无法进行修改cout << s3 << endl;string&& s4 = s1 + s2;s4 += "11111";//可以通过非const来修改cout << s4 << endl;return 0;
}

3.4 左值和右值的参数匹配

① C++98中，我们实现一个 const左值引用作为参数的函数，那么实参传递左值和右值都可以匹配。

② C++11以后，分别重载左值引用、const左值引用、右值引用作为形参的 func 函数，那么实参是左值会匹配 func(左值引用)，实参是 const左值会匹配 func(const 左值引用)，实参是右值会匹配 func(右值引用)。

③ 右值引用变量在用于表达式时属性是左值，这个设计在这里看起来还非常奇怪，但是在下面一小节 3.5 中就能弄明白了。

3.5 右值引用和移动语义的使用场景

3.5.1 左值引用主要使用场景回顾

左值引用主要使用场景是在函数中左值引用传参和左值引用传返回值时减少拷贝，同时还可以修改实参和修改返回对象的价值。左值引用已经解决大多数场景的拷贝效率问题，但是有些场景不能使用传左值引用返回，如addStrings和generate函数，C++98中的解决方案只能是被迫使用输出型参数解决。那么C++11以后这里可以使用右值引用做返回值解决吗？显然是不可能的，因为这里的本质是返回对象是⼀个局部对象，函数结束这个对象就析构销毁了，右值引用返回也无法改变对象已经析构销毁的事实。

class Solution {
public:// 传值返回需要拷⻉string addStrings(string num1, string num2) {string str;int end1 = num1.size() - 1, end2 = num2.size() - 1;// 进位int next = 0;while (end1 >= 0 || end2 >= 0){int val1 = end1 >= 0 ? num1[end1--] - '0' : 0;int val2 = end2 >= 0 ? num2[end2--] - '0' : 0;int ret = val1 + val2 + next;next = ret / 10;ret = ret % 10;str += ('0' + ret);} if(next == 1)str += '1';reverse(str.begin(), str.end());return str;//这里返回以后这个函数栈帧就销毁了//不论是左值引用返回还是右值引用返回都无法解决str的生命周期到此为止}
};class Solution {
public:// 这⾥的传值返回拷⻉代价就太⼤了vector<vector<int>> generate(int numRows) {vector<vector<int>> vv(numRows);for (int i = 0; i < numRows; ++i){vv[i].resize(i + 1, 1);} for (int i = 2; i < numRows; ++i){for (int j = 1; j < i; ++j){vv[i][j] = vv[i - 1][j] + vv[i - 1][j - 1];}} return vv;//同样这里也是如此，不论是什么左值还是右值引用返回，都无法解决}
};
//因此这种情况就只能采用传值返回的方式

3.5.2 移动构造和移动赋值

① 移动构造是一种构造函数，类似拷贝构造函数，移动构造函数要求第一个参数是该类类型的引用，与拷贝构造不同的是，必须要求是右值引用，并且如果还有别的参数，额外的参数必须有缺省值。

② 移动赋值是一个赋值运算符的重载，他跟拷贝赋值构成函数重载，类似拷贝赋值函数，移动赋值函数要求第一个参数是该类类型的引用，同样要求必须是右值引用。

③ 对于像string/vector这样的深拷贝的类或者包含深拷贝的成员变量的类，移动构造和移动赋值才有意义，因为移动构造和移动赋值的第⼀个参数都是右值引用的类型，他的本质是要“窃取”引用的右值对象的资源，而不是像拷贝构造和拷贝赋值那样去拷贝资源，从提高效率。下面的bit::string样例实现了移动构造和移动赋值，我们需要结合场景理解。

#define _CRT_SECURE_NO_WARNINGS 1
#include<iostream>
#include<assert.h>
#include<string.h>
#include<algorithm>
using namespace std;
namespace gjk
{class string{public :typedef char* iterator;typedef const char* const_iterator;iterator begin(){return _str;} iterator end(){return _str + _size;} const_iterator begin() const{return _str;} const_iterator end() const{return _str + _size;} string(const char* str = ""):_size(strlen(str)), _capacity(_size){cout << "string(char* str)-构造" << endl;_str = new char[_capacity + 1];strcpy(_str, str);}void swap(string& s){::swap(_str, s._str);::swap(_size, s._size);::swap(_capacity, s._capacity);} string(const string& s):_str(nullptr){cout << "string(const string& s)--拷贝构造" << endl;reserve(s._capacity);for (auto ch : s){push_back(ch);}} // 移动构造string(string && s){cout << "string(string&& s) -- 移动构造" << endl;swap(s);} string& operator=(const string& s){cout << "string& operator=(const string& s) -- 拷⻉赋值" <<endl;if (this != &s){_str[0] = '\0';_size = 0;reserve(s._capacity);for (auto ch : s){push_back(ch);}} return* this;} // 移动赋值string & operator=(string && s){cout << "string& operator=(string&& s) -- 移动赋值" << endl;swap(s);return *this;} ~string(){cout << "~string() -- 析构" << endl;delete[] _str;_str = nullptr;}char& operator[](size_t pos){assert(pos < _size);return _str[pos];} void reserve(size_t n){if (n > _capacity){char* tmp = new char[n + 1];if (_str){strcpy(tmp, _str);delete[] _str;}_str = tmp;_capacity = n;}} void push_back(char ch){if (_size >= _capacity){size_t newcapacity = _capacity == 0 ? 4 : _capacity *2;reserve(newcapacity);} _str[_size] = ch;++_size;_str[_size] = '\0';} string& operator+=(char ch){push_back(ch);return *this;} const char* c_str() const{return _str;}size_t size() const{return _size;}
private:char* _str = nullptr;size_t _size = 0;size_t _capacity = 0;
};
}int main()
{gjk::string s1("xxxxx");// 拷⻉构造gjk::string s2 = s1;// 构造+移动构造，优化后直接构造gjk::string s3 = gjk::string("yyyyy");// 移动构造gjk::string s4 = move(s1);cout << "******************************" << endl;return 0;
}

3.5.3 右值引用和移动语义解决传值返回问题

namespace gjk
{string addStrings(string num1, string num2){string str;int end1 = num1.size() - 1, end2 = num2.size() - 1;int next = 0;while (end1 >= 0 || end2 >= 0){int val1 = end1 >= 0 ? num1[end1--] - '0' : 0;int val2 = end2 >= 0 ? num2[end2--] - '0' : 0;int ret = val1 + val2 + next;next = ret / 10;ret = ret % 10;str += ('0' + ret);}if (next == 1)str += '1';reverse(str.begin(), str.end());cout << "******************************" << endl;return str;}
}//场景一
int main()
{gjk::string num1 = "11111", num2 = "22222";gjk::string ret = gjk::addStrings(num1, num2);return 0;
}

namespace gjk
{string addStrings(string num1, string num2){string str;int end1 = num1.size() - 1, end2 = num2.size() - 1;int next = 0;while (end1 >= 0 || end2 >= 0){int val1 = end1 >= 0 ? num1[end1--] - '0' : 0;int val2 = end2 >= 0 ? num2[end2--] - '0' : 0;int ret = val1 + val2 + next;next = ret / 10;ret = ret % 10;str += ('0' + ret);}if (next == 1)str += '1';reverse(str.begin(), str.end());cout << "******************************" << endl;return str;}
}//场景二
int main()
{gjk::string num1 = "11111", num2 = "22222";gjk::string ret;ret = gjk::addStrings(num1, num2);return 0;
}

右值对象构造，只有拷贝构造，没有移动构造的场景

下图图1展示了vs2019 debug环境下编译器对拷贝的优化，左边为不优化的情况下，两次拷贝构造，右边为编译器优化的场景下连续步骤中的拷贝合二为一变为一次拷贝构造。

右值对象构造，有拷贝构造，也有移动构造的场景

下图图2展示了vs2019 debug环境下编译器对拷贝的优化，左边为不优化的情况下，两次移动构造，右边为编译器优化的场景下连续步骤中的拷贝合二为一变为一次移动构造。

需要注意的是在vs2019的release和vs2022的debug和release，下⾯代码优化为非常恐怖，会直接将str对象的构造，str拷贝构造临时对象，临时对象拷贝构造ret对象，合三为一，变为直接构造。要理解这个优化要结合局部对象生命周期和栈帧角度理解，如下图图3所示。

右值对象赋值，只有拷贝构造和拷贝赋值，没有移动构造和移动赋值的场景

① 下图图4左边展示了vs2019 debug和 g++ test.cpp -fno-elide-constructors 关闭优化环境
下编译器的处理，⼀次拷贝构造，⼀次拷贝赋值。

② 需要注意的是在vs2019的release和vs2022的debug和release，下面代码会进⼀步优化，直接构造要返回的临时对象，str本质是临时对象的引用，底层角度用指针实现。运行结果的角度，我们可以看到str的析构是在赋值以后，说明str就是临时对象的别名。

右值对象赋值，既有拷贝构造和拷贝赋值，也有移动构造和移动赋值的场景

① 下图图5左边展示了vs2019 debug和 g++ test.cpp -fno-elide-constructors 关闭优化环境
下编译器的处理，一次移动构造，⼀次移动赋值。

3.5.4 右值引用和移动语义在传参中的提效

① 查看STL文档我们发现C++11以后容器的push和insert系列的接口否增加的右值引用版本。

② 当实参是⼀个左值时，容器内部继续调用拷贝构造进行拷贝，将对象拷贝到容器空间中的对象。

③ 当实参是⼀个右值，容器内部则调用移动构造，右值对象的资源到容器空间的对象上。

namespace gjk
{class string{public:typedef char* iterator;typedef const char* const_iterator;iterator begin(){return _str;}iterator end(){return _str + _size;}const_iterator begin() const{return _str;}const_iterator end() const{return _str + _size;}string(const char* str = ""):_size(strlen(str)), _capacity(_size){cout << "string(char* str)-构造" << endl;_str = new char[_capacity + 1];strcpy(_str, str);}void swap(string& s){::swap(_str, s._str);::swap(_size, s._size);::swap(_capacity, s._capacity);}string(const string& s):_str(nullptr){cout << "string(const string& s) -- 拷贝构造" << endl;reserve(s._capacity);for (auto ch : s){push_back(ch);}}// 移动构造string(string&& s){cout << "string(string&& s) -- 移动构造" << endl;swap(s);}string& operator=(const string& s){cout << "string& operator=(const string& s) -- 拷⻉赋值" <<endl;if (this != &s){_str[0] = '\0';_size = 0;reserve(s._capacity);for (auto ch : s){push_back(ch);}}return*this;}// 移动赋值string& operator=(string&& s){cout << "string& operator=(string&& s) -- 移动赋值" << endl;swap(s);return *this;}~string(){cout << "~string() -- 析构" << endl;delete[] _str;_str = nullptr;}char& operator[](size_t pos){assert(pos < _size);return _str[pos];}void reserve(size_t n){if (n > _capacity){char* tmp = new char[n + 1];if (_str){strcpy(tmp, _str);delete[] _str;} _str = tmp;_capacity = n;}}void push_back(char ch){if (_size >= _capacity){size_t newcapacity = _capacity == 0 ? 4 : _capacity *2;reserve(newcapacity);}_str[_size] = ch;++_size;_str[_size] = '\0';}string& operator+=(char ch){push_back(ch);return *this;}const char* c_str() const{return _str;}size_t size() const{return _size;}private:char* _str = nullptr;size_t _size = 0;size_t _capacity = 0;};
}int main()
{std::list<gjk::string> lt;gjk::string s1("111111111111111111111");lt.push_back(s1);cout << "*************************" << endl;lt.push_back(gjk::string("22222222222222222222222222222"));cout << "*************************" << endl;lt.push_back("3333333333333333333333333333");cout << "*************************" << endl;lt.push_back(move(s1));cout << "*************************" << endl;return 0;
}

3.6 类型分类

① C++11以后，进一步对类型进行了划分，右值被划分为纯右值(pure value，简称prvalue)和将亡值(expiring value，简称xvalue)。

② 纯右值是指那些字面值常量或求值结果相当于字面值或是⼀个不具名的临时对象。如： 42、
true、nullptr 或者类似 str.substr(1, 2)、str1 + str2 传值返回函数调用，或者整形 a、b，a++，a+b 等。纯右值和将亡值C++11中提出的，C++11中的纯右值概念划分等价于C++98中的右值。

③ 将亡值是指返回右值引用的函数的调用表达式和转换为右值引用的转换函数的调用表达，如
move(x)、static_cast<X&&>(x)。

④ 泛左值(generalized value，简称glvalue)，泛左值包含将亡值和左值。

⑤ 值类别和 Value categories 这两个关于值类型的中文和英文官方文档，有兴趣可以了解细节。

3.7 引用折叠

① C++中不能直接定义引用的引用如 int& && r = i; ，这样写会直接报错，通过模板或 typedef
中的类型操作可以构成引用的引用。

② 通过模板或 typedef 中的类型操作可以构成引用的引用时，这时C++11给出了⼀个引用折叠的规则：右值引用的右值引用折叠成右值引用，所有其他组合均折叠成左值引用。

③ 下面的程序中很好的展示了模板和typedef时构成引用的引用时的引用折叠规则，需要我们一个一个仔细理解⼀下。

④ 像f2这样的函数模板中，T&& x参数看起来是右值引用参数，但是由于引用折叠的规则，他传递左值时就是左值引用，传递右值时就是右值引用，有些地方也把这种函数模板的参数叫做万能引用。

⑤ Function(T&& t)函数模板程序中，假设实参是int右值，模板参数T的推导int，实参是int左值，模板参数T的推导int&，再结合引用折叠规则，就实现了实参是左值，实例化出左值引用版本形参的Function，实参是右值，实例化出右值引用版本形参的Function。

// 由于引⽤折叠限定，f1实例化以后总是⼀个左值引⽤
template<class T>
void f1(T& x)
{}
// 由于引⽤折叠限定，f2实例化后可以是左值引⽤，也可以是右值引⽤
template<class T>
void f2(T&& x)
{}int main()
{typedef int& lref;typedef int&& rref;int n = 0;lref& r1 = n; // r1 的类型是 int&lref&& r2 = n; // r2 的类型是 int&rref& r3 = n; // r3 的类型是 int&rref&& r4 = 1; // r4 的类型是 int&&// 没有折叠->实例化为void f1(int& x)f1<int>(n);//f1<int>(0); // 报错// 折叠->实例化为void f1(int& x)f1<int&>(n);//<int&>(0); // 报错// 折叠->实例化为void f1(int& x)f1<int&&>(n);//f1<int&&>(0); // 报错// 折叠->实例化为void f1(const int& x)f1<const int&>(n);f1<const int&>(0);// 折叠->实例化为void f1(const int& x)f1<const int&&>(n);f1<const int&&>(0);// 没有折叠->实例化为void f2(int&& x)//f2<int>(n); // 报错f2<int>(0);// 折叠->实例化为void f2(int& x)f2<int&>(n);//<int&>(0); // 报错// 折叠->实例化为void f2(int&& x)//f2<int&&>(n); // 报错f2<int&&>(0);return 0;
}

template<class T>
void Function(T&& t)//万能引用
{int a = 0;T x = a;//x++;cout << &a << endl;cout << &x << endl << endl;
} int main()
{// 10是右值，推导出T为int，模板实例化为void Function(int&& t)Function(10); // 右值int a;// a是左值，推导出T为int&，引⽤折叠，模板实例化为void Function(int& t)Function(a); // 左值// std::move(a)是右值，推导出T为int，模板实例化为void Function(int&& t)Function(std::move(a)); // 右值const int b = 8;// a是左值，推导出T为const int&，引⽤折叠，模板实例化为void Function(const int&t)// 所以Function内部会编译报错，x不能++Function(b); // const 左值// std::move(b)右值，推导出T为const int，模板实例化为void Function(const int&&t)// 所以Function内部会编译报错，x不能++Function(std::move(b)); // const 右值return 0;
}

3.8 完美转发

① Function(T&& t)函数模板程序中，传左值实例化以后是左值引用的Function函数，传右值实例化以后是右值引用的Function函数。

② 但是结合我们之前的讲解，变量表达式都是左值属性，也就意味着⼀个右值被右值引用绑定后，右值引用变量表达式的属性是左值，也就是说Function函数中t的属性是左值，那么我们把t传递给下一层函数Fun，那么匹配的都是左值引用版本的Fun函数。这里我们想要保持t对象的属性，就需要使用完美转发实现。

③ 完美转发forward本质是⼀个函数模板，他主要还是通过引用折叠的方式实现，下面示例中传递给Function的实参是右值，T被推导为int，没有折叠，forward内部t被强转为右值引用返回；传递给Function的实参是左值，T被推导为int&，引用折叠为左值引用，forward内部 t 被强转为左值引用返回。