C++11【一】

一、C++11简介

C++11是C++编程语言的一个版本,于2011年发布。C++11引入了很多新特性,比如:类型推导(auto关键字)、Lambda表达式、线程库、列表初始化,智能指针、右值引用、包装器等等。
C++11则带来了数量可观的变化,其中包含了约140个新特性,以及对C++03标准中约600个缺陷的修正,这使得C++11更像是从C++98/03中孕育出的一种新语言。相比较而言,C++11能更好地用于系统开发和库开发、语法更加泛华和简单化、更加稳定和安全,不仅功能更强大,而且能提升程序员的开发效率,公司实际项目开发中也用得比较多。
总的来说,C++11使得C++更加现代化、易用和强大。

二、右值引用

以前学习的引用就叫做左值引用。无论左值引用还是右值引用,都是给对象取别名。取别名就是减少拷贝
(1)先来理解左值和左值医用
左值是一个表示数据的表达式(如变量名或解引用的指针),我们可以获取它的地址+可以对它赋值,左值可以出现赋值符号的左边,右值不能出现在赋值符号左边。定义时const修饰符后的左值,不能给他赋值,但是可以取它的地址。左值引用就是给左值的引用,给左值取别名。

int main()
{
    
    
// 以下的p、b、c、*p都是左值
int* p = new int(0);
int b = 1;
const int c = 2;
// 以下几个是对上面左值的左值引用
int*& rp = p;
int& rb = b;
const int& rc = c;
int& pvalue = *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);
// 这里编译会报错:error C2106: “=”: 左操作数必须为左值
10 = 1;
x + y = 1;
fmin(x, y) = 1;
return 0;
}

看如下代码:

     int a=0;
     int * p=&a;
     int b=1;
     a+b;

小总结:
左值引用给左值取别名如:int &ret=a;
但左值不能给右值直接取引用,引用权限放大,加个const就可以
右值引用可以给右值取别名,如int &&ret1=(a+b)
右值引用不能去引用左值,int && ret2=是错的,但是可以对move后的左值取别名。

(2)右值引用的使用场景
在传参的时候可以更好地进行参数匹配,比如调用同一个函数,可以把左值和右值区分出来。右值引用是和移动构造一块用的。
先看一段代码:

int main()
{
    
    
	nza::string s1("hello world");
	nza::string ret1 = s1;
	nza::string ret2 = (s1+'!');
	nza::string ret3 = move(s1);

	return 0;
}

如上,从拷贝的角度来看,s1是左值,s1+s2是右值,拷贝是有区别的,如果是内置类型区别不大,如果是自定义类型区别就大,它的右值又叫做将亡值,纯右值是内置类型。s1只能进行深拷贝,s1+s2都要亡了,没必要拷贝的,深拷贝是和你开一样大的空间,然后再把数据拷贝过来,再析构,但是将亡值做深拷贝的代价是有点大的,它的做法就是资源转移。
再看这下面代码:

namespace nza
{
    
    
	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;

