作为C++程序员,在没有智能指针,手动管理内存的蛮荒岁月里,可以说是暗无天日,痛苦异常。直到上帝说,还是要有光,于是智能指针进了标准。C++码农的日子总算好起来了。
虽然一直鄙视着没有显式指针的语言,但是对其自动垃圾回收机制还是翘首以盼的,TR1的智能指针总算可以拿来慰藉下了。
要使用VS2008 SP1的智能指针,我们需要加入头文件 memory.h
(linux 下是 tr1memory.h
),
智能指针主要是 auto_ptr, shared_ptr, weak_ptr, unique_ptr ;其中模板auto_ptr是C++98提供的解决方案,C+11已将其摒弃。然而,虽然auto_ptr被摒弃,但它已使用了好多年.因为auto_ptr潜在的内存奔溃问题,所以不推荐使用它,本文也不准备讨论该指针.另外unique_ptr在Tr1中还未引入.
Show me The Code
namespace tr1SharedPoint
{
class Ap
{
public:
Ap(){
std::cout << "Ap Construct"<<std::endl;
};
~Ap(){
std::cout << "Ap Destruct"<<std::endl;
};
void pointerOutput(){
std::cout << "Use smart pointer to use me "<<std::endl;
}
};
typedef std::tr1::shared_ptr<Ap> spAp;
}
测试代码
tr1SharedPoint::Ap *ap = new tr1SharedPoint::Ap;
ap->pointerOutput();
执行结果:
Ap Construct
Use smart pointer to use me
可见,这里没有调用析构函数,内存泄漏就此发生了,需要在测试代码中 加入 delete ap
补救之,也就是我们以前经常做的事情。
- shared_ptr基本使用
修改测试代码:
tr1SharedPoint::spAp ap(new tr1SharedPoint::Ap);
ap->pointerOutput();
执行结果:
Ap Construct
Use smart pointer to use me
Ap Destruct
如此,一个指针的完美闭环就此产生了。我们不需要再手动添加delete语句,等到share_prt的作用域消失时,将自动调用Ap类的析构函数。很多局部锁的类也是如此构造的;
- weak_ptr基本使用
上面的代码 无法使用weak_ptr直接替换shared_ptr,因为weak_ptr是一种不控制指向对象生存期的智能指针,它指向一个shared_ptr管理的对象.调用lock()将返回一个shared_ptr对象,通过判断该值可以知道weak_ptr指向的内存是否已经被释放.
typedef std::tr1::weak_ptr<Ap> wpAp;
tr1SharedPoint::wpAp wp = ap;//一个weak_ptr可以直接由一个shared_ptr赋值
测试代码如下:
tr1SharedPoint::wpAp wp;
{
tr1SharedPoint::spAp ap(new tr1SharedPoint::Ap);
wp = ap;
if(wp.lock()){
std::cout << "ap not Destruct" <<std::endl;
std::cout <<"refence Num " <<wp.use_count() <<std::endl;
}
ap->pointerOutput();
}
if(!wp.lock()){
std::cout << "ap IS Destruct" <<std::endl;
std::cout <<"refence Num " <<wp.use_count() <<std::endl;
}
运行结果
Ap Construct
ap not Destruct
refence Num 1
Use smart pointer to use me
Ap Destruct
ap IS Destruct
refence Num 0
以上可知,weak_ptr能通过lock()判断其管理的shared_ptr是否释放,通过use_count()知道shared_ptr被引用的次数
可是 只了解这么一点知识就可以了么?
答案是,可能是的。如果你只是个总忘记调用delete的C++程序员。有兴趣的可以继续阅读.
知道更多
按上面的智能指针的用法,我们使用了new运算符,却没有显式的delete,造成了代码的不对称感,为了消除这种不对称,而又使用智能指针,我们最合适的方案是使用make_shared
函数来声明内存的分配,可惜的是,TR1中并没有包含这个函数,限于本文的标准范围,我们只能通过boost等三方库来支持,可是如果使用了boost的内存语法,又没有必要使用TR1了.一个可能的方案就是把new给封装起来,眼不见为静.后期介绍C++11后,我们再来研究现在C++是如何完整的处理动态内存问题的.其实,这个问题在C++ Primer
中有很详细的介绍.
坚持只使用智能指针,就可以避免 1.忘记delete内存 2.使用已经释放掉的对象 3.同一块内存释放两次 这3类问题,对于一块内存,只有在没有任何智能指针指向它的情况下,智能指针才会自动释放它.
- 在可能循环引用的类中,使用weak_ptr
weak_ptr更常用的用法是解决shared_ptr相互引用时的死锁问题,如果说两个shared_ptr相互引用,那么这两个指针的引用计数永远不可能下降为0,资源永远不会释放。
class A;
class B;
typedef std::tr1::shared_ptr<A> APtr;
typedef std::tr1::shared_ptr<B> BPtr;
typedef std::tr1::weak_ptr<A> AWeakPtr;
typedef std::tr1::weak_ptr<B> BWeakPtr;
class A {
public:
BWeakPtr b; // 注意这里
~A () {
printf ("A released
");
}
};
class B {
public:
AWeakPtr a; // 注意这里
~B () {
printf ("B released
");
}
void output () {
printf ("I'm B
");
}
};
int main () {
APtr a(new A());
BPtr b(new B());
a->b = b;
b->a = a;
BPtr b2(a->b.lock());
b2->output();
return 0;
}
运行结果
I'm B
B released
A released
可见,这里的A和B都能被正确释放了;
- 使用
std::tr1::enable_shared_from_this
作为基类。比如:
class A : public std::tr1::enable_shared_from_this<A>
{
public:
std::tr1::shared_ptr<A> getSharedPtr() {
return shared_from_this();
}
};
当使用了 shared_ptr 的时候,我们可能需要在所有的地方都使用它,否则就不容易达到管理生存期的目的了。但有的时候,我们手头上只有对象的原始指针,比如在对象的函数内部,我们只有 this。这就迫切的需要一个功能:如何从对象的裸指针中,生成我们需要的 shared_ptr。
有人可能会觉得这个简单,shared_ptrstd::tr1::enable_shared_from_this
作为基类将类的this指针的引用导出来.