第十九讲:C++11第一部分

目录

1、C++11简介

2、列表初始化

2.1、{}初始化

2.2、initializer_list

2.2.1、成员函数

2.2.2、应用

3、变量类型推导

3.1、auto

3.2、decltype

3.3、nullptr

4、范围for

5、智能指针

6、STL的一些变化

7、右值引用和移动语义

7.1、右值引用

7.2、右值与左值引用对比

7.2.1、左值引用

7.2.2、右值引用

7.3、右值引用的使用场景

7.4、右值引用引用移动左值

7.5、万能引用与完美转发

7.5.1、万能引用 

7.5.2、完美转发


1、C++11简介

在2003年C++标准委员会曾经提交了一份技术勘误表,使得C++03这个名字已经取代了C++98称为C++11之前的最新C++标准名称。不过由于C++03主要是对C++98标准中的漏洞进行修复,语言的核心部分则没有改动,因此人们习惯性的把两个标准合并称为C++98/03标准。 从C++0x到C++11,C++标准10年磨一剑,第二个真正意义上的标准珊珊来迟。相比于C++98/03,C++11则带来了数量可观的变化,其中包含了约140个新特性,以及对C++03标准中约600个缺陷的修正,这使得C++11更像是从C++98/03中孕育出的一种新语言。相比较而言, C++11能更好地用于系统开发和库开发、语法更加泛化和简单化、更加稳定和安全,不仅功能更强大,而且能提升程序员的开发效率,公司实际项目开发中也用得比较多,C++11增加的语法特性非常篇幅非常多,我们这里没办法一一讲解,所以主要讲解实际中比较实用的语法。

注:1998年是C++标准委员会成立的第一年,本来计划以后每5年视实际需要更新一次标准,C++国际标准委员会在研究C++03的下一个版本的时候,一开始计划是2007年发布,所以最初这个标准叫 C++ 07。但是到06年的时候,官方觉得2007年肯定完不成C++07,而且官方觉得2008年可能也完不成。最后干脆叫C++ 0x。x的意思是不知道到底能在07还是08还是09年完成。结果2010年的时候也没完成,最后在2011年终于完成了C++标准,所以最终定名为C++11。另外,C++也是从C++98开始成熟起来的。

2、列表初始化

2.1、{}初始化

在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;
}

C++11扩大了大括号的使用范围,使其可用于所有的内置类型和用户自定义的类型,使用初始化列表时,可添加等号(也就是赋值符号=),也可不添加。例如:

struct Point
{
	int _x;
	int _y;
};

int main()
{
	int x1 = 1;

	int x2{ 2 };

	int x3 = { 3 };

	int array1[]{ 1, 2, 3, 4, 5 };

	int array2[5]{ 0 };

	Point p{ 1, 2 };

	// C++11中列表初始化也可以适用于new表达式中
	int* pa = new int[4]{ 0 };

	return 0;
}

创建对象时也可以使用列表初始化方式调用构造函数初始化,例如:

class Date
{
public:
	Date(int year, int month, int day)
		:_year(year)
		, _month(month)
		, _day(day)
	{
		cout << "Date(int year, int month, int day)" << endl;
	}

private:
	int _year;
	int _month;
	int _day;
};

int main()
{
	Date d1(2022, 1, 1); // 旧的使用方式

	// C++11支持的列表初始化,这里会调用构造函数初始化
	//注意:实际上这里的本质是类型转换,构造+拷贝构造->直接构造
	Date d2{ 2022, 1, 2 };
	Date d3 = { 2022, 1, 3 };

	Date* p1 = new Date[3]{ d1, d2, d3 };
	Date* p2 = new Date[3]{ {2022,11,25},{2022,11,25},{2022,11,26} };

	return 0;
}

2.2、initializer_list

template<class T> class initializer_list;

initializer_list参考文档

initializer_list 是C++11专门给的一种类模板,在C++中的 initializer_list 库中。使用场景: initializer_list 一般是作为构造函数的参数,C++11对STL中的不少容器就增加了 initializer_list 作为构造函数的参数,这样初始化容器对象就更方便了。也可以作为 operator= 的参数,这样就可以用大括号赋值。

initializer_list是什么类型呢?例如:

int main()
{
	//il的类型是initializer_list
	auto il = { 10, 20, 30 };
	cout << typeid(il).name() << endl; //在typeindex库中

	return 0;
}

