6f804a0c946416fc4f33f5a032ee1aea9470d8db
[WebKit-https.git] / Source / WTF / wtf / PassRefPtr.h
1 /*
2  *  Copyright (C) 2005, 2006, 2007, 2008, 2009, 2010 Apple Inc. All rights reserved.
3  *
4  *  This library is free software; you can redistribute it and/or
5  *  modify it under the terms of the GNU Library General Public
6  *  License as published by the Free Software Foundation; either
7  *  version 2 of the License, or (at your option) any later version.
8  *
9  *  This library is distributed in the hope that it will be useful,
10  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
11  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
12  *  Library General Public License for more details.
13  *
14  *  You should have received a copy of the GNU Library General Public License
15  *  along with this library; see the file COPYING.LIB.  If not, write to
16  *  the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
17  *  Boston, MA 02110-1301, USA.
18  *
19  */
20
21 #ifndef WTF_PassRefPtr_h
22 #define WTF_PassRefPtr_h
23
24 #include <wtf/GetPtr.h>
25 #include <wtf/PassRef.h>
26
27 namespace WTF {
28
29     template<typename T> PassRefPtr<T> adoptRef(T*);
30
31     template<typename T> ALWAYS_INLINE void refIfNotNull(T* ptr)
32     {
33         if (LIKELY(ptr != nullptr))
34             ptr->ref();
35     }
36
37     template<typename T> ALWAYS_INLINE void derefIfNotNull(T* ptr)
38     {
39         if (LIKELY(ptr != nullptr))
40             ptr->deref();
41     }
42
43     template<typename T> class PassRefPtr {
44     public:
45         typedef T ValueType;
46         typedef ValueType* PtrType;
47
48         PassRefPtr() : m_ptr(nullptr) { }
49         PassRefPtr(T* ptr) : m_ptr(ptr) { refIfNotNull(ptr); }
50         // It somewhat breaks the type system to allow transfer of ownership out of
51         // a const PassRefPtr. However, it makes it much easier to work with PassRefPtr
52         // temporaries, and we don't have a need to use real const PassRefPtrs anyway.
53         PassRefPtr(const PassRefPtr& o) : m_ptr(o.leakRef()) { }
54         template<typename U> PassRefPtr(const PassRefPtr<U>& o) : m_ptr(o.leakRef()) { }
55
56         ALWAYS_INLINE ~PassRefPtr() { derefIfNotNull(m_ptr); }
57
58         template<typename U> PassRefPtr(const RefPtr<U>&);
59         template<typename U> PassRefPtr(PassRef<U> reference) : m_ptr(&reference.leakRef()) { }
60
61         T* get() const { return m_ptr; }
62
63         T* leakRef() const WARN_UNUSED_RETURN;
64
65         T& operator*() const { return *m_ptr; }
66         T* operator->() const { return m_ptr; }
67
68         bool operator!() const { return !m_ptr; }
69
70         // This conversion operator allows implicit conversion to bool but not to other integer types.
71         typedef T* (PassRefPtr::*UnspecifiedBoolType);
72         operator UnspecifiedBoolType() const { return m_ptr ? &PassRefPtr::m_ptr : nullptr; }
73
74         friend PassRefPtr adoptRef<T>(T*);
75
76     private:
77         PassRefPtr& operator=(const PassRefPtr&) = delete;
78
79         enum AdoptTag { Adopt };
80         PassRefPtr(T* ptr, AdoptTag) : m_ptr(ptr) { }
81
82         mutable T* m_ptr;
83     };
84     
85     template<typename T> template<typename U> inline PassRefPtr<T>::PassRefPtr(const RefPtr<U>& o)
86         : m_ptr(o.get())
87     {
88         T* ptr = m_ptr;
89         refIfNotNull(ptr);
90     }
91
92     template<typename T> inline T* PassRefPtr<T>::leakRef() const
93     {
94         T* ptr = m_ptr;
95         m_ptr = nullptr;
96         return ptr;
97     }
98
99     template<typename T, typename U> inline bool operator==(const PassRefPtr<T>& a, const PassRefPtr<U>& b) 
100     { 
101         return a.get() == b.get(); 
102     }
103
104     template<typename T, typename U> inline bool operator==(const PassRefPtr<T>& a, const RefPtr<U>& b) 
105     { 
106         return a.get() == b.get(); 
107     }
108
109     template<typename T, typename U> inline bool operator==(const RefPtr<T>& a, const PassRefPtr<U>& b) 
110     { 
111         return a.get() == b.get(); 
112     }
113
114     template<typename T, typename U> inline bool operator==(const PassRefPtr<T>& a, U* b) 
115     { 
116         return a.get() == b; 
117     }
118     
119     template<typename T, typename U> inline bool operator==(T* a, const PassRefPtr<U>& b) 
120     {
121         return a == b.get(); 
122     }
123     
124     template<typename T, typename U> inline bool operator!=(const PassRefPtr<T>& a, const PassRefPtr<U>& b) 
125     { 
126         return a.get() != b.get(); 
127     }
128
129     template<typename T, typename U> inline bool operator!=(const PassRefPtr<T>& a, const RefPtr<U>& b) 
130     { 
131         return a.get() != b.get(); 
132     }
133
134     template<typename T, typename U> inline bool operator!=(const RefPtr<T>& a, const PassRefPtr<U>& b) 
135     { 
136         return a.get() != b.get(); 
137     }
138
139     template<typename T, typename U> inline bool operator!=(const PassRefPtr<T>& a, U* b)
140     {
141         return a.get() != b; 
142     }
143
144     template<typename T, typename U> inline bool operator!=(T* a, const PassRefPtr<U>& b) 
145     { 
146         return a != b.get(); 
147     }
148     
149     template<typename T> inline PassRefPtr<T> adoptRef(T* p)
150     {
151         adopted(p);
152         return PassRefPtr<T>(p, PassRefPtr<T>::Adopt);
153     }
154
155     template<typename T, typename U> inline PassRefPtr<T> static_pointer_cast(const PassRefPtr<U>& p) 
156     { 
157         return adoptRef(static_cast<T*>(p.leakRef())); 
158     }
159
160     template <typename T> struct IsSmartPtr<PassRefPtr<T>> {
161         static const bool value = true;
162     };
163
164 } // namespace WTF
165
166 using WTF::PassRefPtr;
167 using WTF::adoptRef;
168 using WTF::static_pointer_cast;
169
170 #endif // WTF_PassRefPtr_h