大部分参考博文:https://www.cnblogs.com/WindSun/p/11444429.html
智能指针是一个模板类,用来管理程序中的指针。
程序中的对象都有严格的生命周期,全局对象在程序启动时分配,结束时销毁,局部对象在进入定义其所在程序块时倍创建,离开时销毁。而动态分配的对象需要程序员手动释放才会被销毁。
有时候忘记释放了就会造成内存泄漏。而智能指针是一个类,超出类的作用域时类会自动调用析构函数,析构函数会自动释放资源。
1.auto_ptr(已经弃用)
auto_ptr<string> p1 (new string ("I reigned lonely as a cloud."));
auto_ptr<string> p2;
p2 = p1; //auto_ptr不会报错.
在拷贝构造或赋值时都会发生拥有权转移的过程。
因为一块动态内存智能由一个智能指针独享,p2剥夺了p1原来的内存管理权,当程序运行时访问p1将会报错。所以auto_ptr的缺点是:存在潜在的内存崩溃问题!
2.unique_ptr(独占)
替换auto_ptr,unique_ptr实现独占式拥有或严格拥有概念,保证同一时间内只有一个智能指针可以指向该对象。
unique_ptr<string> p3 (new string ("auto")); //#4
unique_ptr<string> p4; //#5
p4 = p3;//此时会报错!!
编译器认为p4=p3非法,避免了p3不再指向有效数据的问题。尝试复制p3时会编译期出错,而auto_ptr能通过编译期从而在运行期埋下出错的隐患。因此,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,因为它调用 unique_ptr 的构造函数,该构造函数创建的临时对象在其所有权让给 pu3 后就会被销毁。这种随情况而已的行为表明,unique_ptr 优于允许两种赋值的auto_ptr 。
注:如果确实想执行类似与#1的操作,要安全的重用这种指针,可给它赋新值。C++有一个标准库函数std::move(),让你能够将一个unique_ptr赋给另一个。尽管转移所有权后 还是有可能出现原有指针调用(调用就崩溃)的情况。但是这个语法能强调你是在转移所有权,让你清晰的知道自己在做什么,从而不乱调用原有指针。
(额外:boost库的boost::scoped_ptr也是一个独占性智能指针,但是它不允许转移所有权,从始而终都只对一个资源负责,它更安全谨慎,但是应用的范围也更狭窄。)
例如:
unique_ptr<string> ps1, ps2;
ps1 = demo("hello");
ps2 = move(ps1);
ps1 = demo("alexia");
cout << *ps2 << *ps1 << endl;
3.shared_ptr智能指针
shared_ptr<string> p1; //指向string类型
if( p1 && p1->empty())
*p1="hi"; //解引用智能指针返回它指向的智能对象
对shared_ptr进行初始化时不能将一个普通指针直接赋值给智能指针,因为一个是指针,一个是类。可以通过make_shared函数或者通过构造函数传入普通指针。并可以通过get函数获得普通指针。
每个shared_ptr有一个关联的计数器,通常称为引用计数。
当拷贝一个shared_ptr时计数器会递增。例如,用一个ptr去初始化另一个,或者将它作为参数传递给一个函数以及作为函数的返回值。
当给ptr赋予一个新的值或者是shared_ptr被销毁,例如一个局部ptr离开其作用域时,计数器递减。
计数器为0时,它就会自动释放自己所管理的对象,并释放它占用的内存。
实现共享式概念,多个智能指针可以指向同一个对象。
shared_ptr 是为了解决 auto_ptr 在对象所有权上的局限性(auto_ptr 是独占的), 在使用引用计数的机制上提供了可以共享所有权的智能指针。
成员函数:
use_count 返回引用计数的个数
unique 返回是否是独占所有权( use_count 为 1)
swap 交换两个 shared_ptr 对象(即交换所拥有的对象)
reset 放弃内部对象的所有权或拥有对象的变更, 会引起原有对象的引用计数的减少
get 返回内部对象(指针), 由于已经重载了()方法, 因此和直接使用对象是一样的.如
shared_ptr<int> sp(new int(1));
sp 与 sp.get()是等价的。
share_ptr的简单例子:
int main()
{
string *s1 = new string("s1");
shared_ptr<string> ps1(s1);
shared_ptr<string> ps2;
ps2 = ps1;
cout << ps1.use_count()<<endl; //2
cout<<ps2.use_count()<<endl; //2
cout << ps1.unique()<<endl; //0
string *s3 = new string("s3");
shared_ptr<string> ps3(s3);
cout << (ps1.get()) << endl; //033AEB48
cout << ps3.get() << endl; //033B2C50
swap(ps1, ps3); //交换所拥有的对象
cout << (ps1.get())<<endl; //033B2C50
cout << ps3.get() << endl; //033AEB48
cout << ps1.use_count()<<endl; //1
cout << ps2.use_count() << endl; //2
ps2 = ps1;
cout << ps1.use_count()<<endl; //2
cout << ps2.use_count() << endl; //2
ps1.reset(); //放弃ps1的拥有权,引用计数的减少
cout << ps1.use_count()<<endl; //0
cout << ps2.use_count()<<endl; //1
}
4.weak_ptr
用来解决shared_ptr相互引用时的死锁问题。
它指向一个 shared_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());
cout << pb.use_count() << endl; //1
cout << pa.use_count() << endl; //1
pb->pa_ = pa;
pa->pb_ = pb;
cout << pb.use_count() << endl; //2
cout << pa.use_count() << endl; //2
}
int main()
{
fun();
return 0;
}
可以看到fun函数中pa ,pb之间互相引用,两个资源的引用计数为2,当要跳出函数时,智能指针pa,pb析构时两个资源引用计数会减1,但是两者引用计数还是为1,导致跳出函数时资源没有被释放(A、B的析构函数没有被调用)运行结果没有输出析构函数的内容,造成内存泄露。如果把其中一个改为weak_ptr就可以了,我们把类A里面的shared_ptr pb_,改为weak_ptr pb_ ,运行结果如下:
1
1
1
2
B delete
A delete
这样的话,资源B的引用开始就只有1,当pb析构时,B的计数变为0,B得到释放,B释放的同时也会使A的计数减1,同时pa析构时使A的计数减1,那么A的计数为0,A得到释放。
注意:我们不能通过weak_ptr直接访问对象的方法,比如B对象中有一个方法print(),我们不能这样访问,pa->pb_->print(),因为pb_是一个weak_ptr,应该先把它转化为shared_ptr,如:
shared_ptr<B> p = pa->pb_.lock();
p->print();
weak_ptr 没有重载*和->但可以使用 lock 获得一个可用的 shared_ptr 对象. 注意, weak_ptr 在使用前需要检查合法性.
expired 用于检测所管理的对象是否已经释放, 如果已经释放, 返回 true; 否则返回 false.
lock 用于获取所管理的对象的强引用(shared_ptr). 如果 expired 为 true, 返回一个空的 shared_ptr; 否则返回一个 shared_ptr, 其内部对象指向与 weak_ptr 相同.
use_count 返回与 shared_ptr 共享的对象的引用计数.
reset 将 weak_ptr 置空.
weak_ptr 支持拷贝或赋值, 但不会影响对应的 shared_ptr 内部对象的计数.
智能指针share_ptr的实现:
理解引用计数(赋值,拷贝构造时引用计数的变化;底层指针引用计数为0时才能真正释放底层指针的内存)
template<typenname T>
class SmartPtr{
private:
T *ptr; //底层真实的指针
int *use_count; //引用计数
public:
SmartPtr(T *p);
SmartPtr(const SmartPtr<T>& orig); //复制构造函数,引用计数递增
SmartPtr<T>& operator=(const SmartPtr<T> &rhs);//重载=,p=q中,首先给q指向的对象的引用计数加一,因为p重新指向了q原来所指的对象,p还需要给原来的对象的引用计数减一,如果减一后为0,则先释放掉p原来指向的内存,然后将q指向对象的引用计数加一赋值给p
~SmartPtr();//析构函数中检测当前对象的引用计数是不是只有当前正在结束生命周期的这个智能指针的引用,如果是就释放掉,如果还有别的智能指针引用该对象,就等待其它智能指针在其生命周期结束时释放掉
T operator*();//为了把智能指针当成普通指针定义解引用
T* operator->();//定义取成员操作
T* operator+(int i);//指针加一个常数
int operator--(SmartPtr<T>& t1, SmartPtr<T>& t2);//两个指针相减
void getcount(){
return *use_count;
}
}
//各个函数实现