运行结果为:

2.2.1、成员函数
initializer_list() noexcept; // 构造

size_t size() const noexcept; // 返回元素个数

const T* begin() const noexcept; // 迭代器
const T* end() const noexcept;

例如:

int main()
{
	initializer_list<int> lt = { 10, 20, 30 };
	initializer_list<int>::iterator it = lt.begin();
	while (it != lt.end())
	{
		cout << *it << ' ';
		++it;
	}
	cout << endl;

	for (auto e : lt)
	{
		cout << e << ' ';
	}
	cout << endl;

	cout << lt.size() << endl;

	return 0;
}

如何理解上面的initializer_list呢?,实际上initializer_list可以理解成内部有两个指针,假设叫start和finish,数据会以数组的形式放到常量区存着,start和finish分别指向这个数组的首和尾,如下图所示:

2.2.2、应用

例如:

int main()
{
	vector<int> v = { 1, 2, 3, 4 }; 

	list<int> lt = { 1, 2 };

	// 这里{"sort", "排序"}会先隐式类型转换,然后再区间构造。
	map<string, string> dict = { {"sort", "排序"}, {"insert", "插入"} };

	// 使用大括号对容器赋值
	v = { 10, 20, 30 };

	return 0;
}

让我们之前模拟实现的vector也支持{}初始化,例如:

vector(initializer_list<T> lt) // C++11新增内容
{
	reserve(lt.size());
	for (auto& e : lt)
	{
		push_back(e);
	}
}

注意:{}初始化与initializer_list是不同的。

3、变量类型推导

c++11提供了多种简化声明的方式,尤其是在使用模板时。

3.1、auto

在C++98中auto是一个存储类型的说明符,表明变量是局部自动存储类型,但是局部域中定义局 部的变量默认就是自动存储类型,所以auto就没什么价值了。C++11中废弃auto原来的用法,将其用于实现自动类型推断。这样要求必须进行显示初始化,让编译器将定义对象的类型设置为初始化值的类型。

例如:

int main()
{
	int i = 10;
	auto p = &i;
	auto pf = strcpy; // 函数指针

	cout << typeid(p).name() << endl;
	cout << typeid(pf).name() << endl;

	map<string, string> dict = { {"sort", "排序"}, {"insert", "插入"} };
	//map<string, string>::iterator it = dict.begin();
	auto it = dict.begin();

	return 0;
}

3.2、decltype

关键字decltype将变量的类型声明为表达式指定的类型。

例如:

// decltype的一些使用使用场景
template<class T1, class T2>
void F(T1 t1, T2 t2)
{
	decltype(t1 * t2) ret;
	cout << typeid(ret).name() << endl;
}

int main()
{
	const int x = 1;
	double y = 2.2;
	decltype(x * y) ret; // ret的类型是double

	decltype(&x) p;// p的类型是const int*

	cout << typeid(ret).name() << endl;
	cout << typeid(p).name() << endl; // 注意:这个name的作用是返回该类型的字符串,它返回的这个字符串是不能用来定义变量的。

	F(1, 'a');

	return 0;
}

3.3、nullptr

由于C++中NULL被定义成字面量0,这样就可能回带来一些问题,因为0既能指针常量,又能表示 整形常量。所以出于清晰和安全的角度考虑,C++11中新增了nullptr,用于表示空指针。之前已经讲过,不再重复。

4、范围for

范围for的底层就是迭代器,这个我们在前面的内容中已经进行了讲解,这里就不进行讲解了。

5、智能指针

这个在后面单独进行讲解,在这里就不进行讲解了,因为内容比较多。

6、STL的一些变化

6.1、新容器:新添加的容器有array、forward_list、unordered_map以及unordered_set等,但实际上最有用的是unordered_map 和 unordered_set。

6.2、新的构造(新的构造是指initializer_list作为参数的构造。)

6.3、移动构造和移动赋值(后面讲)

6.4、右值引用插入(后面讲)

6.5、其他,比如:cbegin和cend等,提供的cbegin和cend方法返回const迭代器等等,但是实际意义不大,因为begin和end也是可以返回const迭代器的,这些都是属于锦上添花的操作。

7、右值引用和移动语义

7.1、右值引用

传统的C++语法中就有引用的语法,而C++11中新增了的右值引用语法特性,所以从现在开始我们 之前学习的引用就叫做左值引用。无论左值引用还是右值引用,都是给对象取别名。

