| // Copyright 2017 The Chromium Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| #ifndef BASE_MEMORY_SCOPED_REFPTR_H_ |
| #define BASE_MEMORY_SCOPED_REFPTR_H_ |
| |
| #include <stddef.h> |
| |
| #include <iosfwd> |
| #include <type_traits> |
| #include <utility> |
| |
| #include "base/compiler_specific.h" |
| #include "base/logging.h" |
| #include "base/macros.h" |
| |
| template <class T> |
| class scoped_refptr; |
| |
| namespace base { |
| |
| template <class, typename> |
| class RefCounted; |
| template <class, typename> |
| class RefCountedThreadSafe; |
| |
| template <typename T> |
| scoped_refptr<T> AdoptRef(T* t); |
| |
| namespace subtle { |
| |
| enum AdoptRefTag { kAdoptRefTag }; |
| enum StartRefCountFromZeroTag { kStartRefCountFromZeroTag }; |
| enum StartRefCountFromOneTag { kStartRefCountFromOneTag }; |
| |
| template <typename T, typename U, typename V> |
| constexpr bool IsRefCountPreferenceOverridden(const T*, |
| const RefCounted<U, V>*) { |
| return !std::is_same<std::decay_t<decltype(T::kRefCountPreference)>, |
| std::decay_t<decltype(U::kRefCountPreference)>>::value; |
| } |
| |
| template <typename T, typename U, typename V> |
| constexpr bool IsRefCountPreferenceOverridden( |
| const T*, |
| const RefCountedThreadSafe<U, V>*) { |
| return !std::is_same<std::decay_t<decltype(T::kRefCountPreference)>, |
| std::decay_t<decltype(U::kRefCountPreference)>>::value; |
| } |
| |
| constexpr bool IsRefCountPreferenceOverridden(...) { |
| return false; |
| } |
| |
| } // namespace subtle |
| |
| // Creates a scoped_refptr from a raw pointer without incrementing the reference |
| // count. Use this only for a newly created object whose reference count starts |
| // from 1 instead of 0. |
| template <typename T> |
| scoped_refptr<T> AdoptRef(T* obj) { |
| using Tag = std::decay_t<decltype(T::kRefCountPreference)>; |
| static_assert(std::is_same<subtle::StartRefCountFromOneTag, Tag>::value, |
| "Use AdoptRef only for the reference count starts from one."); |
| |
| DCHECK(obj); |
| DCHECK(obj->HasOneRef()); |
| obj->Adopted(); |
| return scoped_refptr<T>(obj, subtle::kAdoptRefTag); |
| } |
| |
| namespace subtle { |
| |
| template <typename T> |
| scoped_refptr<T> AdoptRefIfNeeded(T* obj, StartRefCountFromZeroTag) { |
| return scoped_refptr<T>(obj); |
| } |
| |
| template <typename T> |
| scoped_refptr<T> AdoptRefIfNeeded(T* obj, StartRefCountFromOneTag) { |
| return AdoptRef(obj); |
| } |
| |
| } // namespace subtle |
| |
| // Constructs an instance of T, which is a ref counted type, and wraps the |
| // object into a scoped_refptr<T>. |
| template <typename T, typename... Args> |
| scoped_refptr<T> MakeRefCounted(Args&&... args) { |
| T* obj = new T(std::forward<Args>(args)...); |
| return subtle::AdoptRefIfNeeded(obj, T::kRefCountPreference); |
| } |
| |
| // Takes an instance of T, which is a ref counted type, and wraps the object |
| // into a scoped_refptr<T>. |
| template <typename T> |
| scoped_refptr<T> WrapRefCounted(T* t) { |
| return scoped_refptr<T>(t); |
| } |
| |
| } // namespace base |
| |
| // |
| // A smart pointer class for reference counted objects. Use this class instead |
| // of calling AddRef and Release manually on a reference counted object to |
| // avoid common memory leaks caused by forgetting to Release an object |
| // reference. Sample usage: |
| // |
| // class MyFoo : public RefCounted<MyFoo> { |
| // ... |
| // private: |
| // friend class RefCounted<MyFoo>; // Allow destruction by RefCounted<>. |
| // ~MyFoo(); // Destructor must be private/protected. |
| // }; |
| // |
| // void some_function() { |
| // scoped_refptr<MyFoo> foo = MakeRefCounted<MyFoo>(); |
| // foo->Method(param); |
| // // |foo| is released when this function returns |
| // } |
| // |
| // void some_other_function() { |
| // scoped_refptr<MyFoo> foo = MakeRefCounted<MyFoo>(); |
| // ... |
| // foo = nullptr; // explicitly releases |foo| |
| // ... |
| // if (foo) |
| // foo->Method(param); |
| // } |
| // |
| // The above examples show how scoped_refptr<T> acts like a pointer to T. |
| // Given two scoped_refptr<T> classes, it is also possible to exchange |
| // references between the two objects, like so: |
| // |
| // { |
| // scoped_refptr<MyFoo> a = MakeRefCounted<MyFoo>(); |
| // scoped_refptr<MyFoo> b; |
| // |
| // b.swap(a); |
| // // now, |b| references the MyFoo object, and |a| references nullptr. |
| // } |
| // |
| // To make both |a| and |b| in the above example reference the same MyFoo |
| // object, simply use the assignment operator: |
| // |
| // { |
| // scoped_refptr<MyFoo> a = MakeRefCounted<MyFoo>(); |
| // scoped_refptr<MyFoo> b; |
| // |
| // b = a; |
| // // now, |a| and |b| each own a reference to the same MyFoo object. |
| // } |
| // |
| // Also see Chromium's ownership and calling conventions: |
| // https://chromium.googlesource.com/chromium/src/+/lkgr/styleguide/c++/c++.md#object-ownership-and-calling-conventions |
| // Specifically: |
| // If the function (at least sometimes) takes a ref on a refcounted object, |
| // declare the param as scoped_refptr<T>. The caller can decide whether it |
| // wishes to transfer ownership (by calling std::move(t) when passing t) or |
| // retain its ref (by simply passing t directly). |
| // In other words, use scoped_refptr like you would a std::unique_ptr except |
| // in the odd case where it's required to hold on to a ref while handing one |
| // to another component (if a component merely needs to use t on the stack |
| // without keeping a ref: pass t as a raw T*). |
| template <class T> |
| class scoped_refptr { |
| public: |
| typedef T element_type; |
| |
| constexpr scoped_refptr() = default; |
| |
| // Constructs from raw pointer. constexpr if |p| is null. |
| constexpr scoped_refptr(T* p) : ptr_(p) { |
| if (ptr_) |
| AddRef(ptr_); |
| } |
| |
| // Copy constructor. This is required in addition to the copy conversion |
| // constructor below. |
| scoped_refptr(const scoped_refptr& r) : scoped_refptr(r.ptr_) {} |
| |
| // Copy conversion constructor. |
| template <typename U, |
| typename = typename std::enable_if< |
| std::is_convertible<U*, T*>::value>::type> |
| scoped_refptr(const scoped_refptr<U>& r) : scoped_refptr(r.ptr_) {} |
| |
| // Move constructor. This is required in addition to the move conversion |
| // constructor below. |
| scoped_refptr(scoped_refptr&& r) noexcept : ptr_(r.ptr_) { r.ptr_ = nullptr; } |
| |
| // Move conversion constructor. |
| template <typename U, |
| typename = typename std::enable_if< |
| std::is_convertible<U*, T*>::value>::type> |
| scoped_refptr(scoped_refptr<U>&& r) noexcept : ptr_(r.ptr_) { |
| r.ptr_ = nullptr; |
| } |
| |
| ~scoped_refptr() { |
| static_assert(!base::subtle::IsRefCountPreferenceOverridden( |
| static_cast<T*>(nullptr), static_cast<T*>(nullptr)), |
| "It's unsafe to override the ref count preference." |
| " Please remove REQUIRE_ADOPTION_FOR_REFCOUNTED_TYPE" |
| " from subclasses."); |
| if (ptr_) |
| Release(ptr_); |
| } |
| |
| T* get() const { return ptr_; } |
| |
| T& operator*() const { |
| DCHECK(ptr_); |
| return *ptr_; |
| } |
| |
| T* operator->() const { |
| DCHECK(ptr_); |
| return ptr_; |
| } |
| |
| scoped_refptr& operator=(T* p) { return *this = scoped_refptr(p); } |
| |
| // Unified assignment operator. |
| scoped_refptr& operator=(scoped_refptr r) noexcept { |
| swap(r); |
| return *this; |
| } |
| |
| void swap(scoped_refptr& r) noexcept { std::swap(ptr_, r.ptr_); } |
| |
| explicit operator bool() const { return ptr_ != nullptr; } |
| |
| template <typename U> |
| bool operator==(const scoped_refptr<U>& rhs) const { |
| return ptr_ == rhs.get(); |
| } |
| |
| template <typename U> |
| bool operator!=(const scoped_refptr<U>& rhs) const { |
| return !operator==(rhs); |
| } |
| |
| template <typename U> |
| bool operator<(const scoped_refptr<U>& rhs) const { |
| return ptr_ < rhs.get(); |
| } |
| |
| protected: |
| T* ptr_ = nullptr; |
| |
| private: |
| template <typename U> |
| friend scoped_refptr<U> base::AdoptRef(U*); |
| |
| scoped_refptr(T* p, base::subtle::AdoptRefTag) : ptr_(p) {} |
| |
| // Friend required for move constructors that set r.ptr_ to null. |
| template <typename U> |
| friend class scoped_refptr; |
| |
| // Non-inline helpers to allow: |
| // class Opaque; |
| // extern template class scoped_refptr<Opaque>; |
| // Otherwise the compiler will complain that Opaque is an incomplete type. |
| static void AddRef(T* ptr); |
| static void Release(T* ptr); |
| }; |
| |
| // static |
| template <typename T> |
| void scoped_refptr<T>::AddRef(T* ptr) { |
| ptr->AddRef(); |
| } |
| |
| // static |
| template <typename T> |
| void scoped_refptr<T>::Release(T* ptr) { |
| ptr->Release(); |
| } |
| |
| template <typename T, typename U> |
| bool operator==(const scoped_refptr<T>& lhs, const U* rhs) { |
| return lhs.get() == rhs; |
| } |
| |
| template <typename T, typename U> |
| bool operator==(const T* lhs, const scoped_refptr<U>& rhs) { |
| return lhs == rhs.get(); |
| } |
| |
| template <typename T> |
| bool operator==(const scoped_refptr<T>& lhs, std::nullptr_t null) { |
| return !static_cast<bool>(lhs); |
| } |
| |
| template <typename T> |
| bool operator==(std::nullptr_t null, const scoped_refptr<T>& rhs) { |
| return !static_cast<bool>(rhs); |
| } |
| |
| template <typename T, typename U> |
| bool operator!=(const scoped_refptr<T>& lhs, const U* rhs) { |
| return !operator==(lhs, rhs); |
| } |
| |
| template <typename T, typename U> |
| bool operator!=(const T* lhs, const scoped_refptr<U>& rhs) { |
| return !operator==(lhs, rhs); |
| } |
| |
| template <typename T> |
| bool operator!=(const scoped_refptr<T>& lhs, std::nullptr_t null) { |
| return !operator==(lhs, null); |
| } |
| |
| template <typename T> |
| bool operator!=(std::nullptr_t null, const scoped_refptr<T>& rhs) { |
| return !operator==(null, rhs); |
| } |
| |
| template <typename T> |
| std::ostream& operator<<(std::ostream& out, const scoped_refptr<T>& p) { |
| return out << p.get(); |
| } |
| |
| template <typename T> |
| void swap(scoped_refptr<T>& lhs, scoped_refptr<T>& rhs) noexcept { |
| lhs.swap(rhs); |
| } |
| |
| #endif // BASE_MEMORY_SCOPED_REFPTR_H_ |