背景
指针问题一直是一个比较麻烦的事情,比如很多人说要用智能指针完全替换掉裸指针,有人说要用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注意事项
- 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>(); //推荐这样写
- 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了