// 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 #include #include #include #include "base/compiler_specific.h" #include "base/logging.h" #include "base/macros.h" template class scoped_refptr; namespace base { template class RefCounted; template class RefCountedThreadSafe; template scoped_refptr AdoptRef(T* t); namespace subtle { enum AdoptRefTag { kAdoptRefTag }; enum StartRefCountFromZeroTag { kStartRefCountFromZeroTag }; enum StartRefCountFromOneTag { kStartRefCountFromOneTag }; template constexpr bool IsRefCountPreferenceOverridden(const T*, const RefCounted*) { return !std::is_same, std::decay_t>::value; } template constexpr bool IsRefCountPreferenceOverridden( const T*, const RefCountedThreadSafe*) { return !std::is_same, std::decay_t>::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 scoped_refptr AdoptRef(T* obj) { using Tag = std::decay_t; static_assert(std::is_same::value, "Use AdoptRef only for the reference count starts from one."); DCHECK(obj); DCHECK(obj->HasOneRef()); obj->Adopted(); return scoped_refptr(obj, subtle::kAdoptRefTag); } namespace subtle { template scoped_refptr AdoptRefIfNeeded(T* obj, StartRefCountFromZeroTag) { return scoped_refptr(obj); } template scoped_refptr 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. template scoped_refptr MakeRefCounted(Args&&... args) { T* obj = new T(std::forward(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. template scoped_refptr WrapRefCounted(T* t) { return scoped_refptr(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 { // ... // private: // friend class RefCounted; // Allow destruction by RefCounted<>. // ~MyFoo(); // Destructor must be private/protected. // }; // // void some_function() { // scoped_refptr foo = MakeRefCounted(); // foo->Method(param); // // |foo| is released when this function returns // } // // void some_other_function() { // scoped_refptr foo = MakeRefCounted(); // ... // foo = nullptr; // explicitly releases |foo| // ... // if (foo) // foo->Method(param); // } // // The above examples show how scoped_refptr acts like a pointer to T. // Given two scoped_refptr classes, it is also possible to exchange // references between the two objects, like so: // // { // scoped_refptr a = MakeRefCounted(); // scoped_refptr 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 a = MakeRefCounted(); // scoped_refptr 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. 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 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 ::value>::type> scoped_refptr(const scoped_refptr& 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 ::value>::type> scoped_refptr(scoped_refptr&& r) noexcept : ptr_(r.ptr_) { r.ptr_ = nullptr; } ~scoped_refptr() { static_assert(!base::subtle::IsRefCountPreferenceOverridden( static_cast(nullptr), static_cast(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 bool operator==(const scoped_refptr& rhs) const { return ptr_ == rhs.get(); } template bool operator!=(const scoped_refptr& rhs) const { return !operator==(rhs); } template bool operator<(const scoped_refptr& rhs) const { return ptr_ < rhs.get(); } protected: T* ptr_ = nullptr; private: template friend scoped_refptr base::AdoptRef(U*); scoped_refptr(T* p, base::subtle::AdoptRefTag) : ptr_(p) {} // Friend required for move constructors that set r.ptr_ to null. template friend class scoped_refptr; // Non-inline helpers to allow: // class Opaque; // extern template class scoped_refptr; // Otherwise the compiler will complain that Opaque is an incomplete type. static void AddRef(T* ptr); static void Release(T* ptr); }; // static template void scoped_refptr::AddRef(T* ptr) { ptr->AddRef(); } // static template void scoped_refptr::Release(T* ptr) { ptr->Release(); } template bool operator==(const scoped_refptr& lhs, const U* rhs) { return lhs.get() == rhs; } template bool operator==(const T* lhs, const scoped_refptr& rhs) { return lhs == rhs.get(); } template bool operator==(const scoped_refptr& lhs, std::nullptr_t null) { return !static_cast(lhs); } template bool operator==(std::nullptr_t null, const scoped_refptr& rhs) { return !static_cast(rhs); } template bool operator!=(const scoped_refptr& lhs, const U* rhs) { return !operator==(lhs, rhs); } template bool operator!=(const T* lhs, const scoped_refptr& rhs) { return !operator==(lhs, rhs); } template bool operator!=(const scoped_refptr& lhs, std::nullptr_t null) { return !operator==(lhs, null); } template bool operator!=(std::nullptr_t null, const scoped_refptr& rhs) { return !operator==(null, rhs); } template std::ostream& operator<<(std::ostream& out, const scoped_refptr& p) { return out << p.get(); } template void swap(scoped_refptr& lhs, scoped_refptr& rhs) noexcept { lhs.swap(rhs); } #endif // BASE_MEMORY_SCOPED_REFPTR_H_