探索WebKit内核（五）------ 智能指针解析：RefCounted, RefPtr, PassRefPtr, OwnPtr和PassOwnPtr

本文将从WebKit源码中解析WebKit智能指针的用法。进入正题之前，先还是要仔细看看官方文档：http://www.webkit.org/coding/RefPtr.html。不管能否看明白还是要先看看这篇文章，毕竟这是本文最主要的参考文档。

文档里已提到2005之前，WebKit基于RefCounted来管理对象的销毁。

RefCounted

RefCounted原理很简单，就是最经典的引用计数的方式。它的源码也很简单，看看它最重要的两个方法，ref和deref：

    void ref()
    {
#if CHECK_REF_COUNTED_LIFECYCLE
        ASSERT(m_verifier.isSafeToUse());
        ASSERT(!m_deletionHasBegun);
        ASSERT(!m_adoptionIsRequired);
#endif
        ++m_refCount;
    }
    void deref()
    {
        if (derefBase())
            delete static_cast(this);
    }
    // Returns whether the pointer should be freed or not.
    bool derefBase()
    {
#if CHECK_REF_COUNTED_LIFECYCLE
        ASSERT(m_verifier.isSafeToUse());
        ASSERT(!m_deletionHasBegun);
        ASSERT(!m_adoptionIsRequired);
#endif

        ASSERT(m_refCount > 0);
        if (m_refCount == 1) {
#if CHECK_REF_COUNTED_LIFECYCLE
            m_deletionHasBegun = true;
#endif
            return true;
        }

        --m_refCount;
#if CHECK_REF_COUNTED_LIFECYCLE
        // Stop thread verification when the ref goes to 1 because it
        // is safe to be passed to another thread at this point.
        if (m_refCount == 1)
            m_verifier.setShared(false);
#endif
        return false;
    }

抛开一些状态的维护不看，它其实就是在调用ref时，内部计数器加1，调用deref时计数器减1，当减到1时，就自动delete。所以一句话，它就是通过内部计数器来判断外部的引用从而实现自动销毁对象。这种方法虽然实现简单，但造成了调用者的麻烦，比如文档里提到的例子：

class Document {
    ...
    Title* m_title;
}

Document::Document()
    : m_title(0)
{
}

Document::~Document()
{
    if (m_title)
        m_title->deref();
}

void Document::setTitle(Title* title)
{
    if (title)
        title->ref();
    if (m_title)
        m_title->deref();
    m_title = title;
}

简单的一个set方法，就需要来回调用ref和deref，在更复杂的场景下难免导致ref和deref的不对称，从而造成本该销毁却没销毁，或是错销毁的情况。后来，WebKit就引入了RefPtr, PassRefPtr, OwnPtr和PassOwnPtr来解决这个问题。

RefPtr和PassRefPtr

RefPtr的思路很简单，就是要把上面例子自动化，自动地在各项操作中加上deref和ref，先来看看它最关键几个方法的源码：

    template inline RefPtr& RefPtr::operator=(T* optr)
    {
        refIfNotNull(optr);
        T* ptr = m_ptr;
        m_ptr = optr;
        derefIfNotNull(ptr);
        return *this;
    }

    ALWAYS_INLINE RefPtr(T* ptr) : m_ptr(ptr) { refIfNotNull(ptr); }

看字面意思就能很清楚的知道，当把一个对象赋值给RefPtr包装过的对象后，它会先被赋值的对象ref，然后再给自己原来的对象deref，这实际上就是上例中setTitle的过程，所以改写后就极大简洁了代码：

class Document {
    ...
    RefPtr