针对动态内存管理的问题:申请的动态内存中的对象该什么时候释放的复杂问题,比如有时忘了释放内存而产生的内存泄露,有时在尚有指针引用内存的情况下就释放了它而产生引用非法内存的指针。C++11中新增加了智能指针类型来管理动态对象。它能自动释放所指向的对象。其实,指针也是模板类,它的构造函数接管动态对象,析构函数释放动态对象。
C++11中的智能指针有shared_ptr、unique_ptr(auto_ptr的升级)、weak_ptr。
shared_ptr允许多个指针指向同一个对象,采用的是引用计数的方式,当一个shared_ptr类型的指针指向该对象时,引用计数加一,当不再指向该对象时,引用计数减一。用引用计数为0时,则释放该对象。这里要区分赋值操作和拷贝操作: shared_ptr<T> p(q); 会递增q中的引用计数; p = q; 会递减p的引用计数,递增q的引用计数。
可以用make_shared<T>(arg)函数来在动态内存中分配一个对象并初始化它,返回一个次对象的shared_ptr。
shared_ptr<int> pi = make_shared<int>(42);
或者直接用new动态分配和初始化对象:
shared_ptr<int> pi(new int(5));
但是不能采用赋值的方式:
shared_ptr<int> pi = new int(5); //error
unique_ptr在某一时刻只能有一个该类型的指针指向动态对象。因此不能拷贝和赋值unique_ptr。要采用new直接初始话的形式:
unique_ptr<int> ui(new int(5));
weak_ptr是一种不控制所指对象生存周期的智能指针,它指向由一个shared_ptr管理的对象。将一个weak_ptr绑定到一个shared_ptr不会改变shared_ptr的引用计数。一旦最后一个指向对象的shared_ptr被销毁,对象就会被释放,及时即使有weak_ptr指向对象,也还是会被销毁的。
shared_ptr<int> p = make_shared<int>(5);
weak_ptr<int> wp(p);
为了检查对象是否存在,必须调用lock函数,如果存在返回一个指向共享对象的shared_ptr,不存在返回空的shared_ptr:
if(shared_ptr<int> np = wp.lock()) { cout<<*np<<endl; }
智能指针和动态数组
对于动态数组可以用 new int[n] 和 delete[] 操作。shared_ptr默认的操作单个对象,如果要管理动态数组,要自己编写删除器:
shared_ptr<int> sp(new int[10], [](int *p) {delete[] p;}); sp.reset();
unique_ptr可以直接操作动态数组:
unique_ptr<int []> up(new int[10]);