关于move在C++里的应用
move,个人觉得确实有些晦涩的功能,需要了解一些C++的定义:
左值、右值、左值引用、右值引用、引用折叠;
move语义:初见不明觉厉的语法,C++11的新特性,其实质是提供了一种高效的数据交换方式,避免无效的复制过程
应用的场景:
需要将 A 的数据传给 B ,并且之后不关心 A 的内容;
传统方法是将 A 的数据一个一个复制到 B 的地址下,当数据量庞大那么这种复制就是耗时的。move方法可以避免这种复制,它做了两件事, 1:将(A)左值引用强转为右值引用,2:将这个右值引用返回;此时用 B 去接受这个返回就实现了数据所有权的转换,B 获得 A 的数据,并且没有发生内存中数据的移动,而是数据所有权的转移。
预备知识:
比较好理解的是“左值”:
左值 顾名思义 赋值符号左边的值,可被赋的值,可以被寻址的值,也就是在内存中存在实体的值:
例如
int a = 0xff;
std::string str = "abc";
float *f = &ff;
a, str, f
都属于左值;
而剩余的值都可以被理解为右值,不可被赋值,一般也没有内存实体,多存于寄存器,如:
a+b, 0xff, "abc"
这种可以被理解为右值;
在学习引用的第一课就被告知引用的功能:起别名;
左值引用:type &引用名 = 左值表达式;就是对左值的引用 就是给左值取别名
右值引用:type &&引用名 = 右值表达式;就是对右值的引用 就是给右值取别名
move 函数原型:
template<typename _Tp>
constexpr typename std::remove_reference<_Tp>::type&&
move(_Tp&& __t) noexcept
{ return static_cast<typename std::remove_reference<_Tp>::type&&>(__t); }
这里move接受一个泛型参数的左值/左值引用(引用折叠),转为左值引用,并返回它的右值引用;
实例说明:
#include<iostream>
#include <string>
#include <unistd.h>
using namespace std;
class MyClass
{
public:
MyClass(int value):m_ptr(new int(value))
{
cout<<"有参构造"<<endl;
}
MyClass(const MyClass& other):m_ptr(new int(*other.m_ptr))
{
cout<<"拷贝构造"<<endl;//拷贝构造,深拷贝
}
MyClass(MyClass&& other):m_ptr(other.m_ptr)
{
other.m_ptr = nullptr;
cout<<"移动构造"<<endl;//移动构造,浅拷贝
//这里可以用于实现移动构造
}
int* m_ptr;
};
int main()
{
MyClass myclass(5);//*myclass.m_ptr = 5
MyClass myclassCopy1(myclass);//*myclass.m_ptr = 5且 myclassCopy1.m_ptr = 5
MyClass myclassCopy2(move(myclass));//*myclassCopy2.m_ptr = 5但*myclass.m_ptr = null
// 这里实现了一个移动构造,当MyClass 数据量庞大时,使用移动构造做浅拷贝是一种提升效率的方法;
string a = "abc";
string&& b = move(a);//不建议直接使用move,这样可能导致a没有清空
cout<< "a = " << a <<endl;
cout<< "b = " << b <<endl;
string c = "efg";
string d (move(c));//move建议当作参数使用,这样c的所有权会被交给d,c被清空
cout<< "c = " << c <<endl;
cout<< "d = " << d <<endl;
int e = 0xff;
auto f = move(e);
cout<< "e = " << e <<endl;
cout<< "f = " << f <<endl;
system("pause");
return 0;
}
结果如上move函数一般用作参数,例如vec.push_back(move(T&& val))
总结:
move函数一般做函数参数,用于将左值引用改为右值引用,其过程不发生内存的数据转移,实质上是更改数据的归属权。