首先说明,智能指针的目的就是解决帮助程序员解决内存泄露问题。智能指针比较典型的应用有两种,一种是针对指针拥有值的,例如auto_ptr,他控制只针对拥有权只有一个。另一种是资源共享,例如shared_ptr。智能指针在实现上也有两种凡是,一种是侵入式,通过继承一个带有引用计数的类来实现。另一种是非侵入式,使用类模版来实现,类模板里保存原始指针,和引用计数。
webkit里实现采用的是非侵入式智能指针。其代码如下:
template <class T> class SharedPtr
{
public:
SharedPtr() : m_ptr(0) {}
SharedPtr(T *ptr) : m_ptr(ptr) { if (m_ptr) m_ptr->ref(); }
SharedPtr(const SharedPtr &o) : m_ptr(o.m_ptr) { if (m_ptr) m_ptr->ref(); }
~SharedPtr() { if (m_ptr) m_ptr->deref(); }
template <class U> SharedPtr(const SharedPtr<U> &o) : m_ptr(o.get()) { if (T *ptr = m_ptr) ptr->ref(); }
bool isNull() const { return m_ptr == 0; }
bool notNull() const { return m_ptr != 0; }
void reset() { if (m_ptr) m_ptr->deref(); m_ptr = 0; }
void reset(T *o) { if (o) o->ref(); if (m_ptr) m_ptr->deref(); m_ptr = o; }
T * get() const { return m_ptr; }
T &operator*() const { return *m_ptr; }
T *operator->() const { return m_ptr; }
bool operator!() const { return m_ptr == 0; }
operator bool() const { return m_ptr != NULL; }
inline friend bool operator==(const SharedPtr &a, const SharedPtr &b) { return a.m_ptr == b.m_ptr; }
inline friend bool operator==(const SharedPtr &a, const T *b) { return a.m_ptr == b; }
inline friend bool operator==(const T *a, const SharedPtr &b) { return a == b.m_ptr; }
SharedPtr &operator=(const SharedPtr &);
SharedPtr &operator=(T *);
private:
T* m_ptr;
operator int() const;
// 故意不实现的目的是为了使用者看到了bool的重载,而想到使用重载的int。
};
类模板有三种构造函数,默认构造函数,拷贝构造函数,自定义构造函数,模板拷贝构造函数。模板拷贝构造函数和拷贝构造函数的区别可以用一段代码来解析
SharedPtr<int> p = new int;
SharedPtr<int> sp(p);
此段代码使用的是拷贝构造函数,因为模板实例化后的类型都是int类型。
SharedPtr<int> p = new int;
SharedPtr<char> sp(p);
此段代码使用的是模板拷贝构造函数,因为构造函数使用的不是同一种类型。
,值的注意的是指针的初始值,在webkit里面是0,而不是常见的NULL。
模板里有reset(T *o)函数的作用是重设置内存为o,而reset()的作用是清除掉内存。剩下的函数都是重载一些操作符。
还有一些地方不明白的是,析构的时候调用的是deref()函数而不是delete操作符。个人以为webki里为了能够坚持内存泄露,额外提供个一个类,
template<class type> class Shared
OOM_MODIFIED
{
public:
Shared() { _ref=0; /*counter++;*/ }
~Shared() { /*counter--;*/ }
void ref() { _ref++; }
void deref() {
if(_ref) _ref--;
if(!_ref)
delete static_cast<type *>(this);
}
bool hasOneRef() { //kdDebug(300) << "ref=" << _ref << endl;
return _ref==1; }
int refCount() const { return _ref; }
// static int counter;
protected:
unsigned int _ref;
private:
Shared(const Shared &);
Shared &operator=(const Shared &);
};
这个类,也是个模板类,首先看最后两个函数,明显可以看到出来是防止对象间的拷贝,因为如果允许拷贝的话,shared_ptr就失去了存在的价值了(sharted_ptr控制不了内存的操作)。仔细看deref()函数可以观察得出,它只是删除了指针。对于文件句柄,等非内存型指针无法管理。当然用户可以发挥自己的编程里,加入一个回调函数,deref()的时候可以自动释放文件句柄。
还有一个没有提到的类模板是
template<class type> class TreeShared
OOM_MODIFIED
{
public:
TreeShared() { _ref = 0; m_parent = 0; /*counter++;*/ }
TreeShared( type *parent ) { _ref=0; m_parent = parent; /*counter++;*/ }
~TreeShared() { /*counter--;*/ }
void ref() { _ref++; }
void deref() {
if(_ref) _ref--;
if(!_ref && !m_parent) {
delete static_cast<type *>(this);
}
}
bool hasOneRef() { //kdDebug(300) << "ref=" << _ref << endl;
return _ref==1; }
int refCount() const { return _ref; }
// static int counter;
void setParent(type *parent) { m_parent = parent; }
type *parent() const { return m_parent; }
private:
unsigned int _ref;
protected:
type *m_parent;
private:
TreeShared(const TreeShared &);
TreeShared &operator=(const TreeShared &);
};
它只是share模板的一个特殊应用,用在树节点上。