_J

please call me j

导航

【c++手记】句柄类&智能指针

很多同学学习c++都会看的一本经典教材《Primer》
而在面向对象里面提及到一种概念-智能指针,而往往同学会出现以下的问题
【问题】
  智能指针是不是一种指针?
  stl里面的智能指针是什么?
【回答】
  智能指针是一种类,别名称为句柄类。而这种类型恰恰是《设计模式》中的代理模式、适配器模式(这两种模式以后会在MyBlog的相关文章介绍)。
  stl里面的智能指针同样也不是指针!是一种类型!
  (请往下看!)

以下为Baidu解释
 
【定义】
     句柄类(智能指针smart point)是存储指向动态分配(堆)对象指针的类。除了能够在适当的时间自动删除指向的对象外,他们的工作机制很像C++的内置指针。智能指针在面对异常的时候格外有用,因为他们能够确保正确的销毁动态分配的对象。他们也可以用于跟踪被多用户共享的动态分配对象。 
     在C++中一个通用的技术是定义包装(cover)类或句柄(handle)类,也称智能指针。句柄类存储和管理基类指针。指针所指向对象的类型可以变化,它既可以指向基类类型对象又可以指向派生类型对象。用户通过句柄类访问继承层次的操作(指针的对应的类型的操作)。因为句柄类使用指针执行操作,虚成员的行为将在运行时根据句柄实际绑定的对象类型而变化,即实现c++运行时动态绑定。故句柄用户可以获得动态行为但无需操心指针的管理。
 
使用的相关技术
1、引入使用计数  
  定义句柄类或智能指针的通用技术是采用一个使用计数(use count)。句柄类将一个计数器与类指向的对象相关联。使用计数跟踪该类有多少个指针共享同一对象。当使用计数为0时,就删除该类对象,否则再删除类对象时,只要引用计数不为0,就不删除实际的类对象,而是是引用计数减1,实现虚删除。
2、使用计数类
  为了便于理解,我们定义一个实际类(Point),一个引用计数器类(UPoint),一个句柄类(Handle),后面将有例子给以参考。  实现使用计数有两种经典策略:一种是定义一个单独的具体的类用以封装使用计数和指向实际类的指针;  另一种是定义一个单独的具体的类用以封装引用计数和类的对象成员。我们称这种类为计数器类(UPoint)。在计数器类中,所有成员均设置为private,避免外部访问,但是将句柄类Handle类声明为自己的友元,从而使句柄类能操纵引用计数器。
3、写时复制
  写时复制(copy on write)技术是解决如何保证要改动的那个引用计数器类UPoint对象不能同时被任何其他的句柄类(Handle类)所引用。通俗的来说,就是当实际对象Point被多个Handle类的指针共享时,如果需要通过指针改变实际对象Point,而其他的指针又需要保持原来的值时,这就有矛盾了。打个不恰当的比方来说,两个以上的人共有5W块钱,如果其中一个人想用这5W块钱去消费,那就必须通知其他人。否则在这个人消费了5块钱后,其他人还以为他们仍然有5W块钱,如果这儿时候,他们去买5W的东西,就会发现钱变少了或是没有了,此时他们就陷入债务的泥团。在C++中通过指针访问已经删除或是不存在的对象,将是非常危险的。有可能系统提示该行为未定义,也有可以内存非法访问,还有可能使系统崩溃。

【目的】
http://cmdblock.blog.51cto.com/415170/116075
 
【评论】
本人觉得句柄类这个概念有点类似于“适配器模式”“代理模式”,其目的皆是为了隐藏真正的类型。而且通过句柄类来控制,在涉及到大型、复杂对象以及一些不能复制或是不易复制的对象的复制控制问题时,显得特别有用。
 

《c++primer》P502
(待续!)

posted on 2012-08-30 20:30  _J  阅读(1374)  评论(2编辑  收藏  举报