			string tmp(s._str);
			swap(tmp);
		}

		// 移动构造
		string(string&& s)
			:_str(nullptr)
		{
    
    
			cout << "string(string&& s) -- 移动拷贝" << endl;
			swap(s);
		}

		// 赋值重载
		string& operator=(const string& s)
		{
    
    
			cout << "string& operator=(string s) -- 深拷贝" << endl;
			string tmp(s);
			swap(tmp);

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

		string operator+(char ch)
		{
    
    
			string tmp(*this);
			tmp += ch;
			return tmp;
		}

		const char* c_str() const
		{
    
    
			return _str;
		}
	private:
		char* _str;
		size_t _size;
		size_t _capacity; // 不包含最后做标识的\0
	};

	nza::string to_string(int value)
	{
    
    
		bool flag = true;
		if (value < 0)
		{
    
    
			flag = false;
			value = 0 - value;
		}

		nza::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()
{
    
    
	nza::string s1("hello world");

	nza::string ret1 = s1;
	nza::string ret2 = (s1+'!');

	nza::string ret3 = move(s1);

	return 0;
}

刚才讲了区分左值和右值,先写一个和拷贝构造一样的函数,参数改为右值引用,如果是右值就没必要拷贝构造即深拷贝,我们直接改为swap(s),直接交换地址,也就是直接指向你原来的空间,这叫做移动构造,ret1是深拷贝,ret2是移动构造,如图:
在这里插入图片描述

ret2直接转移资源,而ret1要去拷贝。这个拷贝的地方就是右值的使用场景之一。如果是左值要去深拷贝,如果是右值,都要走了,把资源带走不如给ret2,把原来的资源掠夺了,这样效率就变高了。如果你想把左值转走,就可以move一下,如ret3,相当于赋予了一种权限,可以转移资源,就可以匹配移动构造。

(3)具体使用场景:
左值引用了减少了拷贝,直接减少拷贝,使用场景左值引用传参和传引用返回,有些地方不能用传引用返回,如函数内的局部对象。
比杨辉三角返回的vector的vector即vector<vector>,拷贝代价太大了,有些场景不可避免就要传值返回,怎么可以解决?
C++11就是来解决这个问题的,里面的右值引用就是和左值区分的,区分之后,是右值就做资源转移,就不怕传值返回了,直接把资源转移给它,不需要析构需不要拷贝,这样极大提高了效率,因为有移动构造和编译器优化
先看以前的C++98,拷贝优化两次变为1次
在这里插入图片描述
再看C++11,一次拷贝加一次移动构造优化为一次移动构造,优化之后先移动再析构
在这里插入图片描述
这个函数返回不能直接用引用不管是左值还是右值,因为它是一个局部对象,出了作用域之后就销毁了。
现在所有容器都增加了移动构造以及接口函数增加了右值引用版本。
总结
左值引用减少拷贝,提高效率,右值引用也是减少拷贝,提高效率,但是左值引用是直接减少拷贝,右值引用是间接减少拷贝,识别出是左值还是右值,如果是右值不再深拷贝,直接移动拷贝即移动资源,提高效率。

(4)完美转发:
属性丢失,传两次就会导致属性丢失。
先看下面,写了一个模板,里面&&叫万能引用(引用折叠),既可以引用左值,也可以引用右值。但是我们也有往下一层传的需求,如果是左值打印的是左值引用,右值打印的都是左值引用,这就是导致了属性丢失。

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(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 右值

	int&& rr1 = 10;
	cout << &rr1 << endl;
	rr1++;*/

	string s1("hello world");
	string s2("hello world");
	string s3 = s1 + s2;*/

	return 0;
}

为什么会属性丢失?
再看,右值是不能取地址的,给右取别名后,会导致右值存储到特定位置,且可以取到改位置的地址,如上,10是不能取地址,但是rr1引用后,可以对rr1取地址也可以修改。这样做才符合语法,如sting ret=s1+s2,s1+s2是一个将亡值,不能直接去修改,编译器会找个地方把它存起来,存起来就可以修改但是属性就会变了。如下,想转移资源就得把swap(s)里面的s搞成左值,因为转移资源需要修改对象。
在这里插入图片描述
但是这样会造成困扰:
我们如果用之前我们手写的list,加入一个右值版本接口函数,进行插入自己手写的string类型,因为在insert里面在new新节点的时候会发生调用构造函数,因插入的是自定义类型,会调用自己的拷贝构造或移动构造,但是发现打印出来全都是深拷贝没有调用移动构造,这是因为在push_back里面的调用了insert,这里已经变化成了左值,但是真正实现转移的时候是在insert中调用构造函数,想转移资源但是时机未到,转早了,导致属性丢失,这时候C++11中增加了保持它原有的属性,叫做完美转发,语法为forward,就是解决转早的场景。如图:
在这里插入图片描述
解决之后就能成功打印,如图:
在这里插入图片描述
补充:还需要增加一个移动赋值:

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

			return *this;
		}

在这里插入图片描述
只有连续的构造或赋值才能被编译器优化:和二为一。

总结
1、右值引用的特点是要借助移动拷贝去转移它的资源,右值按以前C++98的属性,临时对象具有常性不能修改,编译器会开一块空间把它存起来这样就可以修改,相当于它的属性就丢了,但是不一定在第一层就改即资源转移,有可能就如上面,可能会一层一层往下传需要复用,属性就丢了,这样就需要支持完美转发,继续保持它右值属性匹配。

2、左值引用和右值引用都是给对象取别名,减少拷贝,左值引用解决了大多数场景的问题,但是没解决局部独对象返回问题,和插入接口,对象拷贝问题。所以后面引入了右值引用。
浅拷贝的类,这里就是拷贝构造,因为对于浅拷贝的类,移动构造没意义。
深拷贝的类,是移动构造,移动构造对深拷贝的类有意义,可以转移右值的资源,没有拷贝,提高效率。

3、conat &延长的是临时对象或匿名对象的生命周期,传值返回的临时对象一般生成在上一层栈帧,例如上图to_string也就是main,to_string销毁不会影响main,如果小放在寄存器。如果to_string用const &返回str,在main函数中const &ref接收是不行的,返回时出了作用域就会被销毁,而且接收的时候用const&ref接收,main中的ref强行是str的别名,而str所在的空间已经销毁了,ref依旧是这块空间的别名,但这块空间没有使用权了,调完就回去了,再调用其他函数建立栈帧就会覆盖了,造成了非法引用。

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

三、可变参数模板

可变参数模板能让我们创建可以接受可变参数的函数模板和类模板,C++98/03,类模版和函数模版中只能含固定数量的模版参数,可变模版参数出现就是解决固体化实现动态化。
下面是一个基本可变参数的函数模板


template <class ...Args>
void ShowList(Args... args)
{
    
    }