左值是一个表示数据的表达式,我们可以获取它的地址,一般也可以对它赋值,左值可以出现赋值符号的左边(也可以出现在右边),右值不能出现在赋值符号左边。定义时const修饰后的左值,不能给他赋值,但是可以取它的地址,也属于左值。左值引用就是给左值取的引用,也就是给左值取别名。简单来说只要可以取地址的,都是左值。

例如:

int main()
{
	// 以下的p、b、c、*p都是左值
	int* p = new int(0);
	int b = 1;
	const int c = 2;
	*p = 10;

	// 以下几个是对上面左值的左值引用
	int*& rp = p;
	int& rb = b;
	const int& rc = c;
	int& rpp = *p;

	return 0;
}

右值也是一个表示数据的表达式,如:字面常量、表达式返回值,函数返回值(这个不能是左值引 用返回)等等,右值可以出现在赋值符号的右边,但是不能出现出现在赋值符号的左边,右值不能 取地址。右值引用就是对右值的引用,给右值取别名。右值引用使用&&来进行引用。

例如:

int main()
{
	double x = 1.1, y = 2.2;
	// 以下几个都是常见的右值
	10;

	//下面这两个的右值其实就是指返回的那个临时变量
	x + y;
	fmin(x, y);

	// 以下几个都是对右值的右值引用
	int&& rr1 = 10;
	double&& rr2 = x + y;
	double&& rr3 = fmin(x, y); // 该函数在math.h文件中

	// 下面编译会报错:左操作数必须为左值
	//10 = 1;
	//x + y = 1;
	//fmin(x, y) = 1;

	return 0;
}

需要注意的是右值是不能取地址的,但是给右值取别名后,会导致右值被存储到特定位置,且可 以取到该位置的地址,也就是说例如:不能取字面量10的地址,但是rr1引用后,可以对rr1取地 址,也可以修改rr1。如果不想rr1被修改,可以用const int&& rr1 去引用。例如:

int main()
{
	double x = 1.1, y = 2.2;

	int&& rr1 = 10;

	const double&& rr2 = x + y;

	rr1 = 20;

	//rr2 = 5.5;  // 报错

	return 0;
}

7.2、右值与左值引用对比

7.2.1、左值引用

左值引用总结:

1、左值引用只能引用左值,不能引用右值。

2、但是const左值引用既可引用左值,也可引用右值。

例如:

int main()
{
	// 左值引用只能引用左值,不能引用右值。
	int a = 10;
	int& ra1 = a;

	//int& ra2 = 10;   // 编译失败,因为10是右值

	// const左值引用既可引用左值,也可引用右值。
	const int& ra3 = 10;
	const int& ra4 = a;

	return 0;
}
7.2.2、右值引用

右值引用总结:

1、右值引用只能引用右值,不能引用左值。

2、但是右值引用可以引用move以后的左值。(后面讲)

例如:

int main()
{
	// 右值引用只能右值,不能引用左值
	int&& r1 = 10;

	int a = 10;
	//int&& r2 = a; // 报错

	// 右值引用可以引用move以后左值
	int&& r3 = std::move(a);

	return 0;
}

7.3、右值引用的使用场景

前面我们可以看到左值引用既可以引用左值和又可以引用右值,那为什么C++11还要提出右值引 用呢?右值引用就是用来补左值引用的短板的,下面我们来看看左值引用的短板,以及右值引用是如何补齐这个短板的。

左值引用的使用场景:

1、引用传参:可以提高效率。

2、引用返回:也可以提高效率(部分场景适用)

左值引用的短板:当函数返回对象是一个局部变量,出了函数作用域就不存在了,就不能使用左值引用返回, 只能传值返回,传值返回在有些情况下效率极低。

例如:下面的to_String函数就没法使用左值引用返回

#include <iostream>
#include <cassert>
#include <string>
#include <list>
using namespace std;

namespace bit
{
	class String
	{
	public:
		typedef char* iterator;

		iterator begin()
		{
			return _str;
		}

		iterator end()
		{
			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)
		{
			std::swap(_str, s._str);
			std::swap(_size, s._size);
			std::swap(_capacity, s._capacity);
		}

