std:move() 作用 和 移动语义后 右值行为，unique_ptr的"移动"操作问题

unique_ptr 不能进行赋值操作，但是可以有返回unique_ptr的函数，由此产生的问题：

 

结论1：std:move() 只是将一个实参强行转换为右值引用。

我们知道对象初始化时有 构造函数，拷贝构造函数，移动构造函数；其中移动构造函数能够防止拷贝过程，减小性能开销；

1.拷贝构造函数通常使用赋值运算可以触发，如T a=b；

2.而移动构造函数需要使用右值引用来赋值，因此通常需要搭配std:move()使用
　　T a=std:move(b）;或者T a = func(); 其中func() 一个返回T类型的函数；

举个例子：

#include <iostream>
#include <memory>
using namespace std;

class A {
public:
    A() {
        cout << "构造函数" << endl;
    }
    A(const A& a) {
        cout << "拷贝构造" << endl;
    }
    A(A&& a) {
        cout << "移动构造" << endl;
    }
    virtual ~A() {}
};

A func(A a){
    cout<<"func body"<<endl;
    return a;  
}

int main() {
    A a;
    cout<<endl;
    A b=a;
    cout<<endl;
    A c=move(a);
    cout<<endl;   
    A d=func(a); 
    return 0;
}

 

运行结果：

构造函数

拷贝构造

移动构造

拷贝构造
func body
移动构造

 

结论2：那么在移动语义后右值将会如何呢，答案是调用析构函数销毁。

　　如 T a =std:move(b); 语句后 b将被销毁。

举个例子：

#include <iostream>
#include <memory>
using namespace std;
int main() {
    unique_ptr<int> ptr1(new int(10));
    unique_ptr<int> ptr2=move(ptr1);
    if(ptr1==nullptr) 
        cout<<"ptr1==null "<<endl;
    //cout<<*ptr1<<endl;        //引发段错误,已析构
    cout <<&ptr1 << endl << &ptr2 << endl;
    return 0;
}

运行结果：

ptr1==null 
0x7fffd55dc548
0x7fffd55dc550