529

分享到

C++模板编程特性之移动语义

2024-04-02 19:04:59 529人浏览安东尼

摘要

目录c++的值类型右值引用与移动构造和移动赋值C++的值类型我们知道，每个变量都有类型，或整形或字符型等来进行了分类，不仅如此，C++表达式（带有操作数的操作符、字面量、变量名等）

C++的值类型

我们知道，每个变量都有类型，或整形或字符型等来进行了分类，不仅如此，C++表达式（带有操作数的操作符、字面量、变量名等）在类型的属性上，还有一种属性，即值类别(value cateGory)。且每个表达式只属于三种基本值尖别中的一种：左值(lvalue)，右值(rvalue),将亡值(xvalue)，每个值类别都与某种引用类型对应。

其中，左值和将亡值成为泛左值（generalized value，gvalue），纯右值和将亡值合称为右值（right value，rvalue）。

一般我们讲，左值就是可以取地址的，具有名字的，比如 int a; a是变量的名字，&a是变量的地址，a就是左值。那么右值呢，自然就是不可以取地址的，比如int b=10; 而这个10就是一个右值，在内存中不会分配有地址，自然也不能取地址。

将亡值，则是指在调用某个函数退出返回时，如果函数有返回值，那么就会有将亡值的存在，为什么称之为将亡值，就是说这个值在函数作用域创建，但由于函数返回结束，局部变量都会销毁，故会产生一个将亡值来接收这个值，完成赋值的任务。

从上图也可以看出，将亡值既可能转为左值，也可能成为右值，那么关键就在于要看是否具有名字了。

下面看这样一段程序：

#include<iOStream>
#include<type_traits>
using namespace std;
class MyString
{
private:
	char* str; // heap;
public:
	MyString(const char* p = nullptr) :str(nullptr)
	{
		if (p != nullptr)
		{
			int n = strlen(p) + 1;
			str = new char[n];
			strcpy_s(str, n, p);
		}
		cout << "Create MyString: " << this << endl;
	}
	MyString(const MyString& st)
	{
		if(st.str!=NULL)
		str = st.str;
		cout << "Copy Create MyString: " << this << endl;
	}
	MyString& operator=(const MyString& st)
	{
		if (st.str != NULL)
		str = st.str;
		cout << this << " operator=(const MyString &):  " << &st << endl;
		return *this;
	}
	~MyString()
	{
		delete[]str;
		str = nullptr;
		cout << "Destroy MyString : " << this << endl;
	}
	void PrintString() const
	{
		if (str != nullptr)
		{
			cout << str << endl;
		}
	}
};
int main()
{
	MyString *a=new MyString("lisa");
	MyString *b = a;
	delete b;
	a->PrintString();
	return 0;
}

MyString类型成员有指针变量，且采用浅拷贝方式。当程序运行时，可以看到，两个指针指向了同一个地址，此时，若释放了b指针，再以a指针访问指针成员，就会出现问题。

还有，当函数以值类型返回，构造临时对象，若有指针变量，且采用浅拷贝，就会出现多次析构的问题，导致程序崩溃。

当我们将程序都改为深拷贝时，深拷贝又会导致，程序多次骚扰对空间，此时就提出了move语义。

std::move

std::move其实并没有移动任何东西，它唯一的功能是将一个左值强制转化为右值引用，继而可以通过右值引用使用该值，以用于移动语义。从实现上讲，move基本等同于一个类型转换。

值得注意的是，通过move转化成右值后，被转化的左值的生命周期并没有随着左右值的转化而改变。但通常情况下，我们需要转换成右值引用的还是一个确定生命期即将结束的对象。

右值引用与移动构造和移动赋值

在c++11中增加了右值引用的概念，即对右值的引用，通过右值引用，可以延长右值的生命期。我们都知道左值引用是变量值的别名，那么右值引用则是不具名变量的别名。

右值引用是不能绑定到任何左值的，但有个例外，常量左值是一个万能引用，可以引用任何值，包括右值引用。

class MyString
{
private:
	char* str; // heap;
public:
	MyString(const char* p = nullptr) :str(nullptr)
	{
		if (p != nullptr)
		{
			int n = strlen(p) + 1;
			str = new char[n];
			strcpy_s(str, n, p);
		}
		cout << "Create MyString: " << this << endl;
	}
	MyString(const MyString& st)
	{
		if (st.str != nullptr)
		{
			int n = strlen(st.str) + 1;
			str = new char[n];
			strcpy_s(str, n, st.str);
		}
		cout << "Copy Create MyString: " << this << endl;
	}
	MyString& operator=(const MyString& st)
	{
		if (this != &st && str != st.str)
		{
			delete[]str;
			if (st.str != nullptr)
			{
				int n = strlen(st.str) + 1;
				str = new char[n];
				strcpy_s(str, n, st.str);
			}
		}
		cout << this << " operator=(const MyString &):  " << &st << endl;
		return *this;
	}
	MyString(MyString&& st)
	{
		str = st.str;
		st.str = nullptr;
		cout << "Move Copy Create MyString" << this << endl;
	}
	MyString& operator=(MyString&& st)
	{
		if (this == &st) return *this;
		if (this->str == st.str)
		{
			st.str = nullptr;
			return *this;
		}
		delete[]str;
		str = st.str;
		st.str = nullptr;
		cout << "Move operator=(MyString &&)" << endl;
		return *this;
	}
	~MyString()
	{
		delete[]str;
		str = nullptr;
		cout << "Destroy MyString : " << this << endl;
	}
	void PrintString() const
	{
		if (str != nullptr)
		{
			cout << str << endl;
		}
	}
};
int main()
{
	const MyString stra("hello");
	MyString strb;
	strb = std::move(stra);//调用普通的赋值方法
	strb.PrintString();
	return 0;
}

