【C++11】第一部分(一万六千多字)

提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档

目录

前言

C++11简介

统一的列表初始化

{}初始化

std::initializer_list

声明

auto

decltype

右值引用和移动语义

左值引用和右值引用

左值引用与右值引用比较

右值引用使用场景和意义

右值引用引用左值及其一些更深入的使用场景分析

完美转发

新的类功能

总结



前言

世上有两种耀眼的光芒,一种是正在升起的太阳,一种是正在努力学习编程的你!一个爱学编程的人。各位看官,我衷心的希望这篇博客能对你们有所帮助,同时也希望各位看官能对我的文章给与点评,希望我们能够携手共同促进进步,在编程的道路上越走越远!


提示:以下是本篇文章正文内容,下面案例可供参考

C++11简介

在2003年C++标准委员会曾经提交了一份技术勘误表(简称TC1),使得C++03这个名字已经取代了 C++98称为C++11之前的最新C++标准名称。不过由于C++03(TC1)主要是对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增加的语法特性篇幅非常多,我们这里没办法一 一讲解,所以本节课程主要讲解实际中比较实用的语法。

https://en.cppreference.com/w/cpp/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++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扩大了用大括号括起的列表(列表初始化)的使用范围,使其可用于所有的内置类型和用户自 定义的类型,使用列表初始化时,可添加等号(=),也可不添加。

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

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()
{
	int a = 0;
    // 不推荐
	int b = { 1 };
	int c{ 1 };

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

	// 多参数
	// C++98  构造
	Date d1(2024, 3, 23);

	// C++11 
	// 构造一个日期类的临时对象 + 拷贝构造 -> 优化,直接构造
	// 多参数的隐式类型转换
	Date d2 = {2024, 3, 23};// 多参数不能直接写圆括号(),语法要求写{}
	Date d3 { 2024, 3, 23 };

	// 单参数
	// 构造
	string s1("1111");
	// 先构造创建一个临时对象 + 再拷贝构造,将临时对象拷贝给s2 -> 优化,直接构造
	string s2  = "1111";// 单参数的构造函数支持隐式类型转换

	//Date d4 =  (2024, 3, 23 ); // 不支持

    // 数组中的元素类型是自定义的类型,所以默认初始化的用自定义类型的默认值
    // 如果数组是10,只初始化了3个,其它的7个就用默认值初始化,但是没有合适的构造函数,所以,将数组的大小改为3个
	Date* darr1 = new Date[3]{d1,d2,d3};// 调用的是拷贝的构造函数
 
    // 多参数也支持隐式类型转换,构造 + 拷贝构造 -> 优化,直接构造
	Date* darr2 = new Date[3]{ { 2024, 3, 23 } ,{ 2024, 3, 23 } ,{ 2024, 3, 23 } };

	Date* darr3 = new Date(2023,3,34);// 调用的构造
	Date* darr4 = new Date{ 2023, 3, 34 };

	return 0;
}

std::initializer_list

std::initializer_list的介绍文档:

http://www.cplusplus.com/reference/initializer_list/initializer_list/

std::initializer_list是什么类型:

int main()
{
	// the type of il is an initializer_list 
	auto il = { 10, 20, 30 };
	cout << typeid(il).name() << endl;
	return 0;
}

std::initializer_list使用场景:

std::initializer_list一般是作为构造函数的参数,C++11对STL中的不少容器就增加 std::initializer_list作为参数的构造函数,这样初始化容器对象就更方便了。也可以作为operator= 的参数,这样就可以用大括号赋值。

http://www.cplusplus.com/reference/list/list/list/

http://www.cplusplus.com/reference/vector/vector/vector/

http://www.cplusplus.com/reference/map/map/map/

http://www.cplusplus.com/reference/vector/vector/operator=/

