1 | // -------------------------------------------------------------------------------- |
---|
2 | // Copyright (C) 2000-2003 |
---|
3 | // Ralf Westram |
---|
4 | // (Coded@ReallySoft.de) |
---|
5 | // |
---|
6 | // Permission to use, copy, modify, distribute and sell this software |
---|
7 | // and its documentation for any purpose is hereby granted without fee, |
---|
8 | // provided that the above copyright notice appear in all copies and |
---|
9 | // that both that copyright notice and this permission notice appear |
---|
10 | // in supporting documentation. Ralf Westram makes no |
---|
11 | // representations about the suitability of this software for any |
---|
12 | // purpose. It is provided "as is" without express or implied warranty. |
---|
13 | // |
---|
14 | // This code is part of my library. |
---|
15 | // You may find a more recent version at http://www.reallysoft.de/ |
---|
16 | // -------------------------------------------------------------------------------- |
---|
17 | |
---|
18 | #ifndef SMARTPTR_H |
---|
19 | #define SMARTPTR_H |
---|
20 | |
---|
21 | #ifndef ARB_ASSERT_H |
---|
22 | #include <arb_assert.h> |
---|
23 | #endif |
---|
24 | #ifndef ARBTOOLS_H |
---|
25 | #include "arbtools.h" |
---|
26 | #endif |
---|
27 | |
---|
28 | #define tpl_assert(bed) arb_assert(bed) |
---|
29 | |
---|
30 | // -------------------------------------------------------------------------------- |
---|
31 | // SmartPointers |
---|
32 | // -------------------------------------------------------------------------------- |
---|
33 | // |
---|
34 | // provides: |
---|
35 | // |
---|
36 | // SmartPtr<type> uses delete |
---|
37 | // SmartPtr<type, Counted<type, auto_delete_array_ptr<type> > > uses delete [] |
---|
38 | // SmartPtr<type, Counted<type, auto_free_ptr<type> > > uses free |
---|
39 | // SmartPtr<type, Counted<type, custom_dealloc_ptr<type, deallocator> > > uses custom deallocator |
---|
40 | // |
---|
41 | // -------------------------------------------------------------------------------- |
---|
42 | // macros for convenience: |
---|
43 | |
---|
44 | #define SmartArrayPtr(type) SmartPtr<type, Counted<type, auto_delete_array_ptr<type> > > |
---|
45 | #define SmartMallocPtr(type) SmartPtr<type, Counted<type, auto_free_ptr<type> > > |
---|
46 | #define SmartCustomPtr(type, deallocator) SmartPtr<type, Counted<type, custom_dealloc_ptr<type, deallocator> > > |
---|
47 | |
---|
48 | // -------------------------------------------------------------------------------- |
---|
49 | // examples: |
---|
50 | // |
---|
51 | // typedef SmartPtr<std::string> StringPtr; |
---|
52 | // StringPtr s = new std::string("hello world"); // will be deallocated using delete |
---|
53 | // |
---|
54 | // typedef SmartArrayPtr(std::string) StringArrayPtr; |
---|
55 | // StringArrayPtr strings = new std::string[100]; // will be deallocated using delete [] |
---|
56 | // |
---|
57 | // SmartCharPtr cp = ARB_strdup("hello world"); // will be deallocated using free() |
---|
58 | // |
---|
59 | // typedef SmartCustomPtr(GEN_position, GEN_free_position) GEN_position_Ptr; |
---|
60 | // GEN_position_Ptr gp = GEN_new_position(5, false); // will be deallocated using GEN_free_position() |
---|
61 | // |
---|
62 | // -------------------------------------------------------------------------------- |
---|
63 | |
---|
64 | #ifdef NDEBUG |
---|
65 | #ifdef DUMP_SMART_PTRS |
---|
66 | #error Please do not define DUMP_SMART_PTRS in NDEBUG mode! |
---|
67 | #endif |
---|
68 | #endif |
---|
69 | |
---|
70 | #ifdef DUMP_SMART_PTRS |
---|
71 | #define DUMP_SMART_PTRS_DO(cmd) do { (cmd); } while (0) |
---|
72 | #else |
---|
73 | #define DUMP_SMART_PTRS_DO(cmd) |
---|
74 | #endif |
---|
75 | |
---|
76 | // ----------------------------------------------------------------- |
---|
77 | // helper pointer classes |
---|
78 | // |
---|
79 | // used by Counted<> to use correct method to destroy the contents |
---|
80 | // ----------------------------------------------------------------- |
---|
81 | |
---|
82 | template<class T, void (*DEALLOC)(T*)> |
---|
83 | class custom_dealloc_ptr : virtual Noncopyable { |
---|
84 | T *const thePointer; |
---|
85 | public: |
---|
86 | custom_dealloc_ptr(T *p) : thePointer(p) { |
---|
87 | DUMP_SMART_PTRS_DO(fprintf(stderr, "pointer %p now controlled by custom_dealloc_ptr\n", thePointer)); |
---|
88 | } |
---|
89 | ~custom_dealloc_ptr() { |
---|
90 | DUMP_SMART_PTRS_DO(fprintf(stderr, "pointer %p gets destroyed by custom_dealloc_ptr (using fun %p)\n", thePointer, DEALLOC)); |
---|
91 | DEALLOC(thePointer); |
---|
92 | } |
---|
93 | |
---|
94 | const T* getPointer() const { return thePointer; } |
---|
95 | T* getPointer() { return thePointer; } |
---|
96 | }; |
---|
97 | |
---|
98 | template <class T> |
---|
99 | class auto_free_ptr : virtual Noncopyable { |
---|
100 | T *const thePointer; |
---|
101 | public: |
---|
102 | auto_free_ptr(T *p) : thePointer(p) { |
---|
103 | DUMP_SMART_PTRS_DO(fprintf(stderr, "pointer %p now controlled by auto_free_ptr\n", thePointer)); |
---|
104 | } |
---|
105 | ~auto_free_ptr() { |
---|
106 | DUMP_SMART_PTRS_DO(fprintf(stderr, "pointer %p gets destroyed by auto_free_ptr\n", thePointer)); |
---|
107 | free(thePointer); |
---|
108 | } |
---|
109 | |
---|
110 | const T* getPointer() const { return thePointer; } |
---|
111 | T* getPointer() { return thePointer; } |
---|
112 | }; |
---|
113 | |
---|
114 | template <class T> |
---|
115 | class auto_delete_ptr : virtual Noncopyable { |
---|
116 | T *const thePointer; |
---|
117 | public: |
---|
118 | auto_delete_ptr(T *p) : thePointer(p) { |
---|
119 | DUMP_SMART_PTRS_DO(fprintf(stderr, "pointer %p now controlled by auto_delete_ptr\n", thePointer)); |
---|
120 | } |
---|
121 | ~auto_delete_ptr() { |
---|
122 | DUMP_SMART_PTRS_DO(fprintf(stderr, "pointer %p gets destroyed by auto_delete_ptr\n", thePointer)); |
---|
123 | delete thePointer; |
---|
124 | } |
---|
125 | |
---|
126 | const T* getPointer() const { return thePointer; } |
---|
127 | T* getPointer() { return thePointer; } |
---|
128 | }; |
---|
129 | |
---|
130 | template <class T> |
---|
131 | class auto_delete_array_ptr : virtual Noncopyable { |
---|
132 | T *const thePointer; |
---|
133 | public: |
---|
134 | auto_delete_array_ptr(T *p) : thePointer(p) { |
---|
135 | DUMP_SMART_PTRS_DO(fprintf(stderr, "pointer %p now controlled by auto_delete_array_ptr\n", thePointer)); |
---|
136 | } |
---|
137 | ~auto_delete_array_ptr() { |
---|
138 | DUMP_SMART_PTRS_DO(fprintf(stderr, "pointer %p gets destroyed by auto_delete_array_ptr\n", thePointer)); |
---|
139 | delete [] thePointer; |
---|
140 | } |
---|
141 | |
---|
142 | const T* getPointer() const { return thePointer; } |
---|
143 | T* getPointer() { return thePointer; } |
---|
144 | }; |
---|
145 | |
---|
146 | // ----------------------- |
---|
147 | // class Counted |
---|
148 | |
---|
149 | template <class T, class C> class SmartPtr; |
---|
150 | |
---|
151 | template <class T, class AP> |
---|
152 | class Counted { |
---|
153 | unsigned counter; |
---|
154 | AP pointer; |
---|
155 | |
---|
156 | public: |
---|
157 | |
---|
158 | Counted(T *p) : counter(0), pointer(p) { |
---|
159 | DUMP_SMART_PTRS_DO(fprintf(stderr, "pointer %p now controlled by Counted\n", getPointer())); |
---|
160 | tpl_assert(p); // if you like to assign NULp, consider using SmartPtr::assign or SmartPtr::setNull |
---|
161 | } |
---|
162 | #ifdef DEBUG |
---|
163 | ~Counted() { |
---|
164 | tpl_assert(counter==0); |
---|
165 | DUMP_SMART_PTRS_DO(fprintf(stderr, "pointer %p gets destroyed by Counted\n", getPointer())); |
---|
166 | } |
---|
167 | #endif |
---|
168 | |
---|
169 | unsigned new_reference() { |
---|
170 | DUMP_SMART_PTRS_DO(fprintf(stderr, "pointer %p gets new reference (now there are %i references)\n", getPointer(), counter+1)); |
---|
171 | return ++counter; |
---|
172 | } |
---|
173 | unsigned free_reference() { |
---|
174 | DUMP_SMART_PTRS_DO(fprintf(stderr, "pointer %p looses a reference (now there are %i references)\n", getPointer(), counter-1)); |
---|
175 | tpl_assert(counter!=0); |
---|
176 | return --counter; |
---|
177 | } |
---|
178 | |
---|
179 | const T* getPointer() const { return pointer.getPointer(); } |
---|
180 | T* getPointer() { return pointer.getPointer(); } |
---|
181 | |
---|
182 | friend class SmartPtr<T, Counted<T, AP> >; |
---|
183 | }; |
---|
184 | |
---|
185 | |
---|
186 | /*! @class SmartPtr |
---|
187 | * @brief Generic smart pointer |
---|
188 | */ |
---|
189 | |
---|
190 | template <class T, class C = Counted<T, auto_delete_ptr<T> > > |
---|
191 | // cppcheck-suppress noCopyConstructor (does not detect templated cctor) |
---|
192 | class SmartPtr { |
---|
193 | private: |
---|
194 | C *object; |
---|
195 | |
---|
196 | void Unbind() { |
---|
197 | if (object && object->free_reference()==0) { |
---|
198 | DUMP_SMART_PTRS_DO(fprintf(stderr, "Unbind() deletes Counted object %p (which hold pointer %p)\n", object, object->getPointer())); |
---|
199 | delete object; |
---|
200 | } |
---|
201 | object = NULp; |
---|
202 | } |
---|
203 | public: |
---|
204 | //! build Smart-NULp-Ptr |
---|
205 | SmartPtr() : object(NULp) {} |
---|
206 | |
---|
207 | /*! build normal SmartPtr |
---|
208 | |
---|
209 | by passing an object to a SmartPtr you loose the responsibility over the object |
---|
210 | to the SmartPtr. |
---|
211 | So you NEVER should free such an object manually. |
---|
212 | |
---|
213 | @param p Pointer to any dynamically allocated object |
---|
214 | */ |
---|
215 | SmartPtr(T *p) { |
---|
216 | object = new C(p); |
---|
217 | object->new_reference(); |
---|
218 | } |
---|
219 | |
---|
220 | /*! destroy SmartPtr |
---|
221 | |
---|
222 | object will not be destroyed as long as any other SmartPtr points to it |
---|
223 | */ |
---|
224 | ~SmartPtr() { Unbind(); } |
---|
225 | |
---|
226 | SmartPtr(const SmartPtr<T, C>& other) { |
---|
227 | // cppcheck-suppress copyCtorPointerCopying (that's exactly what a SmartPtr is made for) |
---|
228 | object = other.object; |
---|
229 | if (object) object->new_reference(); |
---|
230 | } |
---|
231 | SmartPtr<T, C>& operator=(const SmartPtr<T, C>& other) { |
---|
232 | if (other.object) other.object->new_reference(); |
---|
233 | Unbind(); |
---|
234 | object = other.object; |
---|
235 | return *this; |
---|
236 | } |
---|
237 | |
---|
238 | const T *operator->() const { tpl_assert(object); return object->getPointer(); } |
---|
239 | T *operator->() { tpl_assert(object); return object->getPointer(); } |
---|
240 | |
---|
241 | const T& operator*() const { tpl_assert(object); return *(object->getPointer()); } |
---|
242 | T& operator*() { tpl_assert(object); return *(object->getPointer()); } // Note: to deref a NULp-SmartPtr, use SmartPtr::content() |
---|
243 | |
---|
244 | //! test if SmartPtr is not NULp |
---|
245 | bool isSet() const { return object; } |
---|
246 | |
---|
247 | //! test if SmartPtr is NULp |
---|
248 | bool isNull() const { return !isSet(); } |
---|
249 | |
---|
250 | //! set SmartPtr to NULp |
---|
251 | void setNull() { Unbind(); } |
---|
252 | |
---|
253 | //! set SmartPtr to new content or NULp |
---|
254 | void assign(T *p) { |
---|
255 | Unbind(); |
---|
256 | if (p) { |
---|
257 | object = new C(p); |
---|
258 | object->new_reference(); |
---|
259 | } |
---|
260 | } |
---|
261 | |
---|
262 | //! convert SmartPtr to plain old pointer (also works if isNull()) |
---|
263 | const T* content() const { |
---|
264 | return object ? object->getPointer() : NULp; |
---|
265 | } |
---|
266 | |
---|
267 | SmartPtr<T, C> deep_copy() const { |
---|
268 | /*! create a deep copy of the object pointed to by the smart pointer. |
---|
269 | * |
---|
270 | * Afterwards there exist two equal copies of the object. |
---|
271 | * |
---|
272 | * @return SmartPtr to the new copy. |
---|
273 | */ |
---|
274 | return SmartPtr<T, C>(new T(**this)); |
---|
275 | } |
---|
276 | |
---|
277 | bool sameObject(const SmartPtr<T, C>& other) const { |
---|
278 | /*! test if two SmartPtrs point to the same object |
---|
279 | * |
---|
280 | * (this is used for operators == and !=). |
---|
281 | * |
---|
282 | * if you like to compare the objects themselves use |
---|
283 | * (*smart_ptr1 == *smart_ptr2) |
---|
284 | * |
---|
285 | * @return true if the SmartPtrs point to the same object |
---|
286 | */ |
---|
287 | tpl_assert(object); |
---|
288 | tpl_assert(other.object); |
---|
289 | return object==other.object; |
---|
290 | } |
---|
291 | |
---|
292 | unsigned references() const { |
---|
293 | return isSet() ? object->counter : 0; |
---|
294 | } |
---|
295 | }; |
---|
296 | |
---|
297 | template <class T, class C> bool operator==(const SmartPtr<T, C>& s1, const SmartPtr<T, C>& s2) { |
---|
298 | return s1.sameObject(s2); |
---|
299 | } |
---|
300 | |
---|
301 | template <class T, class C> bool operator!=(const SmartPtr<T, C>& s1, const SmartPtr<T, C>& s2) { |
---|
302 | return !s1.sameObject(s2); |
---|
303 | } |
---|
304 | |
---|
305 | // -------------------------- |
---|
306 | // convenience decls |
---|
307 | |
---|
308 | typedef SmartMallocPtr(char) SmartCharPtr; |
---|
309 | |
---|
310 | #define RETURN_LOCAL_ALLOC(mallocation) \ |
---|
311 | static SmartMallocPtr(typeof(*mallocation)) static_ptr; \ |
---|
312 | static_ptr.assign(mallocation); \ |
---|
313 | return static_ptr.content(); |
---|
314 | |
---|
315 | #define RETURN_ONETIME_ALLOC(allocated) \ |
---|
316 | static SmartMallocPtr(typeof(*allocated)) static_ptr; \ |
---|
317 | if (static_ptr.isNull()) { static_ptr = allocated; } \ |
---|
318 | return static_ptr.content(); |
---|
319 | |
---|
320 | #else |
---|
321 | #error smartptr.h included twice |
---|
322 | #endif // SMARTPTR_H |
---|