这里的move还是调用普通的赋值函数，并未做到真正的资源转移，但是若写成如下结构：

int main()
{
	const MyString stra("hello");
	MyString strb;
	//strb = std::move(stra);//调用普通的赋值方法
	strb = (MyString&&)stra;
	strb.PrintString();
	return 0;
}

通过右值引用，可以延长右值的生命期。从而，有了右值引用出现，这个时候配合移动构造与移动赋值，就可以完成资源转移了。

然后，我们再看一个例子：

MyString& fun()
{
	MyString st=("newdata");
	return st;//xvalue
}
int main()
{
	MyString("zhangsan").PrintString();
	const MyString& a = fun();
	a.PrintString();
	MyString& b = fun();
	b.PrintString();
	return 0;
}

在程序运行时，会发现程序崩溃了，原因是：

函数中返回局部对象的引用，因为函数调用结束会销毁局部对象，而引用则就成为了非法的访问。因为不要在函数中返回局部对象的引用。

若我们将fun()函数的返回改为右值引用呢？

MyString&& fun()
{
	return MyString("newdata");
}
int main()
{
	MyString("zhangsan").PrintString();
	const MyString& a = fun();//x
	a.PrintString();
	//MyString& b = fun();
	//b.PrintString();
	MyString&& c = fun();//x
	c.PrintString();
	MyString&& d = c;//error
	return 0;
}

将亡值回去的时候，就得看看有没有具名，一旦具名就是左值了，否则是右值

可以发现，右值引用是不具名的，但是右值引用本身却是个左值，经过右值引用b接收后，就已经变成了左值，具有了名字。

到此这篇关于C++模板编程特性之移动语义的文章就介绍到这了,更多相关C++移动语义内容请搜索编程网以前的文章或继续浏览下面的相关文章希望大家以后多多支持编程网！

--结束END--

本文标题: C++模板编程特性之移动语义

本文链接: https://lsjlt.com/news/165793.html(转载时请注明来源链接)

有问题或投稿请发送至: 邮箱/279061341@qq.com QQ/279061341

回答

如何调试操作系统的错误？
操作系统

2023-11-15发布

回答

操作系统中的I/O系统是如何实现的？
操作系统

2023-11-15发布

回答

如何实现操作系统的内存管理？
操作系统

2023-11-15发布

回答

什么是虚拟内存，它对操作系统有什么影响？
操作系统

2023-11-15发布

回答

ASP中的MVC架构和WebForms架构有什么区别和使用场景？
ASP.NET

2023-11-15发布

回答

ASP中的数据验证和数据校验有什么不同？
ASP.NET

2023-11-15发布

回答

ASP中的ADO对象和DAO对象有什么区别和使用方法？
ASP.NET

2023-11-15发布

回答

Node.js中的包管理器NPM是什么？如何使用它进行依赖管理？
node.js

2023-11-15发布

回答

Vue.js中的动态组件是什么？如何使用它来动态渲染组件？
VUE

2023-11-15发布

回答

如何使用Vue.js实现懒加载和预加载？
VUE

2023-11-15发布

C++模板编程特性之移动语义

目录

C++的值类型

右值引用与移动构造和移动赋值

C++模板编程特性之移动语义

C++11新特性之变长参数模板详解

C++学习之移动语义与智能指针详解

C语言编程C++自定义个性化类型

C++11学习之右值引用和移动语义详解

C语言的模板与泛型编程是什么

C++多态特性之派生与虚函数与模板详细介绍

C语言的模板与泛型编程你了解吗

C语言与Go编程语言的特性对比解析

C++学习之移动语义与智能指针的实例分析

C++ 函数模板详解：超越语言限制的编程

C语言编程之动态内存与柔性数组的了解

并发编程之Java内存模型volatile的内存语义

并发编程之Java内存模型锁的内存语义

Android编程ProgressBar自定义样式之动画模式实现方法

C++ 函数默认参数和可变参数在模板编程中的特殊用法

dedecms教程之网站后台使用sql语句给dedecms模板添加自定义属性的详细步骤

C++ 模板函数的声明语法：深入剖析泛型编程的规则

C语言编程之初识数组线性查找和二分查找

C语言的特点和优势：为什么它成为最受欢迎的编程语言之一？

c语言怎么计算字符串长度

c++排序函数sort怎么使用

C++中beginthreadex线程启动不了怎么解决

c语言swap函数如何调用

c++中使用swap函数报错怎么解决

c++中decltype的用法是什么

c语言中sizeof语句怎么使用

C语言怎么实现对文件夹加密

c语言怎么将小数转换成整数

C++中coledatetime函数的用法是什么