int main()
{
	vector<int> v = { 1,2,3,4 };
	list<int> lt = { 1,2 };
	// 这里{"sort", "排序"}会先初始化构造一个pair对象
	map<string, string> dict = { {"sort", "排序"}, {"insert", "插入"} };
	// 使用大括号对容器赋值
	v = { 10, 20, 30 };

	return 0;
}
namespace bit
{
	template <class T1, class T2>
	struct pair
	{
		// pair<const char*, const char*> kv3("sort", "排序");
		pair(const T1& t1, const T2& t2)
			:first(t1)
			, second(t2)
		{}

		// 	pair<const string, string> kv4(kv3);
		// kv3和kv4的类型不一样,为什么可以拷贝构造初始化呢?
		// 因为拷贝构造没有要求用同类型的模板参数来进行初始化,允许同一个模板不同的模板参数
		// 也能进行初始化
		template<class U, class V>
		pair(const pair<U, V>& kv)
			: first(kv.first)
			, second(kv.second)
		{}

	private:
		T1 first;
		T2 second;
	};
}

int main()
{
	Date d1 = { 2024, 3, 23 };

	auto il1 = { 1, 2, 3, 4, 5, 6, 7, 8, 9};// 这两个il1和il2是一回事
	initializer_list<int> il2 = { 1, 2, 3, 4, 5, 6, 7, 8, 9 };
	cout << sizeof(il1) << endl;
	cout << sizeof(il2) << endl;

	 // 画板:将{}中的值赋值给il对象,那么会把il对象的类型识别成一个initializer_list int
	 // 可以将initializer_list看作一个容器,只不过这个容器不实际存储数据
	 // 本质是:调用的是initializer_list的构造函数,initializer_list是C++11中增加的一个类型
	vector<int> v1 = { 1,2,3,4,5,6,7,8,9};
	for (auto e : v1)
	{
		cout << e << " ";
	}
	cout << endl;

	v1 = { 10, 20,30 };

	pair<string, string> kv1("sort", "排序");
	pair<string, string> kv2("string", "字符串");

	map<string, string> dict1 = { kv1, kv2 };
	map<string, string> dict2 = { {"sort", "排序"}, {"string", "字符串"} };

	for (auto& kv : dict2)
	{
		cout << kv.first << ":" << kv.second << endl;
	}

	
    // kv3和kv4都用的是pair类型的模板,但是模板参数不同,所以kv3和kv4的是不同的类型
    // 按理来说kv3是不能调用拷贝构造给kv4对象的,但是实际上是可以的
    // 因为kv4调用的是类模板的拷贝构造函数,所以它们的模板参数类型可以不一样
	pair<const char*, const char*> kv3("sort", "排序");
	pair<const string, string> kv4(kv3);


	return 0;
}

声明

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

auto

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

auto func3()
{
	auto z = 4;
	//...
	return z;
}

auto func2()
{
	auto y = func3();

	return y;
}

auto func1()
{
	auto ret = func2();
	//...
	return ret;
}

// 切记:不要auto做返回值
int main()
{
	map<string, string> dict2 = { {"sort", "排序"}, {"string", "字符串"} };
	auto it2 = dict2.begin();
	cout << typeid(it2).name() << endl;

	auto x = func1();

	return 0;
}

decltype

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

int main()
{
	const int x = 1;
	double y = 2.2;
 
    // typeid(x).name:是帮助我们打印类型,但是我们不能用typeid(x).name再来帮我们定义一个变量
	cout << typeid(x).name() << endl;
	cout << typeid(string).name() << endl;

    // decltype可以推导出x的类型,并用可以用该类型定义一个变量z
    // 注意:上面x的类型是const int,decltype(x)和typeid(z).name所推到和打印出来的类型都是int,要去掉const
    // const是修饰x的类型不被改变,实际上x的类型还是int
	decltype(x) z = 1;
	cout << typeid(z).name() << endl;

 
    // 顶层const:修饰的是变量本身
    // 底层const:修饰的是指针指向的内容
    // 所以p1和p2的类型是const int*
	const int* p1 = &x;
	cout << typeid(p1).name() << endl;// 结果:int const*
	decltype(p1) p2 = nullptr;
	cout << typeid(p2).name() << endl;// 结果:int const*

	auto ret = func1();
	// 假设要用vector存func1类型的数据
	vector<decltype(ret)> v;

	return 0;
}

 decltype:推导我们的类型
 Python:运行慢的原因是因为它不编译,Python是边编译边运行
 C++:是先编译,再运行

