Avi Drissman | e4622aa | 2022-09-08 20:36:06 | [diff] [blame] | 1 | // Copyright 2012 The Chromium Authors |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 2 | // Use of this source code is governed by a BSD-style license that can be |
| 3 | // found in the LICENSE file. |
| 4 | |
[email protected] | 2c69139 | 2013-04-25 20:47:18 | [diff] [blame] | 5 | // Weak pointers are pointers to an object that do not affect its lifetime, |
dcheng | efeb19b | 2016-04-05 20:07:40 | [diff] [blame] | 6 | // and which may be invalidated (i.e. reset to nullptr) by the object, or its |
[email protected] | 2c69139 | 2013-04-25 20:47:18 | [diff] [blame] | 7 | // owner, at any time, most commonly when the object is about to be deleted. |
| 8 | |
| 9 | // Weak pointers are useful when an object needs to be accessed safely by one |
| 10 | // or more objects other than its owner, and those callers can cope with the |
| 11 | // object vanishing and e.g. tasks posted to it being silently dropped. |
| 12 | // Reference-counting such an object would complicate the ownership graph and |
| 13 | // make it harder to reason about the object's lifetime. |
| 14 | |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 15 | // EXAMPLE: |
| 16 | // |
[email protected] | 2c69139 | 2013-04-25 20:47:18 | [diff] [blame] | 17 | // class Controller { |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 18 | // public: |
[email protected] | 2c69139 | 2013-04-25 20:47:18 | [diff] [blame] | 19 | // void SpawnWorker() { Worker::StartNew(weak_factory_.GetWeakPtr()); } |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 20 | // void WorkComplete(const Result& result) { ... } |
[email protected] | 2c69139 | 2013-04-25 20:47:18 | [diff] [blame] | 21 | // private: |
[email protected] | ed3f6734 | 2013-05-29 08:04:32 | [diff] [blame] | 22 | // // Member variables should appear before the WeakPtrFactory, to ensure |
| 23 | // // that any WeakPtrs to Controller are invalidated before its members |
| 24 | // // variable's destructors are executed, rendering them invalid. |
Jeremy Roman | 0dd0b2f | 2019-07-16 21:00:43 | [diff] [blame] | 25 | // WeakPtrFactory<Controller> weak_factory_{this}; |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 26 | // }; |
| 27 | // |
| 28 | // class Worker { |
| 29 | // public: |
Daniel Hosseinian | fff4da5 | 2021-01-27 22:13:08 | [diff] [blame] | 30 | // static void StartNew(WeakPtr<Controller> controller) { |
danakj | b57ac1d | 2021-12-03 21:52:49 | [diff] [blame] | 31 | // // Move WeakPtr when possible to avoid atomic refcounting churn on its |
| 32 | // // internal state. |
Daniel Hosseinian | fff4da5 | 2021-01-27 22:13:08 | [diff] [blame] | 33 | // Worker* worker = new Worker(std::move(controller)); |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 34 | // // Kick off asynchronous processing... |
| 35 | // } |
| 36 | // private: |
Daniel Hosseinian | fff4da5 | 2021-01-27 22:13:08 | [diff] [blame] | 37 | // Worker(WeakPtr<Controller> controller) |
| 38 | // : controller_(std::move(controller)) {} |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 39 | // void DidCompleteAsynchronousProcessing(const Result& result) { |
| 40 | // if (controller_) |
| 41 | // controller_->WorkComplete(result); |
| 42 | // } |
| 43 | // WeakPtr<Controller> controller_; |
| 44 | // }; |
| 45 | // |
[email protected] | 2c69139 | 2013-04-25 20:47:18 | [diff] [blame] | 46 | // With this implementation a caller may use SpawnWorker() to dispatch multiple |
| 47 | // Workers and subsequently delete the Controller, without waiting for all |
| 48 | // Workers to have completed. |
| 49 | |
| 50 | // ------------------------- IMPORTANT: Thread-safety ------------------------- |
| 51 | |
Nicolas Ouellet-payeur | ff1eab6 | 2018-07-19 18:41:50 | [diff] [blame] | 52 | // Weak pointers may be passed safely between sequences, but must always be |
davidben | e58877e | 2014-10-22 18:37:11 | [diff] [blame] | 53 | // dereferenced and invalidated on the same SequencedTaskRunner otherwise |
| 54 | // checking the pointer would be racey. |
[email protected] | ed3f6734 | 2013-05-29 08:04:32 | [diff] [blame] | 55 | // |
| 56 | // To ensure correct use, the first time a WeakPtr issued by a WeakPtrFactory |
| 57 | // is dereferenced, the factory and its WeakPtrs become bound to the calling |
Nicolas Ouellet-payeur | ff1eab6 | 2018-07-19 18:41:50 | [diff] [blame] | 58 | // sequence or current SequencedWorkerPool token, and cannot be dereferenced or |
davidben | e58877e | 2014-10-22 18:37:11 | [diff] [blame] | 59 | // invalidated on any other task runner. Bound WeakPtrs can still be handed |
| 60 | // off to other task runners, e.g. to use to post tasks back to object on the |
| 61 | // bound sequence. |
[email protected] | ed3f6734 | 2013-05-29 08:04:32 | [diff] [blame] | 62 | // |
scheib | 3ad0372 | 2015-10-05 22:27:41 | [diff] [blame] | 63 | // If all WeakPtr objects are destroyed or invalidated then the factory is |
| 64 | // unbound from the SequencedTaskRunner/Thread. The WeakPtrFactory may then be |
| 65 | // destroyed, or new WeakPtr objects may be used, from a different sequence. |
| 66 | // |
| 67 | // Thus, at least one WeakPtr object must exist and have been dereferenced on |
Nicolas Ouellet-payeur | ff1eab6 | 2018-07-19 18:41:50 | [diff] [blame] | 68 | // the correct sequence to enforce that other WeakPtr objects will enforce they |
| 69 | // are used on the desired sequence. |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 70 | |
[email protected] | 3b63f8f4 | 2011-03-28 01:54:15 | [diff] [blame] | 71 | #ifndef BASE_MEMORY_WEAK_PTR_H_ |
| 72 | #define BASE_MEMORY_WEAK_PTR_H_ |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 73 | |
dcheng | efeb19b | 2016-04-05 20:07:40 | [diff] [blame] | 74 | #include <cstddef> |
tzik | 403cb6c | 2016-03-10 07:17:25 | [diff] [blame] | 75 | #include <type_traits> |
Sumaid Syed | 22f60eeb | 2021-08-26 05:16:26 | [diff] [blame] | 76 | #include <utility> |
tzik | 403cb6c | 2016-03-10 07:17:25 | [diff] [blame] | 77 | |
[email protected] | 0bea725 | 2011-08-05 15:34:00 | [diff] [blame] | 78 | #include "base/base_export.h" |
Hans Wennborg | 7b53371 | 2020-06-22 20:52:27 | [diff] [blame] | 79 | #include "base/check.h" |
Lukasz Anforowicz | 7623e19 | 2021-12-02 23:19:36 | [diff] [blame] | 80 | #include "base/compiler_specific.h" |
Igor Bukanov | 933bad99 | 2021-09-10 19:47:25 | [diff] [blame] | 81 | #include "base/dcheck_is_on.h" |
danakj | cfcdfb7a | 2023-02-23 01:05:35 | [diff] [blame] | 82 | #include "base/memory/raw_ptr.h" |
[email protected] | 3b63f8f4 | 2011-03-28 01:54:15 | [diff] [blame] | 83 | #include "base/memory/ref_counted.h" |
Paul Semel | 5eac04a1 | 2023-06-07 18:17:32 | [diff] [blame] | 84 | #include "base/memory/safe_ref_traits.h" |
[email protected] | d52426c | 2013-07-30 19:26:40 | [diff] [blame] | 85 | #include "base/sequence_checker.h" |
Nicolas Ouellet-payeur | ff1eab6 | 2018-07-19 18:41:50 | [diff] [blame] | 86 | #include "base/synchronization/atomic_flag.h" |
Joe Mason | 0f6f611 | 2024-02-08 17:48:10 | [diff] [blame] | 87 | |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 88 | namespace base { |
| 89 | |
Scott Haseley | da86547 | 2023-05-10 19:03:11 | [diff] [blame] | 90 | namespace sequence_manager::internal { |
| 91 | class TaskQueueImpl; |
| 92 | } |
| 93 | |
Peter Kasting | 134ef9af | 2024-12-28 02:30:09 | [diff] [blame] | 94 | template <typename T> |
| 95 | class WeakPtr; |
[email protected] | 4c44b844 | 2012-06-15 16:36:12 | [diff] [blame] | 96 | |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 97 | namespace internal { |
| 98 | // These classes are part of the WeakPtr implementation. |
| 99 | // DO NOT USE THESE CLASSES DIRECTLY YOURSELF. |
| 100 | |
Lukasz Anforowicz | 7623e19 | 2021-12-02 23:19:36 | [diff] [blame] | 101 | class BASE_EXPORT TRIVIAL_ABI WeakReference { |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 102 | public: |
Wez | fb4a528 | 2018-05-01 09:02:11 | [diff] [blame] | 103 | // Although Flag is bound to a specific SequencedTaskRunner, it may be |
| 104 | // deleted from another via base::WeakPtr::~WeakPtr(). |
[email protected] | a827a56 | 2014-06-11 00:37:42 | [diff] [blame] | 105 | class BASE_EXPORT Flag : public RefCountedThreadSafe<Flag> { |
[email protected] | d52e970 | 2009-09-17 00:31:09 | [diff] [blame] | 106 | public: |
[email protected] | 1edefc4 | 2011-08-26 17:32:29 | [diff] [blame] | 107 | Flag(); |
[email protected] | 59326aac | 2009-09-25 23:34:34 | [diff] [blame] | 108 | |
hans | 24046fd | 2017-06-29 22:07:42 | [diff] [blame] | 109 | void Invalidate(); |
Hans Wennborg | 4cfa301 | 2017-08-08 03:33:38 | [diff] [blame] | 110 | bool IsValid() const; |
[email protected] | 59326aac | 2009-09-25 23:34:34 | [diff] [blame] | 111 | |
Nicolas Ouellet-payeur | ff1eab6 | 2018-07-19 18:41:50 | [diff] [blame] | 112 | bool MaybeValid() const; |
| 113 | |
Igor Bukanov | 933bad99 | 2021-09-10 19:47:25 | [diff] [blame] | 114 | #if DCHECK_IS_ON() |
Wez | c5acb1ae | 2019-02-14 03:09:32 | [diff] [blame] | 115 | void DetachFromSequence(); |
Scott Haseley | da86547 | 2023-05-10 19:03:11 | [diff] [blame] | 116 | void BindToCurrentSequence(); |
Igor Bukanov | 933bad99 | 2021-09-10 19:47:25 | [diff] [blame] | 117 | #endif |
Wez | c5acb1ae | 2019-02-14 03:09:32 | [diff] [blame] | 118 | |
[email protected] | 59326aac | 2009-09-25 23:34:34 | [diff] [blame] | 119 | private: |
[email protected] | 05b1cd61 | 2011-04-11 20:47:25 | [diff] [blame] | 120 | friend class base::RefCountedThreadSafe<Flag>; |
| 121 | |
| 122 | ~Flag(); |
| 123 | |
Nicolas Ouellet-payeur | ff1eab6 | 2018-07-19 18:41:50 | [diff] [blame] | 124 | SEQUENCE_CHECKER(sequence_checker_); |
| 125 | AtomicFlag invalidated_; |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 126 | }; |
| 127 | |
[email protected] | 3a3d4747 | 2010-07-15 21:03:54 | [diff] [blame] | 128 | WeakReference(); |
Wez | 7eedd9e | 2018-01-23 00:27:05 | [diff] [blame] | 129 | explicit WeakReference(const scoped_refptr<Flag>& flag); |
[email protected] | 20136647 | 2010-07-16 17:22:49 | [diff] [blame] | 130 | ~WeakReference(); |
[email protected] | 59326aac | 2009-09-25 23:34:34 | [diff] [blame] | 131 | |
mek | 7901681 | 2016-06-24 21:29:04 | [diff] [blame] | 132 | WeakReference(const WeakReference& other); |
danakj | cfcdfb7a | 2023-02-23 01:05:35 | [diff] [blame] | 133 | WeakReference& operator=(const WeakReference& other); |
mek | 7901681 | 2016-06-24 21:29:04 | [diff] [blame] | 134 | |
danakj | cfcdfb7a | 2023-02-23 01:05:35 | [diff] [blame] | 135 | WeakReference(WeakReference&& other) noexcept; |
| 136 | WeakReference& operator=(WeakReference&& other) noexcept; |
| 137 | |
| 138 | void Reset(); |
| 139 | // Returns whether the WeakReference is valid, meaning the WeakPtrFactory has |
| 140 | // not invalidated the pointer. Unlike, RefIsMaybeValid(), this may only be |
| 141 | // called from the same sequence as where the WeakPtr was created. |
Nicolas Ouellet-payeur | ff1eab6 | 2018-07-19 18:41:50 | [diff] [blame] | 142 | bool IsValid() const; |
danakj | cfcdfb7a | 2023-02-23 01:05:35 | [diff] [blame] | 143 | // Returns false if the WeakReference is confirmed to be invalid. This call is |
| 144 | // safe to make from any thread, e.g. to optimize away unnecessary work, but |
| 145 | // RefIsValid() must always be called, on the correct sequence, before |
| 146 | // actually using the pointer. |
| 147 | // |
| 148 | // Warning: as with any object, this call is only thread-safe if the WeakPtr |
| 149 | // instance isn't being re-assigned or reset() racily with this call. |
Nicolas Ouellet-payeur | ff1eab6 | 2018-07-19 18:41:50 | [diff] [blame] | 150 | bool MaybeValid() const; |
[email protected] | 59326aac | 2009-09-25 23:34:34 | [diff] [blame] | 151 | |
| 152 | private: |
[email protected] | 1edefc4 | 2011-08-26 17:32:29 | [diff] [blame] | 153 | scoped_refptr<const Flag> flag_; |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 154 | }; |
| 155 | |
[email protected] | 0bea725 | 2011-08-05 15:34:00 | [diff] [blame] | 156 | class BASE_EXPORT WeakReferenceOwner { |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 157 | public: |
[email protected] | 3a3d4747 | 2010-07-15 21:03:54 | [diff] [blame] | 158 | WeakReferenceOwner(); |
| 159 | ~WeakReferenceOwner(); |
[email protected] | 59326aac | 2009-09-25 23:34:34 | [diff] [blame] | 160 | |
[email protected] | 3a3d4747 | 2010-07-15 21:03:54 | [diff] [blame] | 161 | WeakReference GetRef() const; |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 162 | |
Wez | c5acb1ae | 2019-02-14 03:09:32 | [diff] [blame] | 163 | bool HasRefs() const { return !flag_->HasOneRef(); } |
[email protected] | 59326aac | 2009-09-25 23:34:34 | [diff] [blame] | 164 | |
[email protected] | 3a3d4747 | 2010-07-15 21:03:54 | [diff] [blame] | 165 | void Invalidate(); |
François Doray | d1a2bfde | 2025-06-20 00:39:30 | [diff] [blame] | 166 | void InvalidateAndDoom(); |
Scott Haseley | da86547 | 2023-05-10 19:03:11 | [diff] [blame] | 167 | void BindToCurrentSequence(); |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 168 | |
| 169 | private: |
Wez | 85ed948 | 2019-11-13 02:23:31 | [diff] [blame] | 170 | scoped_refptr<WeakReference::Flag> flag_; |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 171 | }; |
| 172 | |
danakj | 45c9178 | 2021-09-29 18:23:57 | [diff] [blame] | 173 | // Forward declaration from safe_ptr.h. |
| 174 | template <typename T> |
danakj | cfcdfb7a | 2023-02-23 01:05:35 | [diff] [blame] | 175 | SafeRef<T> MakeSafeRefFromWeakPtrInternals(internal::WeakReference&& ref, |
danakj | 45c9178 | 2021-09-29 18:23:57 | [diff] [blame] | 176 | T* ptr); |
| 177 | |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 178 | } // namespace internal |
| 179 | |
Peter Kasting | 134ef9af | 2024-12-28 02:30:09 | [diff] [blame] | 180 | template <typename T> |
| 181 | class WeakPtrFactory; |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 182 | |
| 183 | // The WeakPtr class holds a weak reference to |T*|. |
| 184 | // |
| 185 | // This class is designed to be used like a normal pointer. You should always |
| 186 | // null-test an object of this class before using it or invoking a method that |
| 187 | // may result in the underlying object being destroyed. |
| 188 | // |
| 189 | // EXAMPLE: |
| 190 | // |
| 191 | // class Foo { ... }; |
| 192 | // WeakPtr<Foo> foo; |
| 193 | // if (foo) |
| 194 | // foo->method(); |
| 195 | // |
Joe Mason | 192000b | 2025-03-18 22:04:57 | [diff] [blame] | 196 | // WeakPtr intentionally doesn't implement operator== or operator<=>, because |
| 197 | // comparisons of weak references are inherently unstable. If the comparison |
| 198 | // takes validity into account, the result can change at any time as pointers |
| 199 | // are invalidated. If it depends only on the underlying pointer value, even |
| 200 | // after the pointer is invalidated, unrelated WeakPtrs can unexpectedly |
| 201 | // compare equal if the address is reused. |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 202 | template <typename T> |
danakj | cfcdfb7a | 2023-02-23 01:05:35 | [diff] [blame] | 203 | class TRIVIAL_ABI WeakPtr { |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 204 | public: |
Chris Watkins | 091d629 | 2017-12-13 04:25:58 | [diff] [blame] | 205 | WeakPtr() = default; |
danakj | cfcdfb7a | 2023-02-23 01:05:35 | [diff] [blame] | 206 | // NOLINTNEXTLINE(google-explicit-constructor) |
hans | cc65b299 | 2017-06-29 20:35:28 | [diff] [blame] | 207 | WeakPtr(std::nullptr_t) {} |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 208 | |
[email protected] | c33acdb | 2013-03-02 02:31:45 | [diff] [blame] | 209 | // Allow conversion from U to T provided U "is a" T. Note that this |
mek | 7901681 | 2016-06-24 21:29:04 | [diff] [blame] | 210 | // is separate from the (implicit) copy and move constructors. |
Daniel Cheng | 8d4b30d | 2023-11-14 20:25:54 | [diff] [blame] | 211 | template <typename U> |
| 212 | requires(std::convertible_to<U*, T*>) |
Alan Cutter | 6e972c8 | 2022-10-07 05:03:45 | [diff] [blame] | 213 | // NOLINTNEXTLINE(google-explicit-constructor) |
danakj | cfcdfb7a | 2023-02-23 01:05:35 | [diff] [blame] | 214 | WeakPtr(const WeakPtr<U>& other) : ref_(other.ref_), ptr_(other.ptr_) {} |
Daniel Cheng | 8d4b30d | 2023-11-14 20:25:54 | [diff] [blame] | 215 | template <typename U> |
| 216 | requires(std::convertible_to<U*, T*>) |
Alan Cutter | 6e972c8 | 2022-10-07 05:03:45 | [diff] [blame] | 217 | // NOLINTNEXTLINE(google-explicit-constructor) |
danakj | cfcdfb7a | 2023-02-23 01:05:35 | [diff] [blame] | 218 | WeakPtr& operator=(const WeakPtr<U>& other) { |
| 219 | ref_ = other.ref_; |
| 220 | ptr_ = other.ptr_; |
| 221 | return *this; |
hans | cc65b299 | 2017-06-29 20:35:28 | [diff] [blame] | 222 | } |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 223 | |
Daniel Cheng | 8d4b30d | 2023-11-14 20:25:54 | [diff] [blame] | 224 | template <typename U> |
| 225 | requires(std::convertible_to<U*, T*>) |
danakj | cfcdfb7a | 2023-02-23 01:05:35 | [diff] [blame] | 226 | // NOLINTNEXTLINE(google-explicit-constructor) |
| 227 | WeakPtr(WeakPtr<U>&& other) |
| 228 | : ref_(std::move(other.ref_)), ptr_(std::move(other.ptr_)) {} |
Daniel Cheng | 8d4b30d | 2023-11-14 20:25:54 | [diff] [blame] | 229 | template <typename U> |
| 230 | requires(std::convertible_to<U*, T*>) |
danakj | cfcdfb7a | 2023-02-23 01:05:35 | [diff] [blame] | 231 | // NOLINTNEXTLINE(google-explicit-constructor) |
| 232 | WeakPtr& operator=(WeakPtr<U>&& other) { |
| 233 | ref_ = std::move(other.ref_); |
| 234 | ptr_ = std::move(other.ptr_); |
| 235 | return *this; |
hans | 526f714c | 2017-06-29 18:22:36 | [diff] [blame] | 236 | } |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 237 | |
danakj | cfcdfb7a | 2023-02-23 01:05:35 | [diff] [blame] | 238 | T* get() const { return ref_.IsValid() ? ptr_ : nullptr; } |
| 239 | |
| 240 | // Provide access to the underlying T as a reference. Will CHECK() if the T |
| 241 | // pointee is no longer alive. |
[email protected] | f1836f4 | 2012-02-29 06:59:03 | [diff] [blame] | 242 | T& operator*() const { |
Daniel Cheng | 0b308a0 | 2020-10-13 19:17:03 | [diff] [blame] | 243 | CHECK(ref_.IsValid()); |
danakj | cfcdfb7a | 2023-02-23 01:05:35 | [diff] [blame] | 244 | return *ptr_; |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 245 | } |
danakj | cfcdfb7a | 2023-02-23 01:05:35 | [diff] [blame] | 246 | |
| 247 | // Used to call methods on the underlying T. Will CHECK() if the T pointee is |
| 248 | // no longer alive. |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 249 | T* operator->() const { |
Daniel Cheng | 0b308a0 | 2020-10-13 19:17:03 | [diff] [blame] | 250 | CHECK(ref_.IsValid()); |
danakj | cfcdfb7a | 2023-02-23 01:05:35 | [diff] [blame] | 251 | return ptr_; |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 252 | } |
| 253 | |
wez | b9820d4 | 2016-06-22 23:41:04 | [diff] [blame] | 254 | // Allow conditionals to test validity, e.g. if (weak_ptr) {...}; |
Wez | caf863b99 | 2018-05-01 11:03:29 | [diff] [blame] | 255 | explicit operator bool() const { return get() != nullptr; } |
[email protected] | 380b139 | 2013-06-06 05:32:37 | [diff] [blame] | 256 | |
danakj | cfcdfb7a | 2023-02-23 01:05:35 | [diff] [blame] | 257 | // Resets the WeakPtr to hold nothing. |
| 258 | // |
| 259 | // The `get()` method will return `nullptr` thereafter, and `MaybeValid()` |
| 260 | // will be `false`. |
| 261 | void reset() { |
| 262 | ref_.Reset(); |
| 263 | ptr_ = nullptr; |
| 264 | } |
| 265 | |
Erik Chen | 7c00119 | 2024-02-07 23:38:46 | [diff] [blame] | 266 | // Do not use this method. Almost all callers should instead use operator |
| 267 | // bool(). |
| 268 | // |
| 269 | // There are a few rare cases where the caller intentionally needs to check |
| 270 | // validity of a base::WeakPtr on a sequence different from the bound sequence |
| 271 | // as an unavoidable performance optimization. This is the only valid use-case |
| 272 | // for this method. See |
| 273 | // https://docs.google.com/document/d/1IGzq9Nx69GS_2iynGmPWo5sFAD2DcCyBY1zIvZwF7k8 |
| 274 | // for details. |
| 275 | // |
Nicolas Ouellet-payeur | ff1eab6 | 2018-07-19 18:41:50 | [diff] [blame] | 276 | // Returns false if the WeakPtr is confirmed to be invalid. This call is safe |
| 277 | // to make from any thread, e.g. to optimize away unnecessary work, but |
danakj | cfcdfb7a | 2023-02-23 01:05:35 | [diff] [blame] | 278 | // RefIsValid() must always be called, on the correct sequence, before |
Nicolas Ouellet-payeur | ff1eab6 | 2018-07-19 18:41:50 | [diff] [blame] | 279 | // actually using the pointer. |
| 280 | // |
| 281 | // Warning: as with any object, this call is only thread-safe if the WeakPtr |
| 282 | // instance isn't being re-assigned or reset() racily with this call. |
| 283 | bool MaybeValid() const { return ref_.MaybeValid(); } |
| 284 | |
Trent Apted | 30f97fd | 2018-08-21 09:03:47 | [diff] [blame] | 285 | // Returns whether the object |this| points to has been invalidated. This can |
| 286 | // be used to distinguish a WeakPtr to a destroyed object from one that has |
Trent Apted | 453d0b5b | 2018-08-23 00:13:22 | [diff] [blame] | 287 | // been explicitly set to null. |
Trent Apted | 30f97fd | 2018-08-21 09:03:47 | [diff] [blame] | 288 | bool WasInvalidated() const { return ptr_ && !ref_.IsValid(); } |
| 289 | |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 290 | private: |
Peter Kasting | 134ef9af | 2024-12-28 02:30:09 | [diff] [blame] | 291 | template <typename U> |
| 292 | friend class WeakPtr; |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 293 | friend class WeakPtrFactory<T>; |
Alan Cutter | c2d2c47 | 2022-10-20 02:14:43 | [diff] [blame] | 294 | friend class WeakPtrFactory<std::remove_const_t<T>>; |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 295 | |
danakj | cfcdfb7a | 2023-02-23 01:05:35 | [diff] [blame] | 296 | WeakPtr(internal::WeakReference&& ref, T* ptr) |
| 297 | : ref_(std::move(ref)), ptr_(ptr) { |
| 298 | DCHECK(ptr); |
| 299 | } |
| 300 | |
| 301 | internal::WeakReference CloneWeakReference() const { return ref_; } |
| 302 | |
| 303 | internal::WeakReference ref_; |
| 304 | |
| 305 | // This pointer is only valid when ref_.is_valid() is true. Otherwise, its |
| 306 | // value is undefined (as opposed to nullptr). The pointer is allowed to |
| 307 | // dangle as we verify its liveness through `ref_` before allowing access to |
| 308 | // the pointee. We don't use raw_ptr<T> here to prevent WeakPtr from keeping |
| 309 | // the memory allocation in quarantine, as it can't be accessed through the |
| 310 | // WeakPtr. |
| 311 | RAW_PTR_EXCLUSION T* ptr_ = nullptr; |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 312 | }; |
| 313 | |
wez | b9820d4 | 2016-06-22 23:41:04 | [diff] [blame] | 314 | // Allow callers to compare WeakPtrs against nullptr to test validity. |
| 315 | template <class T> |
| 316 | bool operator!=(const WeakPtr<T>& weak_ptr, std::nullptr_t) { |
| 317 | return !(weak_ptr == nullptr); |
| 318 | } |
| 319 | template <class T> |
| 320 | bool operator!=(std::nullptr_t, const WeakPtr<T>& weak_ptr) { |
| 321 | return weak_ptr != nullptr; |
| 322 | } |
| 323 | template <class T> |
| 324 | bool operator==(const WeakPtr<T>& weak_ptr, std::nullptr_t) { |
| 325 | return weak_ptr.get() == nullptr; |
| 326 | } |
| 327 | template <class T> |
| 328 | bool operator==(std::nullptr_t, const WeakPtr<T>& weak_ptr) { |
| 329 | return weak_ptr == nullptr; |
| 330 | } |
| 331 | |
hans | d2a722f | 2017-06-28 21:12:54 | [diff] [blame] | 332 | namespace internal { |
| 333 | class BASE_EXPORT WeakPtrFactoryBase { |
| 334 | protected: |
| 335 | WeakPtrFactoryBase(uintptr_t ptr); |
| 336 | ~WeakPtrFactoryBase(); |
| 337 | internal::WeakReferenceOwner weak_reference_owner_; |
| 338 | uintptr_t ptr_; |
| 339 | }; |
| 340 | } // namespace internal |
| 341 | |
Joe Mason | 0f6f611 | 2024-02-08 17:48:10 | [diff] [blame] | 342 | namespace subtle { |
| 343 | |
| 344 | // Restricts access to WeakPtrFactory::BindToCurrentSequence() to authorized |
| 345 | // callers. |
| 346 | class BASE_EXPORT BindWeakPtrFactoryPassKey { |
| 347 | private: |
Sorin Jianu | 1ed1f6c | 2024-09-28 00:31:40 | [diff] [blame] | 348 | BindWeakPtrFactoryPassKey() = default; |
Joe Mason | 0f6f611 | 2024-02-08 17:48:10 | [diff] [blame] | 349 | |
| 350 | friend class BindWeakPtrFactoryForTesting; |
Joe Mason | 0f6f611 | 2024-02-08 17:48:10 | [diff] [blame] | 351 | friend class sequence_manager::internal::TaskQueueImpl; |
| 352 | }; |
| 353 | |
| 354 | } // namespace subtle |
| 355 | |
[email protected] | 2c69139 | 2013-04-25 20:47:18 | [diff] [blame] | 356 | // A class may be composed of a WeakPtrFactory and thereby |
| 357 | // control how it exposes weak pointers to itself. This is helpful if you only |
| 358 | // need weak pointers within the implementation of a class. This class is also |
| 359 | // useful when working with primitive types. For example, you could have a |
| 360 | // WeakPtrFactory<bool> that is used to pass around a weak reference to a bool. |
| 361 | template <class T> |
hans | d2a722f | 2017-06-28 21:12:54 | [diff] [blame] | 362 | class WeakPtrFactory : public internal::WeakPtrFactoryBase { |
[email protected] | 2c69139 | 2013-04-25 20:47:18 | [diff] [blame] | 363 | public: |
Peter Boström | 511258be | 2021-11-03 01:18:46 | [diff] [blame] | 364 | WeakPtrFactory() = delete; |
| 365 | |
hans | d2a722f | 2017-06-28 21:12:54 | [diff] [blame] | 366 | explicit WeakPtrFactory(T* ptr) |
| 367 | : WeakPtrFactoryBase(reinterpret_cast<uintptr_t>(ptr)) {} |
[email protected] | 2c69139 | 2013-04-25 20:47:18 | [diff] [blame] | 368 | |
Peter Boström | 511258be | 2021-11-03 01:18:46 | [diff] [blame] | 369 | WeakPtrFactory(const WeakPtrFactory&) = delete; |
| 370 | WeakPtrFactory& operator=(const WeakPtrFactory&) = delete; |
| 371 | |
Chris Watkins | 091d629 | 2017-12-13 04:25:58 | [diff] [blame] | 372 | ~WeakPtrFactory() = default; |
[email protected] | 2c69139 | 2013-04-25 20:47:18 | [diff] [blame] | 373 | |
Alan Cutter | c2d2c47 | 2022-10-20 02:14:43 | [diff] [blame] | 374 | WeakPtr<const T> GetWeakPtr() const { |
| 375 | return WeakPtr<const T>(weak_reference_owner_.GetRef(), |
| 376 | reinterpret_cast<const T*>(ptr_)); |
| 377 | } |
Alan Cutter | 4252ed2 | 2022-10-05 09:04:19 | [diff] [blame] | 378 | |
Daniel Cheng | 8d4b30d | 2023-11-14 20:25:54 | [diff] [blame] | 379 | WeakPtr<T> GetWeakPtr() |
| 380 | requires(!std::is_const_v<T>) |
| 381 | { |
Alan Cutter | 4252ed2 | 2022-10-05 09:04:19 | [diff] [blame] | 382 | return WeakPtr<T>(weak_reference_owner_.GetRef(), |
| 383 | reinterpret_cast<T*>(ptr_)); |
| 384 | } |
| 385 | |
Daniel Cheng | 8d4b30d | 2023-11-14 20:25:54 | [diff] [blame] | 386 | WeakPtr<T> GetMutableWeakPtr() const |
| 387 | requires(!std::is_const_v<T>) |
| 388 | { |
hans | d2a722f | 2017-06-28 21:12:54 | [diff] [blame] | 389 | return WeakPtr<T>(weak_reference_owner_.GetRef(), |
| 390 | reinterpret_cast<T*>(ptr_)); |
[email protected] | 2c69139 | 2013-04-25 20:47:18 | [diff] [blame] | 391 | } |
| 392 | |
danakj | 45c9178 | 2021-09-29 18:23:57 | [diff] [blame] | 393 | // Returns a smart pointer that is valid until the WeakPtrFactory is |
| 394 | // invalidated. Unlike WeakPtr, this smart pointer cannot be null, and cannot |
| 395 | // be checked to see if the WeakPtrFactory is invalidated. It's intended to |
| 396 | // express that the pointer will not (intentionally) outlive the `T` object it |
| 397 | // points to, and to crash safely in the case of a bug instead of causing a |
| 398 | // use-after-free. This type provides an alternative to WeakPtr to prevent |
| 399 | // use-after-free bugs without also introducing "fuzzy lifetimes" that can be |
| 400 | // checked for at runtime. |
| 401 | SafeRef<T> GetSafeRef() const { |
| 402 | return internal::MakeSafeRefFromWeakPtrInternals( |
| 403 | weak_reference_owner_.GetRef(), reinterpret_cast<T*>(ptr_)); |
| 404 | } |
| 405 | |
François Doray | d1a2bfde | 2025-06-20 00:39:30 | [diff] [blame] | 406 | // Invalidates all existing weak pointers. |
[email protected] | 2c69139 | 2013-04-25 20:47:18 | [diff] [blame] | 407 | void InvalidateWeakPtrs() { |
| 408 | DCHECK(ptr_); |
| 409 | weak_reference_owner_.Invalidate(); |
| 410 | } |
| 411 | |
François Doray | d1a2bfde | 2025-06-20 00:39:30 | [diff] [blame] | 412 | // Invalidates all existing weak pointers, and makes the factory unusable |
| 413 | // (cannot call GetWeakPtr after this). This is more efficient than |
| 414 | // InvalidateWeakPtrs(). |
| 415 | void InvalidateWeakPtrsAndDoom() { |
[email protected] | 2c69139 | 2013-04-25 20:47:18 | [diff] [blame] | 416 | DCHECK(ptr_); |
François Doray | d1a2bfde | 2025-06-20 00:39:30 | [diff] [blame] | 417 | weak_reference_owner_.InvalidateAndDoom(); |
| 418 | ptr_ = 0; |
[email protected] | 2c69139 | 2013-04-25 20:47:18 | [diff] [blame] | 419 | } |
Scott Haseley | da86547 | 2023-05-10 19:03:11 | [diff] [blame] | 420 | |
François Doray | d1a2bfde | 2025-06-20 00:39:30 | [diff] [blame] | 421 | // Call this method to determine if any weak pointers exist. |
| 422 | bool HasWeakPtrs() const { return ptr_ && weak_reference_owner_.HasRefs(); } |
| 423 | |
Joe Mason | 0f6f611 | 2024-02-08 17:48:10 | [diff] [blame] | 424 | // Rebind the factory to the current sequence. This allows creating an object |
| 425 | // and associated weak pointers on a different thread from the one they are |
| 426 | // used on. |
| 427 | void BindToCurrentSequence(subtle::BindWeakPtrFactoryPassKey) { |
Scott Haseley | da86547 | 2023-05-10 19:03:11 | [diff] [blame] | 428 | weak_reference_owner_.BindToCurrentSequence(); |
| 429 | } |
[email protected] | 2c69139 | 2013-04-25 20:47:18 | [diff] [blame] | 430 | }; |
| 431 | |
[email protected] | 3125d646 | 2009-09-01 20:50:17 | [diff] [blame] | 432 | } // namespace base |
| 433 | |
[email protected] | 3b63f8f4 | 2011-03-28 01:54:15 | [diff] [blame] | 434 | #endif // BASE_MEMORY_WEAK_PTR_H_ |