		// 拷贝构造
		String(const String& s)
		{
			cout << "String(const String& s)-拷贝构造" << endl;

			_str = new char[s._capacity + 1];
			strcpy(_str, s._str);
			_size = s._size;
			_capacity = s._capacity;
		}

		// 移动构造
		/*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)
			{
				char* tmp = new char[s._capacity + 1];
				strcpy(tmp, s._str);

				delete[] _str;
				_str = tmp;
				_size = s._size;
				_capacity = s._capacity;
			}
			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];
				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;
		}

	private:

		char* _str = nullptr;
		size_t _size = 0;
		size_t _capacity = 0;
	};

	bit::String to_String(int value)
	{
		bool flag = true;
		if (value < 0)
		{
			flag = false;
			value = 0 - value;
		}

		bit::String str;
		while (value > 0)
		{
			int x = value % 10;
			value /= 10;
			str += ('0' + x);
		}
		if (flag == false)
		{
			str += '-';
		}

		std::reverse(str.begin(), str.end());
		return str;
	}
}

int main()
{
	bit::String s1;
	s1 = bit::to_String(1234);

	return 0;
}

运行结果为:

从上面的结果中可以看到,传值返回会导致一次拷贝构造和一次拷贝赋值。在这个过程中str拷贝一份给中间变量,然后str销毁,然后中间变量再赋值给s1,最后中间变量再销毁,在这个过程中存在极大的浪费。如下图所示:

例如:对于下面的场景也是类似

int main()
{
	bit::String s1 = bit::to_String(1234);

	return 0;
}

运行结果为:

从上面的运行结果可以看出,传值返回会导致两次拷贝构造。在这个过程中str拷贝一份给中间变量,然后str销毁,然后中间变量再拷贝给s1,最后中间变量再销毁。也存在极大的浪费。

注:有些新一些的编译器可能会有一些优化,比如上面的两次拷贝构造就变成了一次拷贝构造。

右值引用和移动语义可以解决上述问题:移动构造和移动赋值本质是将右值的资源窃取过来,占为已有,那么就不用做深拷贝了。

例如:我们把上面代码的移动构造和移动赋值的注释去掉,有了移动构造和移动赋值以后,之前上面的两个场景,就提高了效率,如下:

int main()
{
	bit::String s1;
	s1 = bit::to_String(1234);

	return 0;
}

运行结果为:

对于上面的程序,这时调用的是移动构造和移动赋值,不再调用拷贝构造和拷贝赋值了。从程序的运行结果我们可以看到,编译器很聪明的在这里把 str 识别成了右值(实际上str是左值),调用了移动构造然后再把这个临时对象(该临时对象是右值)作为 to_String 函数的返回值赋值给ret,这里调用的是移动赋值。因为移动构造和移动赋值仅仅只是转移资源。所以效率得到了很大的提升。

例如:对于下面的情形也是类似

int main()
{
	bit::String s1 = bit::to_String(1234);

	return 0;
}

运行结果为:

对于上面的程序,就不再调用拷贝构造了,而是调用了移动构造,移动构造中没有新开空间,拷贝数据,所以效率提高了。

注:有些新一些的编译器可能会有一些优化,比如上面的两次移动构造就变成了一次移动构造。

注意:移动构造和移动赋值对于深拷贝的类是有意义的,因为可以提高效率;对于浅拷贝的类没有多大的意义。

STL中的容器,在C++11以后都是增加了移动构造和移动赋值的。例如:以list为例

7.4、右值引用引用移动左值

有些场景下,需要用右值去引用左值实现移动语义。当需要用右值引用引用一个左值时,可以通过move 函数将左值转化为右值。C++11中,move()函数的声明位于utility文件中,该函数并不搬移任何东西,唯一的功能就是将一个左值强制转化为右值引用,然后实现移动语义。例如:

int main()
{
	bit::String s1("hello world");

	// 这里s1是左值,调用的是拷贝构造
	bit::String s2(s1);

	// 这里我们把s1 move处理以后, 会被当成右值,调用移动构造
	// 但是这里要注意,一般是不要这样用的,因为我们会发现s1的
	// 资源被转移给了s3,s1被置空了。
	bit::String s3(std::move(s1));

	return 0;
}

注意:move(左值) 是不改变左值本身的,而是返回值是一个右值。也就是说move(左值) 是不改变左值的属性的,只是返回值是一个右值。

例如:

int main()
{
	bit::String s1("hello world");
	std::move(s1);
	bit::String s3 = s1; // 调用的仍然是拷贝构造

	return 0;
}

STL中的容器,在C++11以后插入接口也增加了右值引用的版本。例如:以list为例

例如:

int main()
{
	list<bit::String> lt;
	bit::String s1("hello world");

	cout << "------" << endl;

	lt.push_back(s1); // 调用普通版本

	cout << "------" << endl;

	lt.push_back(bit::to_String(1234)); // 调用右值引用版本

	cout << "------" << endl;

	lt.push_back("111111"); // 调用右值引用版本,先构造一个临时对象,然后再进行移动构造

	cout << "-------" << endl;
	return 0;
}

运行结果为:

例如:我们可以给我们模拟实现的list加上右值引用版本的插入接口

namespace bit
{
	template<class T>
	struct list_node
	{
		T _data;
		list_node<T>* _next;
		list_node<T>* _prev;

		list_node(const T& x = T())
			: _data(x)
			, _next(nullptr)
			, _prev(nullptr)
		{}

		list_node(T&& x)   // 右值引用
			: _data(move(x))
			, _next(nullptr)
			, _prev(nullptr)
		{}
	};

	template<class T, class Ref, class Ptr>
	struct __list_iterator
	{
		typedef list_node<T> Node;
		typedef __list_iterator<T, Ref, Ptr> self;
		Node* _node;

		__list_iterator(Node* node)
			:_node(node)
		{}

		self& operator++()
		{
			_node = _node->_next;
			return *this;
		}

		self& operator--()
		{
			_node = _node->_prev;
			return *this;
		}

		self operator++(int)
		{
			self tmp(*this);
			_node = _node->_next;

			return tmp;
		}

		self operator--(int)
		{
			self tmp(*this);
			_node = _node->_prev;

			return tmp;
		}

		Ref operator*()
		{
			return _node->_data;
		}

		Ptr operator->()
		{
			return &_node->_data;
		}

		bool operator!=(const self& s)
		{
			return _node != s._node;
		}

		bool operator==(const self& s)
		{
			return _node == s._node;
		}
	};

	template<class T>
	class list
	{
		typedef list_node<T> Node;
	public:
		typedef __list_iterator<T, T&, T*> iterator;
		typedef __list_iterator<T, const T&, const T*> const_iterator;

		const_iterator begin() const
		{
			return const_iterator(_head->_next);
		}

		const_iterator end() const
		{
			return const_iterator(_head);
		}

		iterator begin()
		{
			return _head->_next;
		}

		iterator end()
		{
			return _head;
		}

		void empty_init()
		{
			_head = new Node;
			_head->_next = _head;
			_head->_prev = _head;

			_size = 0;
		}

		list()
		{
			empty_init();
		}

		list(const list<T>& lt)
		{
			empty_init();
			for (auto e : lt)
			{
				push_back(e);
			}
		}

		void swap(list<T>& lt)
		{
			std::swap(_head, lt._head);
			std::swap(_size, lt._size);
		}

		list<int>& operator=(list<int> lt)
		{
			swap(lt);

			return *this;
		}

		~list()
		{
			clear();

			delete _head;
			_head = nullptr;
		}

		void clear()
		{
			iterator it = begin();
			while (it != end())
			{
				it = erase(it);
			}
		}

		void push_back(const T& x)
		{
			insert(end(), x);
		}

		void push_back(T&& x)  //  右值引用版本
		{
			insert(end(), move(x));
		}

		void push_front(const T& x)
		{
			insert(begin(), x);
		}

		void pop_front()
		{
			erase(begin());
		}

		void pop_back()
		{
			erase(--end());
		}

		iterator insert(iterator pos, const T& x)
		{
			Node* cur = pos._node;
			Node* newnode = new Node(x);

			Node* prev = cur->_prev;


			prev->_next = newnode;
			newnode->_prev = prev;

			newnode->_next = cur;
			cur->_prev = newnode;

			++_size;

			return iterator(newnode);
		}

		iterator insert(iterator pos, T&& x)   // 右值引用版本
		{
			Node* cur = pos._node;
			Node* newnode = new Node(move(x));

			Node* prev = cur->_prev;


			prev->_next = newnode;
			newnode->_prev = prev;

			newnode->_next = cur;
			cur->_prev = newnode;

			++_size;

			return iterator(newnode);
		}

		iterator erase(iterator pos)
		{
			Node* cur = pos._node;
			Node* prev = cur->_prev;
			Node* next = cur->_next;

			delete cur;
			prev->_next = next;
			next->_prev = prev;

			--_size;

			return iterator(next);
		}

		size_t size()
		{
			return _size;
		}

	private:
		Node* _head;
		size_t _size;
	};
}

同样的程序,如下:使用我们模拟实现的接口

int main()                                                                                                                                   
{                                                                                                                                            
     bit::list<bit::String> lt;                                                                                                                  
     bit::String s1("hello world");                                                                                                              
                                                                                                                                                 
     cout << "------------" << endl;                                                                                                             
                                                                                                                                                 
     lt.push_back(s1);                                                                                                                           
                                                                                                                                                
     cout << "-------------" << endl;                                                                                                            
                                                                                                                                                 
     lt.push_back(bit::to_String(1234));                                                                                                         
                                                                                                                                                 
     cout << "------------" << endl;                                                                                                             
                                                                                                                                                 
     lt.push_back("111111");                                                                                                                     
                                                                                                                                                 
     cout << "------------" << endl;                                                                                                                      
                                                                                                               
     return 0;
}

运行结果为:

注意:右值被右值引用之后的别名的属性是左值。右值不能修改,但是右值被右值引用之后的别名就可以被修改了。

7.5、万能引用与完美转发

7.5.1、万能引用 

例如:

void Fun(int& x) { cout << "左值引用" << endl; }

void Fun(const int& x) { cout << "const 左值引用" << endl; }

void Fun(int&& x) { cout << "右值引用" << endl; }

void Fun(const int&& x) { cout << "const 右值引用" << endl; }

// 函数模板中的&&不代表右值引用,而是万能引用,其既能接收左值又能接收右值。
// 模板的万能引用只是提供了能够接收同时接收左值引用和右值引用的能力,
// 但是在后续使用中都退化成了左值。
template<typename T>
void PerfectForward(T&& t)
{
	Fun(t);
}

int main()
{
	PerfectForward(10); // 右值
	int a;
	PerfectForward(a); // 左值

	PerfectForward(std::move(a)); // 右值

	const int b = 8;
	PerfectForward(b); // const 左值

	PerfectForward(std::move(b)); // const 右值

	return 0;
}

运行结果为:

如果我们对 t 使用 move的话,例如:

void Fun(int& x) { cout << "左值引用" << endl; }

void Fun(const int& x) { cout << "const 左值引用" << endl; }

void Fun(int&& x) { cout << "右值引用" << endl; }

void Fun(const int&& x) { cout << "const 右值引用" << endl; }

// 函数模板中的&&不代表右值引用,而是万能引用,其既能接收左值又能接收右值。
// 模板的万能引用只是提供了能够接收同时接收左值引用和右值引用的能力,
// 但是在后续使用中都退化成了左值。
template<typename T>
void PerfectForward(T&& t)
{
	Fun(move(t));
}

int main()
{
	PerfectForward(10); // 右值
	int a;
	PerfectForward(a); // 左值

	PerfectForward(std::move(a)); // 右值

	const int b = 8;
	PerfectForward(b); // const 左值

	PerfectForward(std::move(b)); // const 右值

	return 0;
}

运行结果为:

如果我们希望能够在传递过程中保持它的左值或者右值的属性,就需要完美转发。

注意:只有函数模板才可以万能引用。

7.5.2、完美转发

完美转发在传参的过程中保留对象原生类型属性,使用forward(在utility文件中)实现,它通过模板参数 T 来判断原始对象的类型,并根据 T 的属性(左值引用或非左值引用),将参数 “转发” 为对应的左值或右值。

例如:

void Fun(int& x) { cout << "左值引用" << endl; }

void Fun(const int& x) { cout << "const 左值引用" << endl; }

void Fun(int&& x) { cout << "右值引用" << endl; }

void Fun(const int&& x) { cout << "const 右值引用" << endl; }

// std::forward<T>(t)在传参的过程中保持了t的属性。
template<typename T>
void PerfectForward(T&& t)
{
	Fun(std::forward<T>(t));
}

int main()
{
	PerfectForward(10); //右值

	int a;
	PerfectForward(a); // 左值
	PerfectForward(std::move(a)); // 右值

	const int b = 8;
	PerfectForward(b); // const 左值
	PerfectForward(std::move(b)); // const 右值

	return 0;
}

运行结果为:

对于上面的list的模拟实现,其实使用forward比使用move更好一些。例如:

namespace bit
{
	template<class T>
	struct list_node
	{
		T _data;
		list_node<T>* _next;
		list_node<T>* _prev;

		list_node(const T& x = T())
			: _data(x)
			, _next(nullptr)
			, _prev(nullptr)
		{}

		list_node(T&& x)   // 右值引用
			: _data(forward<T>(x))
			, _next(nullptr)
			, _prev(nullptr)
		{}
	};

	template<class T, class Ref, class Ptr>
	struct __list_iterator
	{
		typedef list_node<T> Node;
		typedef __list_iterator<T, Ref, Ptr> self;
		Node* _node;

		__list_iterator(Node* node)
			:_node(node)
		{}

		self& operator++()
		{
			_node = _node->_next;
			return *this;
		}

		self& operator--()
		{
			_node = _node->_prev;
			return *this;
		}

		self operator++(int)
		{
			self tmp(*this);
			_node = _node->_next;

			return tmp;
		}

		self operator--(int)
		{
			self tmp(*this);
			_node = _node->_prev;

			return tmp;
		}

		Ref operator*()
		{
			return _node->_data;
		}

		Ptr operator->()
		{
			return &_node->_data;
		}

		bool operator!=(const self& s)
		{
			return _node != s._node;
		}

		bool operator==(const self& s)
		{
			return _node == s._node;
		}
	};

	template<class T>
	class list
	{
		typedef list_node<T> Node;
	public:
		typedef __list_iterator<T, T&, T*> iterator;
		typedef __list_iterator<T, const T&, const T*> const_iterator;

		const_iterator begin() const
		{
			return const_iterator(_head->_next);
		}

		const_iterator end() const
		{
			return const_iterator(_head);
		}

		iterator begin()
		{
			return _head->_next;
		}

		iterator end()
		{
			return _head;
		}

		void empty_init()
		{
			_head = new Node;
			_head->_next = _head;
			_head->_prev = _head;

			_size = 0;
		}

		list()
		{
			empty_init();
		}

		list(const list<T>& lt)
		{
			empty_init();
			for (auto e : lt)
			{
				push_back(e);
			}
		}

		void swap(list<T>& lt)
		{
			std::swap(_head, lt._head);
			std::swap(_size, lt._size);
		}

		list<int>& operator=(list<int> lt)
		{
			swap(lt);

			return *this;
		}

		~list()
		{
			clear();

			delete _head;
			_head = nullptr;
		}

		void clear()
		{
			iterator it = begin();
			while (it != end())
			{
				it = erase(it);
			}
		}

		void push_back(const T& x)
		{
			insert(end(), x);
		}

		void push_back(T&& x)  //  右值引用版本
		{
			insert(end(), forward<T>(x));
		}

		void push_front(const T& x)
		{
			insert(begin(), x);
		}

		void pop_front()
		{
			erase(begin());
		}

		void pop_back()
		{
			erase(--end());
		}

		iterator insert(iterator pos, const T& x)
		{
			Node* cur = pos._node;
			Node* newnode = new Node(x);

			Node* prev = cur->_prev;

			
			prev->_next = newnode;
			newnode->_prev = prev;

			newnode->_next = cur;
			cur->_prev = newnode;

			++_size;

			return iterator(newnode);
		}

		iterator insert(iterator pos, T&& x)   // 右值引用版本
		{
			Node* cur = pos._node;
			Node* newnode = new Node(forward<T>(x));

			Node* prev = cur->_prev;

			
			prev->_next = newnode;
			newnode->_prev = prev;

			newnode->_next = cur;
			cur->_prev = newnode;

			++_size;

			return iterator(newnode);
		}

		iterator erase(iterator pos)
		{
			Node* cur = pos._node;
			Node* prev = cur->_prev;
			Node* next = cur->_next;

			delete cur;
			prev->_next = next;
			next->_prev = prev;

			--_size;

			return iterator(next);
		}

		size_t size()
		{
			return _size;
		}

	private:
		Node* _head;
		size_t _size;
	};
}

总结:右值引用和移动语义出来以后,对深拷贝的类影响比较大,对于浅拷贝的类意义不大,因为浅拷贝的类没有资源可以转移。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值