【C++中的四个智能指针:auto_ptr, unique_ptr, shared_ptr, weak_ptr】

****四个智能指针分别为:auto_ptr, unique_ptr, shared_ptr, weak_ptr,其中auto_ptr是C++98的方案,已经被C++11弃用,原因是易出现内存泄漏的安全隐患。

为什么要使用智能指针:
智能指针的作用是管理一个指针,因为存在以下情况:申请的空间在函数结束时忘记释放,造成内存泄漏,使用智能指针能够很大程度上避免这个问题,因为智能指针就是一个类,当超出了类的作用域时,类会自动调用析构函数,析构函数会自动释放资源,所以只能指针的作用原理就是:在函数结束时自动释放内存空间,不需要手动释放内存空间。

所有权:
所有权可以理解为对内存资源的持有,所有权的计数大小实质上就是引用计数,引用计数就是有几个指针指向了对象。

  1. auto_ptr
    采用所有权模式
auto_ptr<sring>p1(new string("I reigned lonely as a cloud."));
auto_ptr<string>p2;
p2 = p1;//auto_ptr不会报错

上述代码使用auto_ptr来管理一个动态分配的string对象:创建一个新的string对象,内容为“I reigned lonely as a cloud.”,使用auto_ptr智能指针p1来管理这个对象的所有权,然后用指针p2剥夺p1的所有权,当程序运行时访问p1将会报错,所以auto_ptr存在潜在的内存崩溃问题。

  1. unique_ptr
    采用所有权模式,只能单指单,所以unique_ptr的引用计数要么是0(仅声明了指针时),要么是1(指针指向了对象时)。使用独占式拥有或严格拥有概念,保证同一时间只有一个智能指针可以指向该对象,对于避免内存泄漏特别有用(例如以new创建对象后因为发生异常忘记调用delete)。
unique_ptr<string>p3(new string("auto"));
unique_ptr<string>p4;
p4 = p3;//此时代码会报错

编译器认为p4 = p3非法,避免了p3不再指向有效数据的问题,因此unique_ptr比auto_ptr安全。

另外unique_ptr还有更聪明的地方:当程序试图把一个unique_ptr赋值给另一个时,如果源unique_ptr是个临时右值,编译器允许这么做;如果源unique_ptr将存在一段时间,编译器将禁止这么做,比如:

unique_ptr<string>pu1(new string("hello world!"));
unique_ptr<string>pu2;
pu2 = pu1;//#1 代码报错
unique_ptr<string>pu3;
pu3 = unique_ptr<string>(new string("You"));//#2 此时代码正常运行

其中#1留下悬挂的unique_ptr(pu1),可能导致危害,而#2没有留下悬挂指针,因为它调用unique_ptr的构造函数,该构造函数在将所有权让给pu3时就会被销毁。这种情况表明unique_ptr优于auto_ptr。
注意:如果想实现#1的操作,要安全地重用这种指针,可以给它赋新值。C++中有一个标准库函数std::move(),能够实现将一个unique_ptr赋给另一个,如下:

unique_ptr<string>ps1,ps2;
ps1 = demo("hello");
ps2 = move(ps1);
ps1 = demo("new thing");//避免留下悬挂的unique_ptr(ps1),对其赋新值
cout<<*ps2<<*ps1<<endl;
  1. shared_ptr
    采用所有权模式,由于shared_ptr不具有释放内存的义务,所以其引用计数可以是大于等于0的整数。shared_ptr采用共享式拥有概念。多个智能指针可以指向相同对象,该对象和其相关资源会在“最后一个引用被销毁”时释放。shared_ptr使用计数机制来表明资源被几个指针共享。可以通过成员函数use_count()来查看资源的所有者个数。除了可以通过new来构造,还可以通过传入auto_ptr、unique_ptr和weak_ptr来构造。当我们调用release()时,当前指针会释放所有权,计数减一。当计数等于0时,资源就会被释放。

shared_ptr是为了解决auto_ptr在对象所有权上的局限性(auto_ptr独占所有权),在使用引用计数的机制上提供了可以共享所有权的智能指针。

成员函数有:
use_count():返回引用计数的个数
unique :返回是否是独占所有权(use_count 为1)
swap:交换两个shared_ptr对象(即交换所拥有的对象)
rset:放弃内部对象的所有权或拥有对象的变更,会引起原有对象引用计数的减少
get:返回内部对象(指针),由于已经重载了()方法,因此和直接使用对象是一样的,如:

shared_ptr<int>sp(new int(1));
sp;//等价于sp.get();
  1. weak_ptr
    不拥有所有权,因为weak_ptr不计入引用计数。weak_ptr是一种不受控制对象生命周期的智能指针,它指向一个shared_ptr管理的对象。进行该对象的内存管理的是那个强引用的shared_ptr,weak_ptr只是提供了对管理对象的一个访问手段。weak_ptr的设计目的是为配合shared_ptr的一种智能指针,它只可以从一个shared_ptr或另一个weak_ptr对象来构造,它的构造和析构不会引起引用计数的增加或减少。weak_ptr是用来解决shared_ptr相互引用的死锁问题(死锁问题:两个shared_ptr相互引用,那么这两个指针的引用计数永远都不会下降为0,资源就永远都不会释放)。weak_ptr是对对象的一种弱引用,不会增加对象的引用计数,和shared_ptr之间可以相互转化,shared_ptr可以直接赋值给它,它可以通过调用lock函数来获得shared_ptr。
    下面就是两个shred_ptr相互引用造成死锁的示例:
class B;
class A
{
public:
    shared_ptr<B>pb_;
    ~A()
    {
    cout<<"A delete\n";
    }
};
class B
{
public:
    shared_ptr<A>pa_;
    ~B()
    {
     cout<<"B delete\n";
    }
};
void fun()
{
shared_ptr<B>pb(new B());
shared_ptr<A>pa(new A());
pb->pa_ = pa;
pa->pb_ = pb;
cout<<pb.use_count()<<endl;
cout<<pa.use_count()<<endl;
}
int main()
{
fun();
return 0;
}

解释:可以看到fun函数中pa,pb之间相互引用,两个资源的引用计数为2,当要跳出函数时,智能指针pa,pb析构时两个引用计数会减一,但是两者引用计数还是1,导致要跳出函数时资源没有释放(A,B的析构函数没有被调用)如果把其中一个改为weak_ptr就可以了,我们在类A中的shared_ptr pb_改为weak_ptr pb_;运行结果如下,这样的话,资源B的引用开始就只有1,当pb析构时,B的计数就会变为0,B得到释放,B释放的同时也会是A的计数减一,同时pa析构时使A的计数减一,那么A的计数为0,A得到释放。
注意:不能通过weak_ptr直接访问对象的方法,比如B对象中有一个方法print(),我们不能这样访问:pa->pb_->print();pb_是一个weak_ptr,应该先把它转换成shared_ptr,如:shared_ptr p = pa->pb_.lock()->print();

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值