| OLD | NEW |
| 1 // Copyright (c) 2012 The Chromium Authors. All rights reserved. | 1 // Copyright (c) 2012 The Chromium Authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 // Weak pointers are pointers to an object that do not affect its lifetime, | 5 // Weak pointers are pointers to an object that do not affect its lifetime, |
| 6 // and which may be invalidated (i.e. reset to nullptr) by the object, or its | 6 // and which may be invalidated (i.e. reset to nullptr) by the object, or its |
| 7 // owner, at any time, most commonly when the object is about to be deleted. | 7 // owner, at any time, most commonly when the object is about to be deleted. |
| 8 | 8 |
| 9 // Weak pointers are useful when an object needs to be accessed safely by one | 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 | 10 // or more objects other than its owner, and those callers can cope with the |
| (...skipping 63 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 74 #include <type_traits> | 74 #include <type_traits> |
| 75 | 75 |
| 76 #include "base/base_export.h" | 76 #include "base/base_export.h" |
| 77 #include "base/logging.h" | 77 #include "base/logging.h" |
| 78 #include "base/macros.h" | 78 #include "base/macros.h" |
| 79 #include "base/memory/ref_counted.h" | 79 #include "base/memory/ref_counted.h" |
| 80 #include "base/sequence_checker.h" | 80 #include "base/sequence_checker.h" |
| 81 | 81 |
| 82 namespace base { | 82 namespace base { |
| 83 | 83 |
| 84 template <typename T> class SupportsWeakPtr; | 84 struct DefaultWeakPtrTraits { |
| 85 template <typename T> class WeakPtr; | 85 template <typename T> |
| 86 struct PointerHolder { |
| 87 protected: |
| 88 PointerHolder(T* ptr) : ptr_(ptr) {} |
| 89 void reset() { ptr_ = nullptr; } |
| 90 T* get() const { return ptr_; } |
| 91 |
| 92 private: |
| 93 T* ptr_; |
| 94 }; |
| 95 |
| 96 template <typename T> |
| 97 using PointerType = T*; |
| 98 }; |
| 99 |
| 100 template <typename T, typename Traits = DefaultWeakPtrTraits> |
| 101 class SupportsWeakPtr; |
| 102 |
| 103 template <typename T, typename Pointer = DefaultWeakPtrTraits> |
| 104 class WeakPtr; |
| 105 |
| 106 template <typename T, typename Pointer = DefaultWeakPtrTraits> |
| 107 class WeakPtrFactory; |
| 86 | 108 |
| 87 namespace internal { | 109 namespace internal { |
| 88 // These classes are part of the WeakPtr implementation. | 110 // These classes are part of the WeakPtr implementation. |
| 89 // DO NOT USE THESE CLASSES DIRECTLY YOURSELF. | 111 // DO NOT USE THESE CLASSES DIRECTLY YOURSELF. |
| 90 | 112 |
| 91 class BASE_EXPORT WeakReference { | 113 class BASE_EXPORT WeakReference { |
| 92 public: | 114 public: |
| 93 // Although Flag is bound to a specific SequencedTaskRunner, it may be | 115 // Although Flag is bound to a specific SequencedTaskRunner, it may be |
| 94 // deleted from another via base::WeakPtr::~WeakPtr(). | 116 // deleted from another via base::WeakPtr::~WeakPtr(). |
| 95 class BASE_EXPORT Flag : public RefCountedThreadSafe<Flag> { | 117 class BASE_EXPORT Flag : public RefCountedThreadSafe<Flag> { |
| (...skipping 61 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 157 protected: | 179 protected: |
| 158 explicit WeakPtrBase(const WeakReference& ref); | 180 explicit WeakPtrBase(const WeakReference& ref); |
| 159 | 181 |
| 160 WeakReference ref_; | 182 WeakReference ref_; |
| 161 }; | 183 }; |
| 162 | 184 |
| 163 // This class provides a common implementation of common functions that would | 185 // This class provides a common implementation of common functions that would |
| 164 // otherwise get instantiated separately for each distinct instantiation of | 186 // otherwise get instantiated separately for each distinct instantiation of |
| 165 // SupportsWeakPtr<>. | 187 // SupportsWeakPtr<>. |
| 166 class SupportsWeakPtrBase { | 188 class SupportsWeakPtrBase { |
| 189 private: |
| 190 // This template function uses type inference to find a Base of Derived |
| 191 // which is an instance of SupportsWeakPtr<Base>. We can then safely |
| 192 // static_cast the Base* to a Derived*. |
| 193 template <typename Derived, typename Base, typename Traits> |
| 194 static WeakPtr<Derived, Traits> AsWeakPtrImpl( |
| 195 Derived* t, |
| 196 const SupportsWeakPtr<Base, Traits>&) { |
| 197 WeakPtr<Base, Traits> ptr = t->Base::AsWeakPtr(); |
| 198 return WeakPtr<Derived, Traits>(ptr.ref_, static_cast<Derived*>(ptr.get())); |
| 199 } |
| 200 |
| 167 public: | 201 public: |
| 168 // A safe static downcast of a WeakPtr<Base> to WeakPtr<Derived>. This | 202 // A safe static downcast of a WeakPtr<Base> to WeakPtr<Derived>. This |
| 169 // conversion will only compile if there is exists a Base which inherits | 203 // conversion will only compile if there is exists a Base which inherits |
| 170 // from SupportsWeakPtr<Base>. See base::AsWeakPtr() below for a helper | 204 // from SupportsWeakPtr<Base>. See base::AsWeakPtr() below for a helper |
| 171 // function that makes calling this easier. | 205 // function that makes calling this easier. |
| 172 template<typename Derived> | 206 template <typename Derived> |
| 173 static WeakPtr<Derived> StaticAsWeakPtr(Derived* t) { | 207 static auto StaticAsWeakPtr(Derived* t) |
| 208 -> decltype(AsWeakPtrImpl<Derived>(t, *t)) { |
| 174 static_assert( | 209 static_assert( |
| 175 std::is_base_of<internal::SupportsWeakPtrBase, Derived>::value, | 210 std::is_base_of<internal::SupportsWeakPtrBase, Derived>::value, |
| 176 "AsWeakPtr argument must inherit from SupportsWeakPtr"); | 211 "AsWeakPtr argument must inherit from SupportsWeakPtr"); |
| 177 return AsWeakPtrImpl<Derived>(t, *t); | 212 return AsWeakPtrImpl<Derived>(t, *t); |
| 178 } | 213 } |
| 179 | |
| 180 private: | |
| 181 // This template function uses type inference to find a Base of Derived | |
| 182 // which is an instance of SupportsWeakPtr<Base>. We can then safely | |
| 183 // static_cast the Base* to a Derived*. | |
| 184 template <typename Derived, typename Base> | |
| 185 static WeakPtr<Derived> AsWeakPtrImpl( | |
| 186 Derived* t, const SupportsWeakPtr<Base>&) { | |
| 187 WeakPtr<Base> ptr = t->Base::AsWeakPtr(); | |
| 188 return WeakPtr<Derived>(ptr.ref_, static_cast<Derived*>(ptr.ptr_)); | |
| 189 } | |
| 190 }; | 214 }; |
| 191 | 215 |
| 192 } // namespace internal | 216 } // namespace internal |
| 193 | 217 |
| 194 template <typename T> class WeakPtrFactory; | |
| 195 | |
| 196 // The WeakPtr class holds a weak reference to |T*|. | 218 // The WeakPtr class holds a weak reference to |T*|. |
| 197 // | 219 // |
| 198 // This class is designed to be used like a normal pointer. You should always | 220 // This class is designed to be used like a normal pointer. You should always |
| 199 // null-test an object of this class before using it or invoking a method that | 221 // null-test an object of this class before using it or invoking a method that |
| 200 // may result in the underlying object being destroyed. | 222 // may result in the underlying object being destroyed. |
| 201 // | 223 // |
| 202 // EXAMPLE: | 224 // EXAMPLE: |
| 203 // | 225 // |
| 204 // class Foo { ... }; | 226 // class Foo { ... }; |
| 205 // WeakPtr<Foo> foo; | 227 // WeakPtr<Foo> foo; |
| 206 // if (foo) | 228 // if (foo) |
| 207 // foo->method(); | 229 // foo->method(); |
| 208 // | 230 // |
| 209 template <typename T> | 231 template <typename T, typename Traits> |
| 210 class WeakPtr : public internal::WeakPtrBase { | 232 class WeakPtr : public internal::WeakPtrBase, |
| 233 public Traits::template PointerHolder<T> { |
| 234 private: |
| 235 using PointerHolder = typename Traits::template PointerHolder<T>; |
| 236 |
| 211 public: | 237 public: |
| 212 WeakPtr() : ptr_(nullptr) {} | 238 WeakPtr() : PointerHolder(nullptr) {} |
| 213 | 239 WeakPtr(std::nullptr_t) : PointerHolder(nullptr) {} |
| 214 WeakPtr(std::nullptr_t) : ptr_(nullptr) {} | |
| 215 | 240 |
| 216 // Allow conversion from U to T provided U "is a" T. Note that this | 241 // Allow conversion from U to T provided U "is a" T. Note that this |
| 217 // is separate from the (implicit) copy and move constructors. | 242 // is separate from the (implicit) copy and move constructors. |
| 218 template <typename U> | 243 template <typename U, typename OtherTraits> |
| 219 WeakPtr(const WeakPtr<U>& other) : WeakPtrBase(other), ptr_(other.ptr_) { | 244 WeakPtr(const WeakPtr<U, OtherTraits>& other) |
| 245 : WeakPtrBase(other), PointerHolder(other.get()) {} |
| 246 template <typename U, typename OtherTraits> |
| 247 WeakPtr(WeakPtr<U, OtherTraits>&& other) |
| 248 : WeakPtrBase(std::move(other)), PointerHolder(other.get()) {} |
| 249 |
| 250 T* get() const { |
| 251 if (ref_.is_valid()) |
| 252 return PointerHolder::get(); |
| 253 return nullptr; |
| 220 } | 254 } |
| 221 template <typename U> | |
| 222 WeakPtr(WeakPtr<U>&& other) | |
| 223 : WeakPtrBase(std::move(other)), ptr_(other.ptr_) {} | |
| 224 | |
| 225 T* get() const { return ref_.is_valid() ? ptr_ : nullptr; } | |
| 226 | 255 |
| 227 T& operator*() const { | 256 T& operator*() const { |
| 228 DCHECK(get() != nullptr); | 257 DCHECK(get() != nullptr); |
| 229 return *get(); | 258 return *get(); |
| 230 } | 259 } |
| 231 T* operator->() const { | 260 T* operator->() const { |
| 232 DCHECK(get() != nullptr); | 261 DCHECK(get() != nullptr); |
| 233 return get(); | 262 return get(); |
| 234 } | 263 } |
| 235 | 264 |
| 236 void reset() { | 265 void reset() { |
| 237 ref_ = internal::WeakReference(); | 266 ref_ = internal::WeakReference(); |
| 238 ptr_ = nullptr; | 267 PointerHolder::reset(); |
| 239 } | 268 } |
| 240 | 269 |
| 241 // Allow conditionals to test validity, e.g. if (weak_ptr) {...}; | 270 // Allow conditionals to test validity, e.g. if (weak_ptr) {...}; |
| 242 explicit operator bool() const { return get() != nullptr; } | 271 explicit operator bool() const { return get() != nullptr; } |
| 243 | 272 |
| 244 private: | 273 private: |
| 245 friend class internal::SupportsWeakPtrBase; | 274 friend class internal::SupportsWeakPtrBase; |
| 246 template <typename U> friend class WeakPtr; | 275 template <typename, typename> |
| 247 friend class SupportsWeakPtr<T>; | 276 friend class WeakPtr; |
| 248 friend class WeakPtrFactory<T>; | 277 friend class SupportsWeakPtr<T, Traits>; |
| 249 | 278 friend class WeakPtrFactory<T, Traits>; |
| 250 WeakPtr(const internal::WeakReference& ref, T* ptr) | |
| 251 : WeakPtrBase(ref), | |
| 252 ptr_(ptr) { | |
| 253 } | |
| 254 | 279 |
| 255 // This pointer is only valid when ref_.is_valid() is true. Otherwise, its | 280 // This pointer is only valid when ref_.is_valid() is true. Otherwise, its |
| 256 // value is undefined (as opposed to nullptr). | 281 // value is undefined (as opposed to nullptr). |
| 257 T* ptr_; | 282 WeakPtr(const internal::WeakReference& ref, T* ptr) |
| 283 : WeakPtrBase(ref), PointerHolder(std::move(ptr)) {} |
| 258 }; | 284 }; |
| 259 | 285 |
| 260 // Allow callers to compare WeakPtrs against nullptr to test validity. | 286 // Allow callers to compare WeakPtrs against nullptr to test validity. |
| 261 template <class T> | 287 template <typename T, typename Traits> |
| 262 bool operator!=(const WeakPtr<T>& weak_ptr, std::nullptr_t) { | 288 bool operator!=(const WeakPtr<T, Traits>& weak_ptr, std::nullptr_t) { |
| 263 return !(weak_ptr == nullptr); | 289 return !(weak_ptr == nullptr); |
| 264 } | 290 } |
| 265 template <class T> | 291 template <typename T, typename Traits> |
| 266 bool operator!=(std::nullptr_t, const WeakPtr<T>& weak_ptr) { | 292 bool operator!=(std::nullptr_t, const WeakPtr<T, Traits>& weak_ptr) { |
| 267 return weak_ptr != nullptr; | 293 return weak_ptr != nullptr; |
| 268 } | 294 } |
| 269 template <class T> | 295 template <typename T, typename Traits> |
| 270 bool operator==(const WeakPtr<T>& weak_ptr, std::nullptr_t) { | 296 bool operator==(const WeakPtr<T, Traits>& weak_ptr, std::nullptr_t) { |
| 271 return weak_ptr.get() == nullptr; | 297 return weak_ptr.get() == nullptr; |
| 272 } | 298 } |
| 273 template <class T> | 299 template <typename T, typename Traits> |
| 274 bool operator==(std::nullptr_t, const WeakPtr<T>& weak_ptr) { | 300 bool operator==(std::nullptr_t, const WeakPtr<T, Traits>& weak_ptr) { |
| 275 return weak_ptr == nullptr; | 301 return weak_ptr == nullptr; |
| 276 } | 302 } |
| 277 | 303 |
| 278 // A class may be composed of a WeakPtrFactory and thereby | 304 // A class may be composed of a WeakPtrFactory and thereby |
| 279 // control how it exposes weak pointers to itself. This is helpful if you only | 305 // control how it exposes weak pointers to itself. This is helpful if you only |
| 280 // need weak pointers within the implementation of a class. This class is also | 306 // need weak pointers within the implementation of a class. This class is also |
| 281 // useful when working with primitive types. For example, you could have a | 307 // useful when working with primitive types. For example, you could have a |
| 282 // WeakPtrFactory<bool> that is used to pass around a weak reference to a bool. | 308 // WeakPtrFactory<bool> that is used to pass around a weak reference to a bool. |
| 283 template <class T> | 309 template <typename T, typename Traits> |
| 284 class WeakPtrFactory { | 310 class WeakPtrFactory : public Traits::template PointerHolder<T> { |
| 311 private: |
| 312 using PointerHolder = typename Traits::template PointerHolder<T>; |
| 313 |
| 285 public: | 314 public: |
| 286 explicit WeakPtrFactory(T* ptr) : ptr_(ptr) { | 315 explicit WeakPtrFactory(T* ptr) : PointerHolder(ptr) {} |
| 287 } | |
| 288 | 316 |
| 289 ~WeakPtrFactory() { ptr_ = nullptr; } | 317 ~WeakPtrFactory() { PointerHolder::reset(); } |
| 290 | 318 |
| 291 WeakPtr<T> GetWeakPtr() { | 319 WeakPtr<T, Traits> GetWeakPtr() { |
| 292 DCHECK(ptr_); | 320 DCHECK(PointerHolder::get()); |
| 293 return WeakPtr<T>(weak_reference_owner_.GetRef(), ptr_); | 321 return WeakPtr<T, Traits>(weak_reference_owner_.GetRef(), |
| 322 PointerHolder::get()); |
| 294 } | 323 } |
| 295 | 324 |
| 296 // Call this method to invalidate all existing weak pointers. | 325 // Call this method to invalidate all existing weak pointers. |
| 297 void InvalidateWeakPtrs() { | 326 void InvalidateWeakPtrs() { |
| 298 DCHECK(ptr_); | 327 DCHECK(PointerHolder::get()); |
| 299 weak_reference_owner_.Invalidate(); | 328 weak_reference_owner_.Invalidate(); |
| 300 } | 329 } |
| 301 | 330 |
| 302 // Call this method to determine if any weak pointers exist. | 331 // Call this method to determine if any weak pointers exist. |
| 303 bool HasWeakPtrs() const { | 332 bool HasWeakPtrs() const { |
| 304 DCHECK(ptr_); | 333 DCHECK(PointerHolder::get()); |
| 305 return weak_reference_owner_.HasRefs(); | 334 return weak_reference_owner_.HasRefs(); |
| 306 } | 335 } |
| 307 | 336 |
| 308 private: | 337 private: |
| 309 internal::WeakReferenceOwner weak_reference_owner_; | 338 internal::WeakReferenceOwner weak_reference_owner_; |
| 310 T* ptr_; | |
| 311 DISALLOW_IMPLICIT_CONSTRUCTORS(WeakPtrFactory); | 339 DISALLOW_IMPLICIT_CONSTRUCTORS(WeakPtrFactory); |
| 312 }; | 340 }; |
| 313 | 341 |
| 314 // A class may extend from SupportsWeakPtr to let others take weak pointers to | 342 // A class may extend from SupportsWeakPtr to let others take weak pointers to |
| 315 // it. This avoids the class itself implementing boilerplate to dispense weak | 343 // it. This avoids the class itself implementing boilerplate to dispense weak |
| 316 // pointers. However, since SupportsWeakPtr's destructor won't invalidate | 344 // pointers. However, since SupportsWeakPtr's destructor won't invalidate |
| 317 // weak pointers to the class until after the derived class' members have been | 345 // weak pointers to the class until after the derived class' members have been |
| 318 // destroyed, its use can lead to subtle use-after-destroy issues. | 346 // destroyed, its use can lead to subtle use-after-destroy issues. |
| 319 template <class T> | 347 template <typename T, typename Traits> |
| 320 class SupportsWeakPtr : public internal::SupportsWeakPtrBase { | 348 class SupportsWeakPtr : public internal::SupportsWeakPtrBase { |
| 321 public: | 349 public: |
| 322 SupportsWeakPtr() {} | 350 SupportsWeakPtr() {} |
| 323 | 351 |
| 324 WeakPtr<T> AsWeakPtr() { | 352 WeakPtr<T, Traits> AsWeakPtr() { |
| 325 return WeakPtr<T>(weak_reference_owner_.GetRef(), static_cast<T*>(this)); | 353 return WeakPtr<T, Traits>(weak_reference_owner_.GetRef(), |
| 354 static_cast<T*>(this)); |
| 326 } | 355 } |
| 327 | 356 |
| 328 protected: | 357 protected: |
| 329 ~SupportsWeakPtr() {} | 358 ~SupportsWeakPtr() {} |
| 330 | 359 |
| 331 private: | 360 private: |
| 332 internal::WeakReferenceOwner weak_reference_owner_; | 361 internal::WeakReferenceOwner weak_reference_owner_; |
| 333 DISALLOW_COPY_AND_ASSIGN(SupportsWeakPtr); | 362 DISALLOW_COPY_AND_ASSIGN(SupportsWeakPtr); |
| 334 }; | 363 }; |
| 335 | 364 |
| 336 // Helper function that uses type deduction to safely return a WeakPtr<Derived> | 365 // Helper function that uses type deduction to safely return a WeakPtr<Derived> |
| 337 // when Derived doesn't directly extend SupportsWeakPtr<Derived>, instead it | 366 // when Derived doesn't directly extend SupportsWeakPtr<Derived>, instead it |
| 338 // extends a Base that extends SupportsWeakPtr<Base>. | 367 // extends a Base that extends SupportsWeakPtr<Base>. |
| 339 // | 368 // |
| 340 // EXAMPLE: | 369 // EXAMPLE: |
| 341 // class Base : public base::SupportsWeakPtr<Producer> {}; | 370 // class Base : public base::SupportsWeakPtr<Producer> {}; |
| 342 // class Derived : public Base {}; | 371 // class Derived : public Base {}; |
| 343 // | 372 // |
| 344 // Derived derived; | 373 // Derived derived; |
| 345 // base::WeakPtr<Derived> ptr = base::AsWeakPtr(&derived); | 374 // base::WeakPtr<Derived> ptr = base::AsWeakPtr(&derived); |
| 346 // | 375 // |
| 347 // Note that the following doesn't work (invalid type conversion) since | 376 // Note that the following doesn't work (invalid type conversion) since |
| 348 // Derived::AsWeakPtr() is WeakPtr<Base> SupportsWeakPtr<Base>::AsWeakPtr(), | 377 // Derived::AsWeakPtr() is WeakPtr<Base> SupportsWeakPtr<Base>::AsWeakPtr(), |
| 349 // and there's no way to safely cast WeakPtr<Base> to WeakPtr<Derived> at | 378 // and there's no way to safely cast WeakPtr<Base> to WeakPtr<Derived> at |
| 350 // the caller. | 379 // the caller. |
| 351 // | 380 // |
| 352 // base::WeakPtr<Derived> ptr = derived.AsWeakPtr(); // Fails. | 381 // base::WeakPtr<Derived> ptr = derived.AsWeakPtr(); // Fails. |
| 353 | 382 |
| 354 template <typename Derived> | 383 template <typename Derived> |
| 355 WeakPtr<Derived> AsWeakPtr(Derived* t) { | 384 auto AsWeakPtr(Derived* t) |
| 385 -> decltype(internal::SupportsWeakPtrBase::StaticAsWeakPtr<Derived>(t)) { |
| 356 return internal::SupportsWeakPtrBase::StaticAsWeakPtr<Derived>(t); | 386 return internal::SupportsWeakPtrBase::StaticAsWeakPtr<Derived>(t); |
| 357 } | 387 } |
| 358 | 388 |
| 359 } // namespace base | 389 } // namespace base |
| 360 | 390 |
| 361 #endif // BASE_MEMORY_WEAK_PTR_H_ | 391 #endif // BASE_MEMORY_WEAK_PTR_H_ |
| OLD | NEW |