智能指针的设计理念
Java和C/C++的一个重大区别,就是它没有“指针”的概念。这并不代表Java不需要使用指针,而是这个“超级武器”被隐藏了起来。“水能载舟,亦能覆舟”,如果读者曾使用C/C++开发过一些大型项目,就会知道开发人员最头疼的事情莫过于概率性极低(Once)的死机问题——而造成系统宕机的根源,往往就是指针异常。所以Java以其他更“安全”的形式向开发人员提供了隐性的“指针”,使得用户既能享受到指针的强大功能,又能尽量避免指针带来的灾难。
C/C++项目中常见的指针问题可以归纳为:
指针没有初始化;
new出来的内存,没有delete;
野指针,如:访问一个已经被delete过的内存空间(sizeof访问一个无效地址,程序不会被down);
以下我们称内存对象为object,称智能指针为SmartPointer。
要让智能指针自动判断是否需要回收一块内存空间,SmartPointer应是个类,且要能记录object的内存地址。也就是说,它的内部应该有一个指针变量指向object。并且智能指针并不是针对某种特定类型的对象设计的,因而一定是模板类。
template <typename T>
class SmartPointer
{
inline SmartPointer() : m_ptr(0) { }
private:
T* m_ptr;//将指向object
}
智能指针应该在什么时候释放一个内存对象,这是关键的问题点。答案就是“当不需要的时候”释放。假设有一个指针指向这个object,那就必然代表后者是“被需要”的;直到这个指针解除了与内存对象的关系,我们就可以认为这个内存对象已经“不被需要”。
如果有两个以上的指针同时使用内存对象呢?也好办,只要有一个计数器记录着该内存对象“被需要”的个数即可。当这个计数器递减到零时,就说明该内存对象应该“寿终正寝”了。这就是在很多领域都获得了广泛应用的“引用计数”的概念。
不过又有一个问题点接踵而至,那就是由谁来管理这个计数器。如果由智能指针来管理,那么当多个指针同时指向同一个对象,则会出现引用计数的同步问题。因此,引用计数应由object本身来持有。即当引用计数为0时,释放内存就是对象自己的“内政”。从而可以为有计数器需求的内存对象实现一个统一的“父类”,这样只要object继承于它就具备了计数的功能。比如下面的范例:
![](https://i-blog.csdnimg.cn/blog_migrate/324ebcb6b3e080436e4ccf6e8566ed82.png)
源码位于: platform/frameworks/rs/cpp/util/RefBase.h
内置函数详见:https://gcc.gnu.org/onlinedocs/gcc/_005f_005fsync-Builtins.html
2. 强指针StrongPointer
![](https://i-blog.csdnimg.cn/blog_migrate/5ebbee0230763fdf9d0c4dd0b2c8fcee.png)
原码位于: platform/frameworks/rs/cpp/util/StrongPointer.h
3. 弱指针wp
源码位于: platform/frameworks/rs/cpp/util/RefBase.h
platform/system/core/libutils/RefBase.cpp
弱指针的出现,主要解决是类似Unix C中的死锁问题,即对象之前存在相互引用的问题。
![](https://i-blog.csdnimg.cn/blog_migrate/d70c1f6e26fb1e9039b7c1bd56be50f2.png)
对象之间存在相互引用问题
弱指针的主要使命就是:解决循环引用的问题。
为了解决上述问题,Daddy使用强指针来引用Child,而Child只使用弱引用来指向父类。双方规定当强引用计数为0时,不论弱引用是否为0都可以delete自己(在Android系统中这个规则是可以调整的)。这样只要有一方得到了释放,就可以成功避免死锁。
但这也会存在问题:比如Daddy因为强指针计数已经到0,根据规则生命周期就结束了;但此时Child还持有其父类的弱引用,显然如果Child此时用这个指针来访问Daddy将引发致命的问题。
鉴于此,我们还要特别规定:弱指针必须先升级为强指针,才能访问它所指向的目标对象。
![](https://i-blog.csdnimg.cn/blog_migrate/1889f1515ac9c6875b0730bb3495e279.png)
使用弱指针解决循环引用问题
![](https://i-blog.csdnimg.cn/blog_migrate/e81f76d78d08de08ea71816114b8b2bf.png)
弱指针提升变强指针流程图
从上图可以看出,将弱指针提升为强指针,会导致强引用计数+1,弱引用计数+1。incStrong()增加强引用的,也会增加弱引用。incWeak()只增加弱引用计数;
通过extendObjectLifetime()设置引用计数器的规则,不同规则下对删除目标对象的时机判断也是不一样的。