1 /* Reference-counted smart pointer class
3 Copyright (C) 2016-2023 Free Software Foundation, Inc.
5 This file is part of GDB.
7 This program is free software; you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
20 #ifndef COMMON_GDB_REF_PTR_H
21 #define COMMON_GDB_REF_PTR_H
28 /* An instance of this class either holds a reference to a
29 reference-counted object or is "NULL". Reference counting is
30 handled externally by a policy class. If the object holds a
31 reference, then when the object is destroyed, the reference is
34 Normally an instance is constructed using a pointer. This sort of
35 initialization lets this class manage the lifetime of that
38 Assignment and copy construction will make a new reference as
39 appropriate. Assignment from a plain pointer is disallowed to
40 avoid confusion about whether this acquires a new reference;
41 instead use the "reset" method -- which, like the pointer
42 constructor, transfers ownership.
44 The policy class must provide two static methods:
48 template<typename T
, typename Policy
>
53 /* Create a new NULL instance. */
59 /* Create a new NULL instance. Note that this is not explicit. */
60 ref_ptr (const std::nullptr_t
)
65 /* Create a new instance. OBJ is a reference, management of which
66 is now transferred to this class. */
67 explicit ref_ptr (T
*obj
)
72 /* Copy another instance. */
73 ref_ptr (const ref_ptr
&other
)
77 Policy::incref (m_obj
);
80 /* Transfer ownership from OTHER. */
81 ref_ptr (ref_ptr
&&other
) noexcept
87 /* Destroy this instance. */
91 Policy::decref (m_obj
);
94 /* Copy another instance. */
95 ref_ptr
&operator= (const ref_ptr
&other
)
97 /* Do nothing on self-assignment. */
102 Policy::incref (m_obj
);
107 /* Transfer ownership from OTHER. */
108 ref_ptr
&operator= (ref_ptr
&&other
)
110 /* Do nothing on self-assignment. */
119 /* Change this instance's referent. OBJ is a reference, management
120 of which is now transferred to this class. */
124 Policy::decref (m_obj
);
128 /* Return this instance's referent without changing the state of
135 /* Return this instance's referent, and stop managing this
136 reference. The caller is now responsible for the ownership of
138 ATTRIBUTE_UNUSED_RESULT T
*release ()
146 /* Let users refer to members of the underlying pointer. */
147 T
*operator-> () const
152 /* Acquire a new reference and return a ref_ptr that owns it. */
153 static ref_ptr
<T
, Policy
> new_reference (T
*obj
)
155 Policy::incref (obj
);
156 return ref_ptr
<T
, Policy
> (obj
);
164 template<typename T
, typename Policy
>
165 inline bool operator== (const ref_ptr
<T
, Policy
> &lhs
,
166 const ref_ptr
<T
, Policy
> &rhs
)
168 return lhs
.get () == rhs
.get ();
171 template<typename T
, typename Policy
>
172 inline bool operator== (const ref_ptr
<T
, Policy
> &lhs
, const T
*rhs
)
174 return lhs
.get () == rhs
;
177 template<typename T
, typename Policy
>
178 inline bool operator== (const ref_ptr
<T
, Policy
> &lhs
, const std::nullptr_t
)
180 return lhs
.get () == nullptr;
183 template<typename T
, typename Policy
>
184 inline bool operator== (const T
*lhs
, const ref_ptr
<T
, Policy
> &rhs
)
186 return lhs
== rhs
.get ();
189 template<typename T
, typename Policy
>
190 inline bool operator== (const std::nullptr_t
, const ref_ptr
<T
, Policy
> &rhs
)
192 return nullptr == rhs
.get ();
195 template<typename T
, typename Policy
>
196 inline bool operator!= (const ref_ptr
<T
, Policy
> &lhs
,
197 const ref_ptr
<T
, Policy
> &rhs
)
199 return lhs
.get () != rhs
.get ();
202 template<typename T
, typename Policy
>
203 inline bool operator!= (const ref_ptr
<T
, Policy
> &lhs
, const T
*rhs
)
205 return lhs
.get () != rhs
;
208 template<typename T
, typename Policy
>
209 inline bool operator!= (const ref_ptr
<T
, Policy
> &lhs
, const std::nullptr_t
)
211 return lhs
.get () != nullptr;
214 template<typename T
, typename Policy
>
215 inline bool operator!= (const T
*lhs
, const ref_ptr
<T
, Policy
> &rhs
)
217 return lhs
!= rhs
.get ();
220 template<typename T
, typename Policy
>
221 inline bool operator!= (const std::nullptr_t
, const ref_ptr
<T
, Policy
> &rhs
)
223 return nullptr != rhs
.get ();
228 #endif /* COMMON_GDB_REF_PTR_H */