unique_ptr使用说明

背景

指针问题一直是一个比较麻烦的事情，比如很多人说要用智能指针完全替换掉裸指针，有人说要用unique_ptr, 有人建议shared_ptr,可是实际看各种经典框架，发现一个框架什么指针都有，使用的方法也是无法八门，这里简单说一下unique_ptr的使用场景和注意事项。

unique_ptr

unique_ptr核心目的是：1.所有权唯一。2.避免所有人忘记delete。 但凡符合这两个要求就可以建议使用unique_ptr。

int main()
{
	unique_ptr<Foo> ptr = make_unique<Foo>(); //所有权是main函数，为了防止main函数忘记delete
}

unique_ptr注意事项

1. unique_ptr的构造问题
   由于unique_ptr强调所有权唯一，所以不支持如下写法：

Foo ori_ptr = new Foo();
unique_ptr<Foo> ptr = ori_ptr; // 这样会导致资源所有权不唯一
unique_ptr<Foo> ptr{new Foo()}; // 这样可以，因为是右值指针，不存在资源所有权多份的风险
unique_ptr<Foo> ptr = make_unique<Foo>(); //推荐这样写

3. unique_ptr的传参问题

• unique_ptr传值：传值的话由于没有拷贝构造，但是支持移动拷贝构造（换句话就是需要move出原始的所有权）

void test(unique_ptr<Foo> parm)
{
	parm.fun();
}// parm会析构掉

unique_ptr<Foo> ptr = make_unique<Foo>();
test(std::move(ptr));//写法1
test(unique_ptr<Foo> (ptr.release()) );//写法2， 这样ptr会把所有权交给test函数，ptr会作废，后面ptr也不会再参与析构资源了，资源的析构会发生再test函数的结尾。

• unique_ptr返回值：当返回值是unique_ptr的时候，需要保证要返回的智能指针是一个将亡值，换句话说是函数结束时要消失的对象，这样就可以把资源所有权交出去。

// 错误，因为parm不是一个将亡值，因为传引用的对象，函数不具有所有权，不会析构parm, 那么就不能作为返回值
unique_ptr<Foo> test_re(unique_ptr<Foo>& parm)
{
        parm->fun();
        return parm;
}
//正确，因为parm是一个再函数结束时候，马上要消亡的值
unique_ptr<Foo> test_re(unique_ptr<Foo> parm)
{
        parm->fun();
        return parm;
}
//正确，因为parm是一个马上要消亡的值
unique_ptr<Foo> test_re()
{
        unique_ptr<Foo> res = make_unique<Foo>(); 
        return res;
}

• unique_ptr传引用
  和普通对象一样，在函数里面不会被析构，所有权依然在函数外面，但是如果函数里面被释放掉了，那么函数外的指针也将失去资源的所有权。

reset函数

reset函数，我理解就是重新设置智能指针的资源，当调用的这个函数时候，指针会首先调用原始资源的析构函数，也就是放弃原始资源的所有权，并且释放资源，然后才会接纳新的资源。

unique_ptr<Foo> test_in()
{
        unique_ptr<Foo> res = make_unique<Foo>(); 
        return res;
}

void test_fu(unique_ptr<Foo>& parm)
{
        cout<<"fun in"<<parm->a<<endl;
        parm.reset(nullptr);
}// parm会析构掉

int main()
{
        unique_ptr<Foo> new_owner = test_in();
        test_fu(new_owner);
        new_owner->fun();
        cout<<new_owner->a<<endl;
        return 0;
}

从执行结果上可以看出new_owner的控制的资源没有了，被替换成nullptr了