右值引用和移动语义

左值引用和右值引用

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

什么是左值?什么是左值引用?

左值是一个表示数据的表达式(如变量名或解引用的指针),我们可以获取它的地址+可以对它赋 值,左值可以出现赋值符号的左边,右值不能出现在赋值符号左边。定义时const修饰符后的左 值,不能给他赋值,但是可以取它的地址。左值引用就是给左值的引用,给左值取别名。

int main()
{
	// 以下的p、b、c、*p, func2()返回值 都是左值
	int* p = new int(0);
	int b = 1;
	const int c = 2;
	
	const int* ptr1 = &c;
	int* ptr2 = &func2();

	printf("%p %p\n", ptr1, ptr2);

	// 左值引用就是给左值取别名(一个&)
	int*& rp = p;
	int& rb = b;
	const int& rc = c;
	int& pvalue = *p;

	return 0;
}
// 不能说在左边的就是左值,在右边的就是右值
// 左值一般情况下可以修改,不能认为左值是一个变量或者对象,左值是一个表达式
int func()
{
	return 10;// 返回的右值
}

int main()
{
	int i = 10;
	10 = i;// 右值不能在左边

	func() = 1;

	int j = 1;
	i + j = 10;// 表达式相加:拷贝的临时变量都是右值

	return 0;
}
int func1()
{
	static int x = 0;
	return x;// 返回的是右值(返回的是x的拷贝,拷贝的临时变量)
}

int& func2()
{
	static int x = 0;
	return x;// 返回的是左值(x的别名)
}

什么是右值?什么是右值引用?

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

