c++里面支持四种智能指针: auto_ptr, shared_ptr, weak_ptr, unique_ptr。 其中后三个是c++11支持,并且第一个已经被c++11弃用。为什么要用智能指针呢?因为c++的内存管理是需要手动管理的,当new一个对象的时候,一般就会立即把delete语句直接也写了,但是我们不能避免程序还未执行到delete时就跳转了或者在函数中没有执行到最后的delete语句就返回了,如果我们不在每一个可能跳转或者返回的语句前释放资源,就会造成内存泄露。使用智能指针可以很大程度上的避免这个问题,因为智能指针就是一个类,当超出了类的作用域是,类会自动调用析构函数,析构函数会自动释放资源。
1. 首先是auto_ptr:
#include<iostream>
#include<memory>//auto_ptr的头文件
using namespace std;
class Test
{
public:
Test(string s)
{
str = s;
cout<<"Test creat\n";
}
~Test()
{
cout<<"Test delete:"<<str<<endl;
}
string& getStr()
{
return str;
}
void setStr(string s)
{
str = s;
}
void print()
{
cout<<str<<endl;
}
private:
string str;
};
int main()
{
auto_ptr<Test> ptest(new Test("123"));//调用构造函数输出Test creat
ptest->setStr("hello ");//修改成员变量的值
ptest->print();//输出hello
ptest.get()->print();//输出hello
ptest->getStr() += "world !";
(*ptest).print();//输出hello world
ptest.reset(new Test("123"));//成员函数reset()重新绑定指向的对象,而原来的对象则会被释放,所以这里会调用一次构造函数,还有调用一次析构函数释放掉之前的对象
ptest->print();//输出123
return 0;//此时还剩下一个对象,调用一次析构函数释放该对象
}
它的输出是:
智能指针可以像类的原始指针一样访问类的public成员,成员函数get()返回一个原始的指针,成员函数reset()重新绑定指向的对象,而原来的对象则会被释放。注意我们访问auto_ptr的成员函数时用的是“.”,访问指向对象的成员时用的是“->”。我们也可用声明一个空智能指针auto_ptr<Test>ptest();
当我们对智能指针进行赋值时,如ptest2 = ptest,ptest2会接管ptest原来的内存管理权,ptest会变为空指针,如果ptest2原来不为空,则它会释放原来的资源,基于这个原因,应该避免把auto_ptr放到容器中,因为算法对容器操作时,很难避免STL内部对容器实现了赋值传递操作,这样会使容器中很多元素被置为NULL。判断一个智能指针是否为空不能使用if(ptest == NULL),应该使用if(ptest.get() == NULL)。
2. unique_ptr:
unique_ptr 是一个独享所有权的智能指针,它提供了严格意义上的所有权,包括:
1、拥有它指向的对象
2、无法进行复制构造,无法进行复制赋值操作。即无法使两个unique_ptr指向同一个对象。但是可以进行移动构造和移动赋值操作
3、保存指向某个对象的指针,当它本身被删除释放的时候,会使用给定的删除器释放它指向的对象
unique_ptr 可以实现如下功能:
1、为动态申请的内存提供异常安全
2、讲动态申请的内存所有权传递给某函数
3、从某个函数返回动态申请内存的所有权
4、在容器中保存指针
5、auto_ptr 应该具有的功能
#include<iostream>
#include<memory>
using namespace std;
class Test
{
public:
Test(string s)
{
str = s;
cout<<"Test creat\n";
}
~Test()
{
cout<<"Test delete:"<<str<<endl;
}
string& getStr()
{
return str;
}
void setStr(string s)
{
str = s;
}
void print()
{
cout<<str<<endl;
}
private:
string str;
};
unique_ptr<Test> fun()
{
return unique_ptr<Test>(new Test("789"));//调用了构造函数,输出Test creat
}
int main()
{
unique_ptr<Test> ptest(new Test("123"));//调用构造函数,输出Test creat
unique_ptr<Test> ptest2(new Test("456"));//调用构造函数,输出Test creat
ptest->print();//输出123
ptest2 = std::move(ptest);//不能直接ptest2 = ptest,调用了move后ptest2原本的对象会被释放,ptest2对象指向原本ptest对象的内存,输出Test delete 456
if(ptest == NULL)cout<<"ptest = NULL\n";//因为两个unique_ptr不能指向同一内存地址,所以经过前面move后ptest会被赋值NULL,输出ptest=NULL
Test* p = ptest2.release();//release成员函数把ptest2指针赋为空,但是并没有释放指针指向的内存,所以此时p指针指向原本ptest2指向的内存
p->print();//输出123
ptest.reset(p);//重新绑定对象,原来的对象会被释放掉,但是ptest对象本来就释放过了,所以这里就不会再调用析构函数了
ptest->print();//输出123
ptest2 = fun(); //这里可以用=,因为使用了移动构造函数,函数返回一个unique_ptr会自动调用移动构造函数
ptest2->print();//输出789
return 0;//此时程序中还有两个对象,调用两次析构函数释放对象
}
总结来看,unique_ptr 和 auto_ptr用法很相似,不过不能使用两个智能指针赋值操作,应该使用std::move; 而且它可以直接用if(ptest == NULL)来判断是否空指针;release、get、reset等用法也和auto_ptr一致,使用函数的返回值赋值时,可以直接使用=, 这里使用c++11 的移动语义特性。另外注意的是当把它当做参数传递给函数时(使用值传递,应用传递时不用这样),传实参时也要使用std::move,比如foo(std::move(ptest))。
3. share_ptr:
顾名思义,share_ptr就可以看出了资源可以被多个指针共享,它使用计数机制来表明资源被几个指针共享。和unique_ptr不同的是,它可以直接用=进行智能指针间的赋值,而不是move(ptr)这种形式。它可以通过成员函数use_count()来查看资源的所有者个数。出了可以通过new来构造,还可以通过传入auto_ptr, unique_ptr,weak_ptr来构造。当我们调用release()时,当前指针会释放资源所有权,计数减一。当计数等于0时,资源会被释放。
#include<iostream>
#include<memory>
using namespace std;
class Test
{
public:
Test(string s)
{
str = s;
cout<<"Test creat\n";
}
~Test()
{
cout<<"Test delete:"<<str<<endl;
}
string& getStr()
{
return str;
}
void setStr(string s)
{
str = s;
}
void print()
{
cout<<str<<endl;
}
private:
string str;
};
unique_ptr<Test> fun()
{
return unique_ptr<Test>(new Test("789"));
}
int main()
{
shared_ptr<Test> ptest(new Test("123"));//调用构造函数输出Test create
shared_ptr<Test> ptest2(new Test("456"));//调用构造函数输出 Test creat
cout<<ptest2->getStr()<<endl;//输出456
cout<<ptest2.use_count()<<endl;//显示此时资源被几个指针共享,输出1
ptest = ptest2;//"456"引用次数加1,“123”销毁,输出Test delete:123
ptest->print();//输出456
cout<<ptest2.use_count()<<endl;//该指针指向的资源被几个指针共享,输出2
cout<<ptest.use_count()<<endl;//2
ptest.reset();//重新绑定对象,绑定一个空对象,当时此时指针指向的对象还有其他指针能指向就不会释放该对象的内存空间,
ptest2.reset();//此时“456”销毁,此时指针指向的内存空间上的指针为0,就释放了该内存,输出Test delete
cout<<"done !\n";
return 0;
}
4. weak_ptr:
weak_ptr是用来解决shared_ptr相互引用时的死锁问题,如果说两个shared_ptr相互引用,那么这两个指针的引用计数永远不可能下降为0,资源永远不会释放。它是对对象的一种弱引用,不会增加对象的引用计数,和shared_ptr之间可以相互转化,shared_ptr可以直接赋值给它,它可以通过调用lock函数来获得shared_ptr.
#include<iostream>
#include<memory>
using namespace std;
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;
}
如果用share_ptr的话结果如下:
可以看到fun函数中pa ,pb之间互相引用,两个资源的引用计数为2,当要跳出函数时,智能指针pa,pb析构时两个资源引用计数会减一,但是两者引用计数还是为1,导致跳出函数时资源没有被释放(A B的析构函数没有被调用),如果把其中一个改为weak_ptr就可以了,我们把类A里面的shared_ptr<B> pb_; 改为weak_ptr<B> pb_; 运行结果如下,这样的话,资源B的引用开始就只有1,当pb析构时,B的计数变为0,B得到释放,B释放的同时也会使A的计数减一,同时pa析构时使A的计数减一,那么A的计数为0,A得到释放。