IntrusiveRefCntPtr.h revision 234353
1//== llvm/ADT/IntrusiveRefCntPtr.h - Smart Refcounting Pointer ---*- C++ -*-==//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file defines IntrusiveRefCntPtr, a template class that
11// implements a "smart" pointer for objects that maintain their own
12// internal reference count, and RefCountedBase/RefCountedBaseVPTR, two
13// generic base classes for objects that wish to have their lifetimes
14// managed using reference counting.
15//
16// IntrusiveRefCntPtr is similar to Boost's intrusive_ptr with added
17// LLVM-style casting.
18//
19//===----------------------------------------------------------------------===//
20
21#ifndef LLVM_ADT_INTRUSIVE_REF_CNT_PTR
22#define LLVM_ADT_INTRUSIVE_REF_CNT_PTR
23
24#include <cassert>
25
26#include "llvm/Support/Casting.h"
27
28namespace llvm {
29
30  template <class T>
31  class IntrusiveRefCntPtr;
32
33//===----------------------------------------------------------------------===//
34/// RefCountedBase - A generic base class for objects that wish to
35///  have their lifetimes managed using reference counts. Classes
36///  subclass RefCountedBase to obtain such functionality, and are
37///  typically handled with IntrusivePtr "smart pointers" (see below)
38///  which automatically handle the management of reference counts.
39///  Objects that subclass RefCountedBase should not be allocated on
40///  the stack, as invoking "delete" (which is called when the
41///  reference count hits 0) on such objects is an error.
42//===----------------------------------------------------------------------===//
43  template <class Derived>
44  class RefCountedBase {
45    mutable unsigned ref_cnt;
46
47  public:
48    RefCountedBase() : ref_cnt(0) {}
49    RefCountedBase(const RefCountedBase &) : ref_cnt(0) {}
50
51    void Retain() const { ++ref_cnt; }
52    void Release() const {
53      assert (ref_cnt > 0 && "Reference count is already zero.");
54      if (--ref_cnt == 0) delete static_cast<const Derived*>(this);
55    }
56  };
57
58//===----------------------------------------------------------------------===//
59/// RefCountedBaseVPTR - A class that has the same function as
60///  RefCountedBase, but with a virtual destructor. Should be used
61///  instead of RefCountedBase for classes that already have virtual
62///  methods to enforce dynamic allocation via 'new'. Classes that
63///  inherit from RefCountedBaseVPTR can't be allocated on stack -
64///  attempting to do this will produce a compile error.
65//===----------------------------------------------------------------------===//
66  class RefCountedBaseVPTR {
67    mutable unsigned ref_cnt;
68    virtual void anchor();
69
70  protected:
71    RefCountedBaseVPTR() : ref_cnt(0) {}
72    RefCountedBaseVPTR(const RefCountedBaseVPTR &) : ref_cnt(0) {}
73
74    virtual ~RefCountedBaseVPTR() {}
75
76    void Retain() const { ++ref_cnt; }
77    void Release() const {
78      assert (ref_cnt > 0 && "Reference count is already zero.");
79      if (--ref_cnt == 0) delete this;
80    }
81
82    template <typename T>
83    friend struct IntrusiveRefCntPtrInfo;
84  };
85
86
87  template <typename T> struct IntrusiveRefCntPtrInfo {
88    static void retain(T *obj) { obj->Retain(); }
89    static void release(T *obj) { obj->Release(); }
90  };
91
92//===----------------------------------------------------------------------===//
93/// IntrusiveRefCntPtr - A template class that implements a "smart pointer"
94///  that assumes the wrapped object has a reference count associated
95///  with it that can be managed via calls to
96///  IntrusivePtrAddRef/IntrusivePtrRelease.  The smart pointers
97///  manage reference counts via the RAII idiom: upon creation of
98///  smart pointer the reference count of the wrapped object is
99///  incremented and upon destruction of the smart pointer the
100///  reference count is decremented.  This class also safely handles
101///  wrapping NULL pointers.
102///
103/// Reference counting is implemented via calls to
104///  Obj->Retain()/Obj->Release(). Release() is required to destroy
105///  the object when the reference count reaches zero. Inheriting from
106///  RefCountedBase/RefCountedBaseVPTR takes care of this
107///  automatically.
108//===----------------------------------------------------------------------===//
109  template <typename T>
110  class IntrusiveRefCntPtr {
111    T* Obj;
112    typedef IntrusiveRefCntPtr this_type;
113  public:
114    typedef T element_type;
115
116    explicit IntrusiveRefCntPtr() : Obj(0) {}
117
118    IntrusiveRefCntPtr(T* obj) : Obj(obj) {
119      retain();
120    }
121
122    IntrusiveRefCntPtr(const IntrusiveRefCntPtr& S) : Obj(S.Obj) {
123      retain();
124    }
125
126    template <class X>
127    IntrusiveRefCntPtr(const IntrusiveRefCntPtr<X>& S)
128      : Obj(S.getPtr()) {
129      retain();
130    }
131
132    IntrusiveRefCntPtr& operator=(const IntrusiveRefCntPtr& S) {
133      replace(S.getPtr());
134      return *this;
135    }
136
137    template <class X>
138    IntrusiveRefCntPtr& operator=(const IntrusiveRefCntPtr<X>& S) {
139      replace(S.getPtr());
140      return *this;
141    }
142
143    IntrusiveRefCntPtr& operator=(T * S) {
144      replace(S);
145      return *this;
146    }
147
148    ~IntrusiveRefCntPtr() { release(); }
149
150    T& operator*() const { return *Obj; }
151
152    T* operator->() const { return Obj; }
153
154    T* getPtr() const { return Obj; }
155
156    typedef T* (IntrusiveRefCntPtr::*unspecified_bool_type) () const;
157    operator unspecified_bool_type() const {
158      return Obj == 0 ? 0 : &IntrusiveRefCntPtr::getPtr;
159    }
160
161    void swap(IntrusiveRefCntPtr& other) {
162      T* tmp = other.Obj;
163      other.Obj = Obj;
164      Obj = tmp;
165    }
166
167    void reset() {
168      release();
169      Obj = 0;
170    }
171
172    void resetWithoutRelease() {
173      Obj = 0;
174    }
175
176  private:
177    void retain() { if (Obj) IntrusiveRefCntPtrInfo<T>::retain(Obj); }
178    void release() { if (Obj) IntrusiveRefCntPtrInfo<T>::release(Obj); }
179
180    void replace(T* S) {
181      this_type(S).swap(*this);
182    }
183  };
184
185  template<class T, class U>
186  inline bool operator==(const IntrusiveRefCntPtr<T>& A,
187                         const IntrusiveRefCntPtr<U>& B)
188  {
189    return A.getPtr() == B.getPtr();
190  }
191
192  template<class T, class U>
193  inline bool operator!=(const IntrusiveRefCntPtr<T>& A,
194                         const IntrusiveRefCntPtr<U>& B)
195  {
196    return A.getPtr() != B.getPtr();
197  }
198
199  template<class T, class U>
200  inline bool operator==(const IntrusiveRefCntPtr<T>& A,
201                         U* B)
202  {
203    return A.getPtr() == B;
204  }
205
206  template<class T, class U>
207  inline bool operator!=(const IntrusiveRefCntPtr<T>& A,
208                         U* B)
209  {
210    return A.getPtr() != B;
211  }
212
213  template<class T, class U>
214  inline bool operator==(T* A,
215                         const IntrusiveRefCntPtr<U>& B)
216  {
217    return A == B.getPtr();
218  }
219
220  template<class T, class U>
221  inline bool operator!=(T* A,
222                         const IntrusiveRefCntPtr<U>& B)
223  {
224    return A != B.getPtr();
225  }
226
227//===----------------------------------------------------------------------===//
228// LLVM-style downcasting support for IntrusiveRefCntPtr objects
229//===----------------------------------------------------------------------===//
230
231  template<class T> struct simplify_type<IntrusiveRefCntPtr<T> > {
232    typedef T* SimpleType;
233    static SimpleType getSimplifiedValue(const IntrusiveRefCntPtr<T>& Val) {
234      return Val.getPtr();
235    }
236  };
237
238  template<class T> struct simplify_type<const IntrusiveRefCntPtr<T> > {
239    typedef T* SimpleType;
240    static SimpleType getSimplifiedValue(const IntrusiveRefCntPtr<T>& Val) {
241      return Val.getPtr();
242    }
243  };
244
245} // end namespace llvm
246
247#endif // LLVM_ADT_INTRUSIVE_REF_CNT_PTR
248