Args是一个模板参数包,args是一个函数形参参数包
声明一个参数包Args… args,这个参数包中可以包含0到任意个模板参数。
实际上是有这种需求的,有些地方不知道传几个参数,随便传,传几个接收几个。面的参数Args前面有省略号,所以它就是一个可变模版参数,我们把带省略号的参数称为“参数包”,它里面包含了0到N(N>=0)个模版参数。我们无法直接获取参数包args中的每个参数的,只能通过展开参数包的方式来获取参数包中的每个参数,这是使用可变模版参数的一个主要特点
如图:
在这里插入图片描述
如何解析出可变参数包:
不能直接用for循环打印,会报错要结合上下文推导,也就是用递归推导思维。
比如下面,1传过去val,后面没有参数,所以args是0个参数包,然后打印1,再去调ShowList,打印换行。同理如果2个参数,1传过去,后面还有一个参数A,args就是一个1参数包,打印1之后,再去调自己,推出一个char类型,打印A,没有参数包了,再调换行。
在这里插入图片描述
可变参数包在线程那一块用的比较多,因为可能要传0或多个参数。C语言用void*解决,而c++用模板参数包来解决。为我们把参数包解析出来。模板的可变参数包是为库里的而很多地方准备,不写库,一般很少用到。

还能这样写,给一个数组,参数包有几个就生成几个这样PrintArg表达式,那数组就开多大,这里参数包…在外面,一个一个传。
在这里插入图片描述
编译器编译推演生成了以下代码


void ShowList(char a1, char a2, std::string a3)
{
    
    
	int arr[] = {
    
     PrintArg(a1),PrintArg(a2),PrintArg(a3) };
	cout << endl;
}

四、 empacle_back(移动构造/赋值)

STL容器的插入接口都有一个emplace系列,一般都说它的效率比push_back高,这样说不是很准确。
如下图,还没多大区别:
在这里插入图片描述

当p和e都传一个子串时,就有区别了:
但是效率差别不大,但是因为e传的是可变参数包减少了一些拷贝,少构造一些对象,可以无脑使用它。p支持是可变参数包,里面用到一个万能引用。p支持一个一个左值引用和一个右值引用版本。
p是先构造,构造匿名对象是一个右值调用右值版本,再传参,进行移动构造;
而e这里是直接构造,传的是const char*,就没必要把参数包推出string,然后把这个东西认为构成string对象的参数,一路往下传,到结点的时候,直接拿这个参数包构造那个参数,就相当于传什么推什么,传const char推这个参数包为const char,然后调到这个参数包,把这个参数包一直往下传,传到定位new,定位new显示的调用string(ptr是结点data指针,data是string)构造函数,把参数const char*这个参数包传给它,一把构造到位。
在这里插入图片描述
在这里插入图片描述

五、简单特性

列表初始化
C++98标准允许使用花括号{}对数组或者结构体元素进行统一的列表初始值设定,而C++11扩大了用大括号括起的列表(初始化列表)的使用范围,使其可用于所有的内置类型和用户自定义的类型,使用初始化列表时,可以省略赋值符号“=”。

struct N
{
    
    
int _x;
int _y;
};
int main()
{
    
    
int x1 = 0;
int x2{
    
     1 };
int a1[5]{
    
     1, 2, 3, 4, 5 };
int a2[10]{
    
     0 };
N n{
    
     1, 2 };
vector<int> l={
    
    1,2,3,4,5};
// C++11中列表初始化也可以适用于new表达式中
int* pp = new int[10]{
    
     0 };
return 0;
}

内置和自定义类型其实去调用了构造,而容器去匹配带有initializer_list的构造,做出了特殊识别,用花括号括起来的常量数组,C++把它识别为一个nitializer_list类型数组,比如在vector中增加了这样的构造,C++11对STL中的很多容器增加了它。

vector<initializer_list<T> li>
{
    
    
     typename::initializer_list<T>::iterator it=li.begin();
     while(it!=li.end())
     {
    
    
         push_back(*it);
         ++it;
     }
}

nullptr
C++中NULL被定义成0,这可能回带来一些问题,因为0既能指针常量,又能表示整形常量。所以出于清晰和安全的角度考虑,C++11中新增了nullptr,用于表示空指针。
auto:
在C++98中auto是一个存储类型的说明符,表明变量是局部自动存储类型,但是局部域中定义局部的变量默认就是自动存储类型,所以auto就没什么价值了。C++11中废弃auto原来的用法,将其用于实现自动类型腿断。这样要求必须进行显示初始化,让编译器将定义对象的类型设置为初始化值的类型。

int main()
{
    
    
int n= 10;
auto p= &n;

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

decltype
decltype是推导一个表达式的类型,用这个类型去实例化模板参数或定义对象。
比如下面:decltype去定义变量,x*y是什么类型,ret就是什么类型

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 = 3;
double y = 1.5;
decltype(x * y) ret; // ret的类型是double
decltype(&x) p;    // p的类型是int*
cout << typeid(ret).name() << endl;
cout << typeid(p).name() << endl;
F(1, 'a');
vector<decltype(x*y)> a; 
return 0;
}

猜你喜欢

转载自blog.csdn.net/m0_59292239/article/details/131274063