int func1()
{
	static int x = 0;
	return x;// 返回的是右值(返回的是x的拷贝,拷贝的临时变量)
}

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

	// 以下几个都是常见的右值
	10;
	x + y;
	func1();

	// 以下几个都是对右值的右值引用(两个&&)
	int&& rr1 = 10;
	double&& rr2 = x + y;
	double&& rr3 = fmin(x, y);

	// 这里编译会报错:error C2106: “=”: 左操作数必须为左值
	/*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;
}

左值引用与右值引用比较

左值引用总结:

  1. 左值引用只能引用左值,不能引用右值。
  2. 但是const左值引用既可引用左值,也可引用右值。
int main()
{
	// 左值引用只能引用左值,不能引用右值。
	int a = 10;
	int& ra1 = a;
	// ra为a的别名
	//int& ra2 = 10;   // 编译失败,因为10是右值
	// const左值引用既可引用左值,也可引用右值。
	const int& ra3 = 10;
	const int& ra4 = a;
	return 0;
}

右值引用总结:

  1. 右值引用只能右值,不能引用左值。
  2. 但是右值引用可以move以后的左值。
int main()
{
	// 右值引用只能右值,不能引用左值。
	int&& r1 = 10;
	// error C2440: “初始化”: 无法从“int”转换为“int &&”
	// message : 无法将左值绑定到右值引用
	int a = 10;
	int&& r2 = a;

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

总结一下:

  • 语法上,引用都是别名,不开空间,左值引用是给左值取别名,右值引用是给右值取别名。
  • 底层,引用是用指针实现的。左值引用是存当前左值的地址;右值引用,是把当前右值拷贝到栈上的一个临时空间,存储这个临时空间的地址

右值引用使用场景和意义

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

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

		// s1.swap(s2)
		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;

			_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);
		}

		// 拷贝赋值
		// s2 = tmp
		string& operator=(const string& s)
		{
			cout << "string& operator=(const string& s) -- 深拷贝" << endl;
			string tmp(s);// 调用拷贝构造
			swap(tmp);

			return *this;
		}

		// 移动赋值
		string& operator=(string&& s)
		{
			cout << "string& operator=(string&& s) -- 移动拷贝" << endl;
			swap(s);

			return *this;
		}

		~string()
		{
			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)
		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; // 不包含最后做标识的\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 move(str);
	}
}

左值引用的使用场景:

做参数和做返回值都可以提高效率。

 左值引用解决了什么问题

  1.  传参的拷贝全解决了
  2.  传返回值的问题解决了一部分(对象在,用引用返回)
void func1(bit::string s)
{}

void func2(const bit::string& s)
{}
int main()
{
	bit::string s1("hello world");
	// func1和func2的调用我们可以看到左值引用做参数减少了拷贝,提高效率的使用场景和价值
	func1(s1);
	func2(s1);

	// string operator+=(char ch)  传值返回存在深拷贝
	// string& operator+=(char ch) 传左值引用没有拷贝提高了效率
	s1 += '!';

	return 0;
}

局部对象(出了作用域就销毁的对象)返回的拷贝问题,没有解决,要用右值引用解决。

左值引用的短板:

但是当函数返回对象是一个局部变量,出了函数作用域就不存在了,就不能使用左值引用返回, 只能传值返回。例如:bit::string to_string(int value)函数中可以看到,这里只能使用传值返回, 传值返回会导致至少1次拷贝构造(如果是一些旧一点的编译器可能是两次拷贝构造)。

右值引用和移动语义解决上述问题:

在bit::string中增加移动构造,移动构造本质是将参数右值的资源窃取过来,占位已有,那么就不 用做深拷贝了,所以它叫做移动构造,就是窃取别人的资源来构造自己。

// 移动构造
string(string&& s)
	:_str(nullptr)
	, _size(0)
	, _capacity(0)
{
	cout << "string(string&& s) -- 移动语义" << endl;
	swap(s);
}

int main()
{
	bit::string ret2 = bit::to_string(-1234);
	return 0;
}

再运行上面bit::to_string的两个调用,我们会发现,这里没有调用深拷贝的拷贝构造,而是调用了移动构造,移动构造中没有新开空间,拷贝数据,所以效率提高了。

不仅仅有移动构造,还有移动赋值:

在bit::string类中增加移动赋值函数,再去调用bit::to_string(1234),不过这次是将 bit::to_string(1234)返回的右值对象赋值给ret1对象,这时调用的是移动构造。

// 移动赋值
string& operator=(string&& s)
{
	cout << "string& operator=(string&& s) -- 移动语义" << endl;
	swap(s);
	return *this;
}
int main()
{
	bit::string ret1;
	ret1 = bit::to_string(1234);
	return 0;
}
// 运行结果:
// string(string&& s) -- 移动语义
// string& operator=(string&& s) -- 移动语义

这里运行后,我们看到调用了一次移动构造和一次移动赋值。因为如果是用一个已经存在的对象 接收,编译器就没办法优化了。bit::to_string函数中会先用str生成构造生成一个临时对象,但是我们可以看到,编译器很聪明的在这里把str识别成了右值,调用了移动构造。然后在把这个临时对象做为bit::to_string函数调用的返回值赋值给ret1,这里调用的移动赋值。

STL中的容器都是增加了移动构造和移动赋值:

http://www.cplusplus.com/reference/string/string/string/

http://www.cplusplus.com/reference/vector/vector/vector/

// 左值引用& + const:左值或右值传参过来都可以被取别名
void func(const int& i)
{
	cout << "void func(const int& i)" << endl;
}

// 右值引用&& 
void func(int&& i)
{
	cout << "void func(int&& i)" << endl;
}

int main()
{
	int a = 0;
	func(a);// 调用左值引用
	func(10);// 调用右值引用

	return 0;
}

右值引用的场景:

  •  场景一:传值返回
  •  场景二:容器的插入

知识点:

  • 左值和右值都是一个表达式,平常见到的常量和变量都只是表达式的一种常见形态
  • 左值可能会修改,也可能不会修改,比如:const int c = 10;c就不能修改
  • 右值:传值返回的函数,如:后置++( T operator++(int) )
  • 特殊:1、const左值引用可以给右值取别名;2、右值引用可以给move(左值)取别名
  • 返回值生成的临时对象,如果临时对象比较小,是存在寄存器中(4个、8个字节)的,vector中有三个指针,在32位平台下,是12个字节,在64位平台下,是24个字节,寄存器是存不下的,那么此时临时对象存放在两个函数栈帧之间
  • const 左值引用可以给右值取别名,那么为什么还要右值引用呢?引用的本质就是取别名,是为了减少拷贝。右值引用的出现是因为左值引用在某些场景下对于某些问题无法解决,无法减少拷贝,所以才会有右值引用。
  • 移动构造也是一个构造,也会走初始化列表。
  • 移动语义的本质:移动构造和移动赋值

左值引用的场景:

  1. 解决传值传参拷贝的问题;传右值还是传左值,都可以,(void func(const T& val))一个函数的参数我们建议用左值引用,建议加const,加了const之后,既可以传左值,也可以传右值,都没有拷贝
  2. 解决部分返回对象拷贝的问题。(出了函数作用域,返回对象还在,可以左值引用返回,减少了拷贝)
  3. 没有解决的问题:返回对象是一个局部对象,出了函数作用域生命周期就到了,只能传值返回,就存在拷贝,如果有些对象消耗巨大。

右值引用引用左值及其一些更深入的使用场景分析

按照语法,右值引用只能引用右值,但右值引用一定不能引用左值吗?因为:有些场景下,可能 真的需要用右值去引用左值实现移动语义。当需要用右值引用引用一个左值时,可以通过move 函数将左值转化为右值。C++11中,std::move()函数位于头文件中,该函数名字具有迷惑性, 它并不搬移任何东西,唯一的功能就是将一个左值强制转化为右值引用,然后实现移动语义。

template<class _Ty>
inline typename remove_reference<_Ty>::type&& move(_Ty&& _Arg) _NOEXCEPT
{
	// forward _Arg as movable
	return ((typename remove_reference<_Ty>::type&&)_Arg);
}

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;
}
STL容器插入接口函数也增加了右值引用版本:

http://www.cplusplus.com/reference/list/list/push_back/

http://www.cplusplus.com/reference/vector/vector/push_back/

void push_back(value_type&& val);

int main()
{
	list<bit::string> lt;
	bit::string s1("1111");
	// 这里调用的是拷贝构造
	lt.push_back(s1);

	// 下面调用都是移动构造
	lt.push_back("2222");
	lt.push_back(std::move(s1));
	return 0;
}
// 运行结果:
// string(const string& s) -- 深拷贝
// string(string&& s) -- 移动语义
// string(string&& s) -- 移动语义

C++11对右值概念的细分:

  1. 纯右值(内置类型的右值)如:10、a + b....
  2. 将亡值(自定义类型的右值)如:匿名对象、传值返回函数......

强行将move(str),如果传值返回的地方都move一下,会将该属性从左值改成右值,但是为了解决存量的问题,也就是要兼容以前的代码,虽然str是左值,但是编译器知道它有将亡值属性,所以隐式将move(str),move之后,str的属性就变成了将亡值(右值),str本身还是左值。

string s2(tmp):

  • 如果tmp对象将亡值,深拷贝是一种极度的资源浪费,因为深拷贝后,tmp马上又销毁;
  • C++提供右值引用,本质是为了参数匹配时,区分左值和右值。

总结一下:浅拷贝的类不需要移动构造;深拷贝的类才需要移动构造

移动构造是将一个将亡值对象中的资源移动到另一个对象中,将资源的使用寿命延长了。

int main()
{
	bit::list<bit::string> lt;
	bit::string s1("11111");

	//lt.push_back(move(s1));
	// move(s1):s1本身还是左值,不过move(s1)之后,这个表达式的返回值的属性是右值
	lt.push_back(s1);
	cout << "---------" << endl;

	lt.push_back(bit::string("2222"));// 匿名对象的作用域就那一行,相当于临时对象(将亡值)
	cout << "---------" << endl;

	lt.push_back("2222");// 隐式类型转换,中间生成临时对象(就是右值)
	cout << "---------" << endl;

	//bit::string s2 = "33333"; // 构造 + 拷贝构造 -》合二为一直接构造
	//const bit::string& s3 = "33333";// 没有拷贝构造,临时对象是右值,const 左值引用右值
	//bit::string&& s4 = "33333";// 右值引用临时对象

	return 0;
}

右值被右值引用了之后,右值引用本身的属性是左值,右值引用的底层是指针

int  main()
{
	// 右值被右值引用以后,右值引用r的属性是左值
    // 右值不可以被改变,但是右值引用可以被改变;
    // 右值引用的前面也能加const,使得r这个右值引用不能被改变
	// 为什么要这样设计?
	int&& r = 10;
	r++;
 
	cout << &r << endl;// 也可以取地址	
	return 0;
}

完美转发

模板中的&& 万能引用

std::forward 完美转发在传参的过程中保留对象原生类型属性

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

// 极度追求效率
// 引用折叠
// &  && -> &  传值传参的属性是左值(&),遇到&&,就将&&折叠成&
// && && -> && 传值传参的属性是右值(&&),遇到&&,就将&&折叠成&&
// 
// move 左值属性->右值属性
// forward 保持属性->本身是左值,就不变;
//                   本身是右值,右值引用后,属性是左值,转成右值,相当于move一下
// 
// 不能单纯把下面的模板理解成右值引用的模板
// 万能引用-> 传左值,他就是左值引用
// 万能引用-> 传右值,他就是右值引用
template<typename T>
void PerfectForward(T&& t)
{
	// 按照我们之前学的,见到右值引用,我们认为只能传右值,但是此地是一个例外
	// 他是一个类模板,带有推演的属性
	// 模板参数T&&当成一个整体。传左值,就推演成T&;传右值,就推演成T&&
	Fun(std::forward<T>(t));// 完美转发
	//cout << "void PerfectForward(T&& t)" << endl;
}

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

完美转发实际中的使用场景:

iterator insert(iterator pos, T&& x)
{
	Node* cur = pos._node;
	Node* prev = cur->_prev;
	//Node* newnode = new Node(move(x));
	Node* newnode = new Node(std::forward<T>(x));
	//forward 保持属性->本身是左值,就不变;
	//                  本身是右值,右值引用后,属性是左值,转成右值,相当于move一下

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

	//return iterator(newnode);
	return newnode;
}
// 右值引用
void push_back(T&& x)
{
	insert(end(), std::forward<T>(x));// x是右值引用,x的属性是左值,所以,还是得move(x),将x转变为右值
}
// emplace版本的参数包并不能随便传,至少要有匹配它对应的构造函数
template<class ...Args>
ListNode(Args&&... args)
	: _next(nullptr)
	, _prev(nullptr)
	, _data(forward<Args>(args)...)
{}

新的类功能

默认成员函数

原来C++类中,有6个默认成员函数:

  1. 构造函数
  2. 析构函数
  3. 拷贝构造函数
  4. 拷贝赋值重载
  5. 取地址重载
  6. const 取地址重载

最后重要的是前4个,后两个用处不大。默认成员函数就是我们不写编译器会生成一个默认的。

C++11 新增了两个:移动构造函数移动赋值运算符重载

针对移动构造函数和移动赋值运算符重载有一些需要注意的点如下:

  • 如果你没有自己实现移动构造函数,且没有实现析构函数 、拷贝构造、拷贝赋值重载中的任 意一个。那么编译器会自动生成一个默认移动构造。默认生成的移动构造函数,对于内置类 型成员会执行逐成员按字节拷贝,自定义类型成员,则需要看这个成员是否实现移动构造, 如果实现了就调用移动构造,没有实现就调用拷贝构造。
  • 如果你没有自己实现移动赋值重载函数,且没有实现析构函数 、拷贝构造、拷贝赋值重载中 的任意一个,那么编译器会自动生成一个默认移动赋值。默认生成的移动构造函数,对于内 置类型成员会执行逐成员按字节拷贝,自定义类型成员,则需要看这个成员是否实现移动赋 值,如果实现了就调用移动赋值,没有实现就调用拷贝赋值。(默认移动赋值跟上面移动构造 完全类似)
  • 如果你提供了移动构造或者移动赋值,编译器不会自动提供拷贝构造和拷贝赋值。
class Person
{
public:
	Person(const char* name = "", int age = 0)
		:_name(name)
		, _age(age)
	{}

    // 写了拷贝构造或移动构造,编译器默认生成的拷贝构造就不会生成了
    // 写了移动构造之后,如果不写拷贝构造,那么系统默认生成的就是浅拷贝了,为了避免浅拷贝,
    // 强制生成的移动构造会干扰默认生成的拷贝构造,就必须得写拷贝构造
	Person(const Person& p) = default;
	Person(Person&& p) = default;
	Person& operator=(Person&& p) = default;

	~Person()
	{}

private:
	bit::string _name = "张三";
	int _age;
};

int main()
{
	Person s1;

	// 拷贝构造
	Person s2 = s1;

	// 移动构造
	Person s3 = move(s1);// 如果没有移动构造,则调用拷贝构造

	Person s4;
	s4 = std::move(s2);

	return 0;
}
  • 拷贝构造不写,会默认生成拷贝构造;构造函数写了,编译器就不会生成默认的构造函数;
  • 那么拷贝构造也是构造,拷贝构造写了,构造函数就不能默认生成了。

类成员变量初始化

C++11允许在类定义时给成员变量初始缺省值,默认生成构造函数会使用这些缺省值初始化,这 个我们在类和对象默认就讲了,这里就不再细讲了。

强制生成默认函数的关键字default:

C++11可以让你更好的控制要使用的默认函数。假设你要使用某个默认的函数,但是因为一些原 因这个函数没有默认生成。比如:我们提供了拷贝构造,就不会生成移动构造了,那么我们可以 使用default关键字显示指定移动构造生成。

class Person
{
public:
	Person(const char* name = "", int age = 0)
		:_name(name)
		, _age(age)
	{}
	// 拷贝构造
	Person(const Person& p)
		:_name(p._name)
		, _age(p._age)
	{}

	// 强制生成默认的移动构造
	Person(Person&& p) = default;
private:
	bit::string _name;
	int _age;
};
int main()
{
	Person s1;
	Person s2 = s1;
	Person s3 = std::move(s1);
	return 0;
}

禁止生成默认函数的关键字delete:

如果能想要限制某些默认函数的生成,在C++98中,是该函数设置成private,并且只声明补丁 已,这样只要其他人想要调用就会报错。在C++11中更简单,只需在该函数声明加上=delete即 可,该语法指示编译器不生成对应函数的默认版本,称=delete修饰的函数为删除函数。

方法一:自己不写,编译器会默认生成,我们可以干扰编译器的实现(C++98)

class A
{
public:
	A() = default;
private:
	// 方法一:C++98中干扰编译器的实现
	// 只声明不实现
	// 放到私有
	A(const A& aa);

	int a = 0;
};

// 不希望A类对象被拷贝
A::A(const A& aa)
{
	//...
}

int main()
{
	A aa1;
	A aa2 = aa1;

	return 0;
}

方法二:C++11

class A
{
public:
	A() = default;
	A(const A& aa) = delete;

private:
	int a = 0;
};

int main()
{
	A aa1;
	A aa2 = aa1;

	return 0;
}

总结

好了,本篇博客到这里就结束了,如果有更好的观点,请及时留言,我会认真观看并学习。
不积硅步,无以至千里;不积小流,无以成江海。

  • 44
    点赞
  • 41
    收藏
    觉得还不错? 一键收藏
  • 8
    评论
评论 8
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值