blob: 8bc789c30cf7f8284ebae926fb43679f4dc50b21 [file] [edit]
/*
* Copyright (C) 2013-2020 Apple Inc. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS''
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
* THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS
* BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
* CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
* SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
* INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
* THE POSSIBILITY OF SUCH DAMAGE.
*/
#pragma once
#include <wtf/Assertions.h>
#include <wtf/ForbidHeapAllocation.h>
#include <wtf/Forward.h>
#include <wtf/GetPtr.h>
#include <wtf/RawPtrTraits.h>
#include <wtf/StdLibExtras.h>
#include <wtf/SwiftBridging.h>
#include <wtf/TypeCasts.h>
#include <wtf/TypeTraits.h>
#if ASAN_ENABLED
extern "C" void __asan_poison_memory_region(void const volatile *addr, size_t size);
extern "C" void __asan_unpoison_memory_region(void const volatile *addr, size_t size);
extern "C" int __asan_address_is_poisoned(void const volatile *addr);
#endif
namespace WTF {
inline void adopted(const void*) { }
template<typename T> struct DefaultRefDerefTraits {
static constexpr bool isDefaultImplementation = true;
static ALWAYS_INLINE T* refIfNotNull(T* ptr)
{
if (ptr) [[likely]]
ptr->ref();
return ptr;
}
static ALWAYS_INLINE T& ref(T& ref)
{
ref.ref();
return ref;
}
static ALWAYS_INLINE void derefIfNotNull(T* ptr)
{
if (ptr) [[likely]]
ptr->deref();
}
};
template<typename T>
concept CanUseDefaultRefDerefTraits = HasRefPtrMemberFunctions<T>::value || !DefaultRefDerefTraits<T>::isDefaultImplementation;
template<typename T, typename PtrTraits, typename RefDerefTraits> class Ref;
template<typename T, typename PtrTraits = RawPtrTraits<T>, typename RefDerefTraits = DefaultRefDerefTraits<T>> Ref<T, PtrTraits, RefDerefTraits> adoptRef(T&);
/**
* @brief Ref is the non-nullable variant of RefPtr.
*
* See RefPtr for full documentation on intrusive reference counting.
*/
template<typename T, typename _PtrTraits, typename RefDerefTraits>
class Ref {
WTF_FORBID_HEAP_ALLOCATION_ALLOWING_PLACEMENT_NEW;
public:
using PtrTraits = _PtrTraits;
static constexpr bool isRef = true;
~Ref()
{
#if ASAN_ENABLED
if (__asan_address_is_poisoned(this))
__asan_unpoison_memory_region(this, sizeof(*this));
#endif
if (auto* ptr = PtrTraits::exchange(m_ptr, nullptr))
RefDerefTraits::derefIfNotNull(ptr);
}
Ref(T& object)
: m_ptr(&RefDerefTraits::ref(object))
{
}
Ref(const Ref& other)
: m_ptr(&RefDerefTraits::ref(other.get()))
{
}
template<typename X, typename Y> Ref(const Ref<X, Y>& other)
: m_ptr(&RefDerefTraits::ref(other.get()))
{
}
Ref(Ref&& other)
: m_ptr(&other.leakRef())
{
ASSERT(m_ptr);
}
template<typename X, typename Y>
Ref(Ref<X, Y>&& other)
: m_ptr(&other.leakRef())
{
ASSERT(m_ptr);
}
template<typename X, typename WeakPtrImplType>
Ref(const WeakRef<X, WeakPtrImplType>& other) requires std::is_convertible_v<X*, T*>
: m_ptr(&RefDerefTraits::ref(other.get()))
{
}
template<typename X, typename Y>
Ref(const CheckedRef<X, Y>& other) requires std::is_convertible_v<X*, T*>
: m_ptr(&RefDerefTraits::ref(other.get()))
{
}
template<typename X, typename Y>
Ref(const ThreadSafeWeakRef<X, Y>& other) requires std::is_convertible_v<X*, T*>
: m_ptr(&RefDerefTraits::ref(other.get()))
{
}
Ref& operator=(T&);
Ref& operator=(Ref&&);
template<typename X, typename Y, typename Z> Ref& operator=(Ref<X, Y, Z>&&);
Ref& operator=(const Ref&);
template<typename X, typename Y, typename Z> Ref& operator=(const Ref<X, Y, Z>&);
template<typename X, typename Y, typename Z> void swap(Ref<X, Y, Z>&);
// Hash table deleted values, which are only constructed and never copied or destroyed.
Ref(HashTableDeletedValueType) : m_ptr(PtrTraits::hashTableDeletedValue()) { }
bool isHashTableDeletedValue() const { return PtrTraits::isHashTableDeletedValue(m_ptr); }
Ref(HashTableEmptyValueType) : m_ptr(hashTableEmptyValue()) { }
bool isHashTableEmptyValue() const { return m_ptr == hashTableEmptyValue(); }
static T* hashTableEmptyValue() { return nullptr; }
const T* ptrAllowingHashTableEmptyValue() const LIFETIME_BOUND { ASSERT(m_ptr || isHashTableEmptyValue()); return PtrTraits::unwrap(m_ptr); }
T* ptrAllowingHashTableEmptyValue() LIFETIME_BOUND { ASSERT(m_ptr || isHashTableEmptyValue()); return PtrTraits::unwrap(m_ptr); }
T* operator->() const LIFETIME_BOUND { ASSERT(m_ptr); return PtrTraits::unwrap(m_ptr); }
T* ptr() const LIFETIME_BOUND RETURNS_NONNULL { ASSERT(m_ptr); return PtrTraits::unwrap(m_ptr); }
T* unsafePtr() const RETURNS_NONNULL { ASSERT(m_ptr); return PtrTraits::unwrap(m_ptr); } // FIXME: Replace with ptr() then remove.
T& get() const LIFETIME_BOUND { ASSERT(m_ptr); return *PtrTraits::unwrap(m_ptr); }
T& unsafeGet() const { ASSERT(m_ptr); return *PtrTraits::unwrap(m_ptr); } // FIXME: Replace with get() then remove.
operator T&() const LIFETIME_BOUND { ASSERT(m_ptr); return *PtrTraits::unwrap(m_ptr); }
bool operator!() const { ASSERT(m_ptr); return !*m_ptr; }
template<typename X, typename Y, typename Z> [[nodiscard]] Ref<T, PtrTraits, RefDerefTraits> replace(Ref<X, Y, Z>&&);
// copyRef() on a r-value reference is never needed.
Ref copyRef() && = delete;
[[nodiscard]] Ref copyRef() const & { return Ref(*m_ptr); }
[[nodiscard]] T& leakRef()
{
ASSERT(m_ptr);
T& result = *PtrTraits::exchange(m_ptr, nullptr);
#if ASAN_ENABLED
__asan_poison_memory_region(this, sizeof(*this));
#endif
return result;
}
private:
friend Ref adoptRef<T>(T&);
template<typename X, typename Y, typename Z> friend class Ref;
template<typename X, typename Y, typename Z, typename U, typename V, typename W>
friend bool operator==(const Ref<X, Y, Z>&, const Ref<U, V, W>&);
enum AdoptTag { Adopt };
Ref(T& object, AdoptTag)
: m_ptr(&object)
{
}
typename PtrTraits::StorageType m_ptr;
} SWIFT_ESCAPABLE;
// Template deduction guide.
template<typename X, typename Y> Ref(const WeakRef<X, Y>&) -> Ref<X, RawPtrTraits<X>, DefaultRefDerefTraits<X>>;
template<typename X, typename Y> Ref(WeakRef<X, Y>&) -> Ref<X, RawPtrTraits<X>, DefaultRefDerefTraits<X>>;
template<typename X, typename Y> Ref(const CheckedRef<X, Y>&) -> Ref<X, RawPtrTraits<X>, DefaultRefDerefTraits<X>>;
template<typename X, typename Y> Ref(CheckedRef<X, Y>&) -> Ref<X, RawPtrTraits<X>, DefaultRefDerefTraits<X>>;
template<typename X, typename Y> Ref(const ThreadSafeWeakRef<X, Y>&) -> Ref<X, RawPtrTraits<X>, DefaultRefDerefTraits<X>>;
template<typename X, typename Y> Ref(ThreadSafeWeakRef<X, Y>&) -> Ref<X, RawPtrTraits<X>, DefaultRefDerefTraits<X>>;
template<typename T, typename _PtrTraits, typename RefDerefTraits> Ref<T, _PtrTraits, RefDerefTraits> adoptRef(T&);
template<typename T, typename _PtrTraits, typename RefDerefTraits>
inline Ref<T, _PtrTraits, RefDerefTraits>& Ref<T, _PtrTraits, RefDerefTraits>::operator=(T& reference)
{
Ref copiedReference = reference;
swap(copiedReference);
return *this;
}
template<typename T, typename _PtrTraits, typename RefDerefTraits>
inline Ref<T, _PtrTraits, RefDerefTraits>& Ref<T, _PtrTraits, RefDerefTraits>::operator=(Ref&& reference)
{
#if ASAN_ENABLED
if (__asan_address_is_poisoned(this))
__asan_unpoison_memory_region(this, sizeof(*this));
#endif
Ref movedReference = WTF::move(reference);
swap(movedReference);
return *this;
}
template<typename T, typename _PtrTraits, typename RefDerefTraits>
template<typename U, typename _OtherPtrTraits, typename OtherRefDerefTraits>
inline Ref<T, _PtrTraits, RefDerefTraits>& Ref<T, _PtrTraits, RefDerefTraits>::operator=(Ref<U, _OtherPtrTraits, OtherRefDerefTraits>&& reference)
{
#if ASAN_ENABLED
if (__asan_address_is_poisoned(this))
__asan_unpoison_memory_region(this, sizeof(*this));
#endif
Ref movedReference = WTF::move(reference);
swap(movedReference);
return *this;
}
template<typename T, typename _PtrTraits, typename RefDerefTraits>
inline Ref<T, _PtrTraits, RefDerefTraits>& Ref<T, _PtrTraits, RefDerefTraits>::operator=(const Ref& reference)
{
#if ASAN_ENABLED
if (__asan_address_is_poisoned(this))
__asan_unpoison_memory_region(this, sizeof(*this));
#endif
Ref copiedReference = reference;
swap(copiedReference);
return *this;
}
template<typename T, typename _PtrTraits, typename RefDerefTraits>
template<typename U, typename _OtherPtrTraits, typename OtherRefDerefTraits>
inline Ref<T, _PtrTraits, RefDerefTraits>& Ref<T, _PtrTraits, RefDerefTraits>::operator=(const Ref<U, _OtherPtrTraits, OtherRefDerefTraits>& reference)
{
#if ASAN_ENABLED
if (__asan_address_is_poisoned(this))
__asan_unpoison_memory_region(this, sizeof(*this));
#endif
Ref copiedReference = reference;
swap(copiedReference);
return *this;
}
template<typename X, typename APtrTraits, typename ARefDerefTraits, typename Y, typename BPtrTraits, typename BRefDerefTraits>
inline bool operator==(const Ref<X, APtrTraits, ARefDerefTraits>& a, const Ref<Y, BPtrTraits, BRefDerefTraits>& b)
{
return a.m_ptr == b.m_ptr;
}
template<typename X, typename _PtrTraits, typename RefDerefTraits>
template<typename Y, typename _OtherPtrTraits, typename OtherRefDerefTraits>
inline void Ref<X, _PtrTraits, RefDerefTraits>::swap(Ref<Y, _OtherPtrTraits, OtherRefDerefTraits>& other)
{
_PtrTraits::swap(m_ptr, other.m_ptr);
}
template<typename X, typename APtrTraits, typename ARefDerefTraits, typename Y, typename BPtrTraits, typename BRefDerefTraits>
requires (!std::same_as<APtrTraits, RawPtrTraits<X>> || !std::same_as<BPtrTraits, RawPtrTraits<Y>>)
inline void swap(Ref<X, APtrTraits, ARefDerefTraits>& a, Ref<Y, BPtrTraits, BRefDerefTraits>& b)
{
a.swap(b);
}
template<typename X, typename _PtrTraits, typename RefDerefTraits>
template<typename Y, typename _OtherPtrTraits, typename OtherRefDerefTraits>
inline Ref<X, _PtrTraits, RefDerefTraits> Ref<X, _PtrTraits, RefDerefTraits>::replace(Ref<Y, _OtherPtrTraits, OtherRefDerefTraits>&& reference)
{
#if ASAN_ENABLED
if (__asan_address_is_poisoned(this))
__asan_unpoison_memory_region(this, sizeof(*this));
#endif
auto oldReference = adoptRef(*m_ptr);
m_ptr = &reference.leakRef();
return oldReference;
}
template<typename X, typename _PtrTraits = RawPtrTraits<X>, typename RefDerefTraits = DefaultRefDerefTraits<X>, typename Y, typename _OtherPtrTraits, typename OtherRefDerefTraits>
inline Ref<X, _PtrTraits, RefDerefTraits> upcast(Ref<Y, _OtherPtrTraits, OtherRefDerefTraits>&& reference)
{
static_assert(!std::same_as<Y, X>, "Unnecessary cast to same type");
static_assert(std::derived_from<Y, X>, "Should be an upcast");
return adoptRef(static_cast<X&>(reference.leakRef()));
}
template<typename X, typename _PtrTraits = RawPtrTraits<X>, typename RefDerefTraits = DefaultRefDerefTraits<X>, typename Y, typename _OtherPtrTraits, typename OtherRefDerefTraits>
ALWAYS_INLINE Ref<X, _PtrTraits, RefDerefTraits> upcast(const Ref<Y, _OtherPtrTraits, OtherRefDerefTraits>& reference)
{
static_assert(!std::same_as<Y, X>, "Unnecessary cast to same type");
static_assert(std::derived_from<Y, X>, "Should be an upcast");
return upcast<X, _PtrTraits, RefDerefTraits>(reference.copyRef());
}
template<typename X, typename _PtrTraits = RawPtrTraits<X>, typename RefDerefTraits = DefaultRefDerefTraits<X>, typename Y, typename _OtherPtrTraits, typename OtherRefDerefTraits>
inline Ref<X, _PtrTraits, RefDerefTraits> unsafeRefDowncast(Ref<Y, _OtherPtrTraits, OtherRefDerefTraits>&& reference)
{
static_assert(!std::same_as<Y, X>, "Unnecessary cast to same type");
static_assert(std::derived_from<X, Y>, "Use upcast instead");
SUPPRESS_MEMORY_UNSAFE_CAST return adoptRef(static_cast<X&>(reference.leakRef()));
}
template<typename X, typename _PtrTraits = RawPtrTraits<X>, typename RefDerefTraits = DefaultRefDerefTraits<X>, typename Y, typename _OtherPtrTraits, typename OtherRefDerefTraits>
ALWAYS_INLINE Ref<X, _PtrTraits, RefDerefTraits> unsafeRefDowncast(const Ref<Y, _OtherPtrTraits, OtherRefDerefTraits>& reference)
{
static_assert(!std::same_as<Y, X>, "Unnecessary cast to same type");
static_assert(std::derived_from<X, Y>, "Use upcast instead");
return unsafeRefDowncast<X, _PtrTraits, RefDerefTraits>(reference.copyRef());
}
template <typename T, typename _PtrTraits, typename RefDerefTraits>
struct GetPtrHelper<Ref<T, _PtrTraits, RefDerefTraits>> {
using PtrType = T*;
using UnderlyingType = T;
static T* getPtr(const Ref<T, _PtrTraits, RefDerefTraits>& p) { return const_cast<T*>(p.ptr()); }
};
template <typename T, typename _PtrTraits, typename RefDerefTraits>
struct IsSmartPtr<Ref<T, _PtrTraits, RefDerefTraits>> {
static constexpr bool value = true;
static constexpr bool isNullable = false;
};
template<typename T, typename _PtrTraits, typename RefDerefTraits>
inline Ref<T, _PtrTraits, RefDerefTraits> adoptRef(T& reference)
{
adopted(&reference);
return Ref<T, _PtrTraits, RefDerefTraits>(reference, Ref<T, _PtrTraits, RefDerefTraits>::Adopt);
}
template<typename T, typename PtrTraits = RawPtrTraits<T>, typename RefDerefTraits = DefaultRefDerefTraits<T>>
requires CanUseDefaultRefDerefTraits<T>
ALWAYS_INLINE CLANG_POINTER_CONVERSION Ref<T, PtrTraits, RefDerefTraits> protect(T& reference)
{
return Ref<T, PtrTraits, RefDerefTraits>(reference);
}
template<typename T, typename PtrTraits, typename RefDerefTraits>
ALWAYS_INLINE CLANG_POINTER_CONVERSION Ref<T, PtrTraits, RefDerefTraits> protect(const Ref<T, PtrTraits, RefDerefTraits>& reference)
{
return reference.copyRef();
}
template<typename T, typename PtrTraits, typename RefDerefTraits>
Ref<T, PtrTraits, RefDerefTraits> protect(Ref<T, PtrTraits, RefDerefTraits>&&)
{
static_assert(WTF::unreachableForType<T>, "Calling protect() on an rvalue is unnecessary; the caller already owns the value.");
}
template<typename ExpectedType, typename ArgType, typename PtrTraits, typename RefDerefTraits>
inline bool is(const Ref<ArgType, PtrTraits, RefDerefTraits>& source)
{
return is<ExpectedType>(source.get());
}
template<typename... ExpectedTypes, typename ArgType, typename PtrTraits, typename RefDerefTraits>
inline bool isAnyOf(const Ref<ArgType, PtrTraits, RefDerefTraits>& source)
{
return isAnyOf<ExpectedTypes...>(source.get());
}
template<typename Target, typename Source, typename PtrTraits, typename RefDerefTraits>
inline Ref<match_constness_t<Source, Target>> uncheckedDowncast(Ref<Source, PtrTraits, RefDerefTraits> source)
{
static_assert(!std::same_as<Source, Target>, "Unnecessary cast to same type");
static_assert(std::derived_from<Target, Source>, "Should be a downcast");
ASSERT_WITH_SECURITY_IMPLICATION(is<Target>(source));
return unsafeRefDowncast<match_constness_t<Source, Target>>(WTF::move(source));
}
template<typename Target, typename Source, typename PtrTraits, typename RefDerefTraits>
inline Ref<match_constness_t<Source, Target>> downcast(Ref<Source, PtrTraits, RefDerefTraits> source)
{
static_assert(!std::same_as<Source, Target>, "Unnecessary cast to same type");
static_assert(std::derived_from<Target, Source>, "Should be a downcast");
RELEASE_ASSERT(is<Target>(source));
return unsafeRefDowncast<match_constness_t<Source, Target>>(WTF::move(source));
}
template<typename Target, typename Source, typename PtrTraits, typename RefDerefTraits>
inline RefPtr<match_constness_t<Source, Target>> dynamicDowncast(Ref<Source, PtrTraits, RefDerefTraits> source)
{
static_assert(!std::same_as<Source, Target>, "Unnecessary cast to same type");
static_assert(std::derived_from<Target, Source>, "Should be a downcast");
if (!is<Target>(source))
return nullptr;
return unsafeRefDowncast<match_constness_t<Source, Target>>(WTF::move(source));
}
template<typename T, typename PtrTraits, typename RefDerefTraits>
inline bool arePointingToEqualData(const Ref<T, PtrTraits, RefDerefTraits>& a, const Ref<T, PtrTraits, RefDerefTraits>& b)
{
return a.ptr() == b.ptr() || a.get() == b.get();
}
} // namespace WTF
using WTF::Ref;
using WTF::adoptRef;
using WTF::arePointingToEqualData;
using WTF::protect;
using WTF::upcast;
using WTF::unsafeRefDowncast;