xref: /aosp_15_r20/external/google-breakpad/src/processor/linked_ptr.h (revision 9712c20fc9bbfbac4935993a2ca0b3958c5adad2)
1*9712c20fSFrederick Mayle // Copyright 2006 Google LLC
2*9712c20fSFrederick Mayle //
3*9712c20fSFrederick Mayle // Redistribution and use in source and binary forms, with or without
4*9712c20fSFrederick Mayle // modification, are permitted provided that the following conditions are
5*9712c20fSFrederick Mayle // met:
6*9712c20fSFrederick Mayle //
7*9712c20fSFrederick Mayle //     * Redistributions of source code must retain the above copyright
8*9712c20fSFrederick Mayle // notice, this list of conditions and the following disclaimer.
9*9712c20fSFrederick Mayle //     * Redistributions in binary form must reproduce the above
10*9712c20fSFrederick Mayle // copyright notice, this list of conditions and the following disclaimer
11*9712c20fSFrederick Mayle // in the documentation and/or other materials provided with the
12*9712c20fSFrederick Mayle // distribution.
13*9712c20fSFrederick Mayle //     * Neither the name of Google LLC nor the names of its
14*9712c20fSFrederick Mayle // contributors may be used to endorse or promote products derived from
15*9712c20fSFrederick Mayle // this software without specific prior written permission.
16*9712c20fSFrederick Mayle //
17*9712c20fSFrederick Mayle // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
18*9712c20fSFrederick Mayle // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
19*9712c20fSFrederick Mayle // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
20*9712c20fSFrederick Mayle // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
21*9712c20fSFrederick Mayle // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
22*9712c20fSFrederick Mayle // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
23*9712c20fSFrederick Mayle // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24*9712c20fSFrederick Mayle // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25*9712c20fSFrederick Mayle // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26*9712c20fSFrederick Mayle // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
27*9712c20fSFrederick Mayle // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28*9712c20fSFrederick Mayle 
29*9712c20fSFrederick Mayle // A "smart" pointer type with reference tracking.  Every pointer to a
30*9712c20fSFrederick Mayle // particular object is kept on a circular linked list.  When the last pointer
31*9712c20fSFrederick Mayle // to an object is destroyed or reassigned, the object is deleted.
32*9712c20fSFrederick Mayle //
33*9712c20fSFrederick Mayle // Used properly, this deletes the object when the last reference goes away.
34*9712c20fSFrederick Mayle // There are several caveats:
35*9712c20fSFrederick Mayle // - Like all reference counting schemes, cycles lead to leaks.
36*9712c20fSFrederick Mayle // - Each smart pointer is actually two pointers (8 bytes instead of 4).
37*9712c20fSFrederick Mayle // - Every time a pointer is assigned, the entire list of pointers to that
38*9712c20fSFrederick Mayle //   object is traversed.  This class is therefore NOT SUITABLE when there
39*9712c20fSFrederick Mayle //   will often be more than two or three pointers to a particular object.
40*9712c20fSFrederick Mayle // - References are only tracked as long as linked_ptr<> objects are copied.
41*9712c20fSFrederick Mayle //   If a linked_ptr<> is converted to a raw pointer and back, BAD THINGS
42*9712c20fSFrederick Mayle //   will happen (double deletion).
43*9712c20fSFrederick Mayle //
44*9712c20fSFrederick Mayle // A good use of this class is storing object references in STL containers.
45*9712c20fSFrederick Mayle // You can safely put linked_ptr<> in a vector<>.
46*9712c20fSFrederick Mayle // Other uses may not be as good.
47*9712c20fSFrederick Mayle //
48*9712c20fSFrederick Mayle // Note: If you use an incomplete type with linked_ptr<>, the class
49*9712c20fSFrederick Mayle // *containing* linked_ptr<> must have a constructor and destructor (even
50*9712c20fSFrederick Mayle // if they do nothing!).
51*9712c20fSFrederick Mayle 
52*9712c20fSFrederick Mayle #ifndef PROCESSOR_LINKED_PTR_H__
53*9712c20fSFrederick Mayle #define PROCESSOR_LINKED_PTR_H__
54*9712c20fSFrederick Mayle 
55*9712c20fSFrederick Mayle namespace google_breakpad {
56*9712c20fSFrederick Mayle 
57*9712c20fSFrederick Mayle // This is used internally by all instances of linked_ptr<>.  It needs to be
58*9712c20fSFrederick Mayle // a non-template class because different types of linked_ptr<> can refer to
59*9712c20fSFrederick Mayle // the same object (linked_ptr<Superclass>(obj) vs linked_ptr<Subclass>(obj)).
60*9712c20fSFrederick Mayle // So, it needs to be possible for different types of linked_ptr to participate
61*9712c20fSFrederick Mayle // in the same circular linked list, so we need a single class type here.
62*9712c20fSFrederick Mayle //
63*9712c20fSFrederick Mayle // DO NOT USE THIS CLASS DIRECTLY YOURSELF.  Use linked_ptr<T>.
64*9712c20fSFrederick Mayle class linked_ptr_internal {
65*9712c20fSFrederick Mayle  public:
66*9712c20fSFrederick Mayle   // Create a new circle that includes only this instance.
join_new()67*9712c20fSFrederick Mayle   void join_new() {
68*9712c20fSFrederick Mayle     next_ = this;
69*9712c20fSFrederick Mayle   }
70*9712c20fSFrederick Mayle 
71*9712c20fSFrederick Mayle   // Join an existing circle.
join(linked_ptr_internal const * ptr)72*9712c20fSFrederick Mayle   void join(linked_ptr_internal const* ptr) {
73*9712c20fSFrederick Mayle     linked_ptr_internal const* p = ptr;
74*9712c20fSFrederick Mayle     while (p->next_ != ptr) p = p->next_;
75*9712c20fSFrederick Mayle     p->next_ = this;
76*9712c20fSFrederick Mayle     next_ = ptr;
77*9712c20fSFrederick Mayle   }
78*9712c20fSFrederick Mayle 
79*9712c20fSFrederick Mayle   // Leave whatever circle we're part of.  Returns true iff we were the
80*9712c20fSFrederick Mayle   // last member of the circle.  Once this is done, you can join() another.
depart()81*9712c20fSFrederick Mayle   bool depart() {
82*9712c20fSFrederick Mayle     if (next_ == this) return true;
83*9712c20fSFrederick Mayle     linked_ptr_internal const* p = next_;
84*9712c20fSFrederick Mayle     while (p->next_ != this) p = p->next_;
85*9712c20fSFrederick Mayle     p->next_ = next_;
86*9712c20fSFrederick Mayle     return false;
87*9712c20fSFrederick Mayle   }
88*9712c20fSFrederick Mayle 
89*9712c20fSFrederick Mayle  private:
90*9712c20fSFrederick Mayle   mutable linked_ptr_internal const* next_;
91*9712c20fSFrederick Mayle };
92*9712c20fSFrederick Mayle 
93*9712c20fSFrederick Mayle template <typename T>
94*9712c20fSFrederick Mayle class linked_ptr {
95*9712c20fSFrederick Mayle  public:
96*9712c20fSFrederick Mayle   typedef T element_type;
97*9712c20fSFrederick Mayle 
98*9712c20fSFrederick Mayle   // Take over ownership of a raw pointer.  This should happen as soon as
99*9712c20fSFrederick Mayle   // possible after the object is created.
100*9712c20fSFrederick Mayle   explicit linked_ptr(T* ptr = NULL) { capture(ptr); }
~linked_ptr()101*9712c20fSFrederick Mayle   ~linked_ptr() { depart(); }
102*9712c20fSFrederick Mayle 
103*9712c20fSFrederick Mayle   // Copy an existing linked_ptr<>, adding ourselves to the list of references.
linked_ptr(linked_ptr<U> const & ptr)104*9712c20fSFrederick Mayle   template <typename U> linked_ptr(linked_ptr<U> const& ptr) { copy(&ptr); }
linked_ptr(linked_ptr const & ptr)105*9712c20fSFrederick Mayle   linked_ptr(linked_ptr const& ptr) { copy(&ptr); }
106*9712c20fSFrederick Mayle 
107*9712c20fSFrederick Mayle   // Assignment releases the old value and acquires the new.
108*9712c20fSFrederick Mayle   template <typename U> linked_ptr& operator=(linked_ptr<U> const& ptr) {
109*9712c20fSFrederick Mayle     depart();
110*9712c20fSFrederick Mayle     copy(&ptr);
111*9712c20fSFrederick Mayle     return *this;
112*9712c20fSFrederick Mayle   }
113*9712c20fSFrederick Mayle 
114*9712c20fSFrederick Mayle   linked_ptr& operator=(linked_ptr const& ptr) {
115*9712c20fSFrederick Mayle     if (&ptr != this) {
116*9712c20fSFrederick Mayle       depart();
117*9712c20fSFrederick Mayle       copy(&ptr);
118*9712c20fSFrederick Mayle     }
119*9712c20fSFrederick Mayle     return *this;
120*9712c20fSFrederick Mayle   }
121*9712c20fSFrederick Mayle 
122*9712c20fSFrederick Mayle   // Smart pointer members.
123*9712c20fSFrederick Mayle   void reset(T* ptr = NULL) { depart(); capture(ptr); }
get()124*9712c20fSFrederick Mayle   T* get() const { return value_; }
125*9712c20fSFrederick Mayle   T* operator->() const { return value_; }
126*9712c20fSFrederick Mayle   T& operator*() const { return *value_; }
127*9712c20fSFrederick Mayle   // Release ownership of the pointed object and returns it.
128*9712c20fSFrederick Mayle   // Sole ownership by this linked_ptr object is required.
release()129*9712c20fSFrederick Mayle   T* release() {
130*9712c20fSFrederick Mayle     link_.depart();
131*9712c20fSFrederick Mayle     T* v = value_;
132*9712c20fSFrederick Mayle     value_ = NULL;
133*9712c20fSFrederick Mayle     return v;
134*9712c20fSFrederick Mayle   }
135*9712c20fSFrederick Mayle 
136*9712c20fSFrederick Mayle   bool operator==(T* p) const { return value_ == p; }
137*9712c20fSFrederick Mayle   bool operator!=(T* p) const { return value_ != p; }
138*9712c20fSFrederick Mayle   template <typename U>
139*9712c20fSFrederick Mayle   bool operator==(linked_ptr<U> const& ptr) const {
140*9712c20fSFrederick Mayle     return value_ == ptr.get();
141*9712c20fSFrederick Mayle   }
142*9712c20fSFrederick Mayle   template <typename U>
143*9712c20fSFrederick Mayle   bool operator!=(linked_ptr<U> const& ptr) const {
144*9712c20fSFrederick Mayle     return value_ != ptr.get();
145*9712c20fSFrederick Mayle   }
146*9712c20fSFrederick Mayle 
147*9712c20fSFrederick Mayle  private:
148*9712c20fSFrederick Mayle   template <typename U>
149*9712c20fSFrederick Mayle   friend class linked_ptr;
150*9712c20fSFrederick Mayle 
151*9712c20fSFrederick Mayle   T* value_;
152*9712c20fSFrederick Mayle   linked_ptr_internal link_;
153*9712c20fSFrederick Mayle 
depart()154*9712c20fSFrederick Mayle   void depart() {
155*9712c20fSFrederick Mayle     if (link_.depart()) delete value_;
156*9712c20fSFrederick Mayle   }
157*9712c20fSFrederick Mayle 
capture(T * ptr)158*9712c20fSFrederick Mayle   void capture(T* ptr) {
159*9712c20fSFrederick Mayle     value_ = ptr;
160*9712c20fSFrederick Mayle     link_.join_new();
161*9712c20fSFrederick Mayle   }
162*9712c20fSFrederick Mayle 
copy(linked_ptr<U> const * ptr)163*9712c20fSFrederick Mayle   template <typename U> void copy(linked_ptr<U> const* ptr) {
164*9712c20fSFrederick Mayle     value_ = ptr->get();
165*9712c20fSFrederick Mayle     if (value_)
166*9712c20fSFrederick Mayle       link_.join(&ptr->link_);
167*9712c20fSFrederick Mayle     else
168*9712c20fSFrederick Mayle       link_.join_new();
169*9712c20fSFrederick Mayle   }
170*9712c20fSFrederick Mayle };
171*9712c20fSFrederick Mayle 
172*9712c20fSFrederick Mayle template<typename T> inline
173*9712c20fSFrederick Mayle bool operator==(T* ptr, const linked_ptr<T>& x) {
174*9712c20fSFrederick Mayle   return ptr == x.get();
175*9712c20fSFrederick Mayle }
176*9712c20fSFrederick Mayle 
177*9712c20fSFrederick Mayle template<typename T> inline
178*9712c20fSFrederick Mayle bool operator!=(T* ptr, const linked_ptr<T>& x) {
179*9712c20fSFrederick Mayle   return ptr != x.get();
180*9712c20fSFrederick Mayle }
181*9712c20fSFrederick Mayle 
182*9712c20fSFrederick Mayle // A function to convert T* into linked_ptr<T>
183*9712c20fSFrederick Mayle // Doing e.g. make_linked_ptr(new FooBarBaz<type>(arg)) is a shorter notation
184*9712c20fSFrederick Mayle // for linked_ptr<FooBarBaz<type> >(new FooBarBaz<type>(arg))
185*9712c20fSFrederick Mayle template <typename T>
make_linked_ptr(T * ptr)186*9712c20fSFrederick Mayle linked_ptr<T> make_linked_ptr(T* ptr) {
187*9712c20fSFrederick Mayle   return linked_ptr<T>(ptr);
188*9712c20fSFrederick Mayle }
189*9712c20fSFrederick Mayle 
190*9712c20fSFrederick Mayle }  // namespace google_breakpad
191*9712c20fSFrederick Mayle 
192*9712c20fSFrederick Mayle #endif  // PROCESSOR_LINKED_PTR_H__
193