2017-06-14 23:42:24 +02:00
|
|
|
//==- llvm/ADT/IntrusiveRefCntPtr.h - Smart Refcounting Pointer --*- C++ -*-==//
|
2008-02-22 18:26:05 +01:00
|
|
|
//
|
2019-01-19 09:50:56 +01:00
|
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
2008-02-22 18:26:05 +01:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
2016-12-29 20:59:38 +01:00
|
|
|
// This file defines the RefCountedBase, ThreadSafeRefCountedBase, and
|
|
|
|
// IntrusiveRefCntPtr classes.
|
2008-02-22 18:26:05 +01:00
|
|
|
//
|
2016-12-29 20:59:38 +01:00
|
|
|
// IntrusiveRefCntPtr is a smart pointer to an object which maintains a
|
|
|
|
// reference count. (ThreadSafe)RefCountedBase is a mixin class that adds a
|
|
|
|
// refcount member variable and methods for updating the refcount. An object
|
|
|
|
// that inherits from (ThreadSafe)RefCountedBase deletes itself when its
|
|
|
|
// refcount hits zero.
|
|
|
|
//
|
|
|
|
// For example:
|
|
|
|
//
|
|
|
|
// class MyClass : public RefCountedBase<MyClass> {};
|
|
|
|
//
|
|
|
|
// void foo() {
|
2017-01-04 19:57:31 +01:00
|
|
|
// // Constructing an IntrusiveRefCntPtr increases the pointee's refcount by
|
|
|
|
// // 1 (from 0 in this case).
|
2016-12-29 20:59:38 +01:00
|
|
|
// IntrusiveRefCntPtr<MyClass> Ptr1(new MyClass());
|
|
|
|
//
|
|
|
|
// // Copying an IntrusiveRefCntPtr increases the pointee's refcount by 1.
|
|
|
|
// IntrusiveRefCntPtr<MyClass> Ptr2(Ptr1);
|
|
|
|
//
|
|
|
|
// // Constructing an IntrusiveRefCntPtr has no effect on the object's
|
|
|
|
// // refcount. After a move, the moved-from pointer is null.
|
|
|
|
// IntrusiveRefCntPtr<MyClass> Ptr3(std::move(Ptr1));
|
|
|
|
// assert(Ptr1 == nullptr);
|
|
|
|
//
|
|
|
|
// // Clearing an IntrusiveRefCntPtr decreases the pointee's refcount by 1.
|
|
|
|
// Ptr2.reset();
|
|
|
|
//
|
|
|
|
// // The object deletes itself when we return from the function, because
|
|
|
|
// // Ptr3's destructor decrements its refcount to 0.
|
|
|
|
// }
|
|
|
|
//
|
|
|
|
// You can use IntrusiveRefCntPtr with isa<T>(), dyn_cast<T>(), etc.:
|
|
|
|
//
|
|
|
|
// IntrusiveRefCntPtr<MyClass> Ptr(new MyClass());
|
|
|
|
// OtherClass *Other = dyn_cast<OtherClass>(Ptr); // Ptr.get() not required
|
|
|
|
//
|
|
|
|
// IntrusiveRefCntPtr works with any class that
|
|
|
|
//
|
|
|
|
// - inherits from (ThreadSafe)RefCountedBase,
|
|
|
|
// - has Retain() and Release() methods, or
|
|
|
|
// - specializes IntrusiveRefCntPtrInfo.
|
2008-02-22 18:26:05 +01:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2013-01-10 01:45:19 +01:00
|
|
|
#ifndef LLVM_ADT_INTRUSIVEREFCNTPTR_H
|
|
|
|
#define LLVM_ADT_INTRUSIVEREFCNTPTR_H
|
2008-02-22 18:26:05 +01:00
|
|
|
|
2014-03-05 16:24:33 +01:00
|
|
|
#include <atomic>
|
2015-03-23 19:07:13 +01:00
|
|
|
#include <cassert>
|
|
|
|
#include <cstddef>
|
2020-12-08 23:54:55 +01:00
|
|
|
#include <memory>
|
2008-02-22 18:26:05 +01:00
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
|
2016-12-29 20:59:38 +01:00
|
|
|
/// A CRTP mixin class that adds reference counting to a type.
|
|
|
|
///
|
|
|
|
/// The lifetime of an object which inherits from RefCountedBase is managed by
|
|
|
|
/// calls to Release() and Retain(), which increment and decrement the object's
|
|
|
|
/// refcount, respectively. When a Release() call decrements the refcount to 0,
|
|
|
|
/// the object deletes itself.
|
2016-12-29 20:59:30 +01:00
|
|
|
template <class Derived> class RefCountedBase {
|
2016-12-29 20:59:34 +01:00
|
|
|
mutable unsigned RefCount = 0;
|
2016-12-29 20:59:30 +01:00
|
|
|
|
2020-12-07 21:23:11 +01:00
|
|
|
protected:
|
2016-12-29 20:59:30 +01:00
|
|
|
RefCountedBase() = default;
|
2017-06-14 23:42:24 +02:00
|
|
|
RefCountedBase(const RefCountedBase &) {}
|
2020-12-04 00:28:40 +01:00
|
|
|
RefCountedBase &operator=(const RefCountedBase &) = delete;
|
2016-12-29 20:59:30 +01:00
|
|
|
|
2020-12-07 21:20:08 +01:00
|
|
|
#ifndef NDEBUG
|
|
|
|
~RefCountedBase() {
|
|
|
|
assert(RefCount == 0 &&
|
|
|
|
"Destruction occured when there are still references to this.");
|
|
|
|
}
|
|
|
|
#else
|
|
|
|
// Default the destructor in release builds, A trivial destructor may enable
|
|
|
|
// better codegen.
|
|
|
|
~RefCountedBase() = default;
|
|
|
|
#endif
|
|
|
|
|
|
|
|
public:
|
2016-12-29 20:59:34 +01:00
|
|
|
void Retain() const { ++RefCount; }
|
2017-06-14 23:42:24 +02:00
|
|
|
|
2016-12-29 20:59:30 +01:00
|
|
|
void Release() const {
|
2016-12-29 20:59:34 +01:00
|
|
|
assert(RefCount > 0 && "Reference count is already zero.");
|
|
|
|
if (--RefCount == 0)
|
2016-12-29 20:59:30 +01:00
|
|
|
delete static_cast<const Derived *>(this);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2016-12-29 20:59:38 +01:00
|
|
|
/// A thread-safe version of \c RefCountedBase.
|
2016-12-29 20:59:30 +01:00
|
|
|
template <class Derived> class ThreadSafeRefCountedBase {
|
2020-12-04 03:23:13 +01:00
|
|
|
mutable std::atomic<int> RefCount{0};
|
2014-03-05 16:24:33 +01:00
|
|
|
|
|
|
|
protected:
|
2020-12-04 03:23:13 +01:00
|
|
|
ThreadSafeRefCountedBase() = default;
|
2020-12-04 00:28:40 +01:00
|
|
|
ThreadSafeRefCountedBase(const ThreadSafeRefCountedBase &) {}
|
|
|
|
ThreadSafeRefCountedBase &
|
|
|
|
operator=(const ThreadSafeRefCountedBase &) = delete;
|
2014-03-05 16:24:33 +01:00
|
|
|
|
2020-12-07 21:20:08 +01:00
|
|
|
#ifndef NDEBUG
|
|
|
|
~ThreadSafeRefCountedBase() {
|
|
|
|
assert(RefCount == 0 &&
|
|
|
|
"Destruction occured when there are still references to this.");
|
|
|
|
}
|
|
|
|
#else
|
|
|
|
// Default the destructor in release builds, A trivial destructor may enable
|
|
|
|
// better codegen.
|
|
|
|
~ThreadSafeRefCountedBase() = default;
|
|
|
|
#endif
|
|
|
|
|
2014-03-05 16:24:33 +01:00
|
|
|
public:
|
2016-07-21 17:06:50 +02:00
|
|
|
void Retain() const { RefCount.fetch_add(1, std::memory_order_relaxed); }
|
2014-03-05 16:24:33 +01:00
|
|
|
|
|
|
|
void Release() const {
|
2016-07-21 17:06:50 +02:00
|
|
|
int NewRefCount = RefCount.fetch_sub(1, std::memory_order_acq_rel) - 1;
|
2014-03-05 16:24:33 +01:00
|
|
|
assert(NewRefCount >= 0 && "Reference count was already zero.");
|
|
|
|
if (NewRefCount == 0)
|
2016-12-29 20:59:30 +01:00
|
|
|
delete static_cast<const Derived *>(this);
|
2014-03-05 16:24:33 +01:00
|
|
|
}
|
|
|
|
};
|
2015-02-15 23:00:20 +01:00
|
|
|
|
2016-12-29 20:59:38 +01:00
|
|
|
/// Class you can specialize to provide custom retain/release functionality for
|
|
|
|
/// a type.
|
2008-02-26 22:44:24 +01:00
|
|
|
///
|
2016-12-29 20:59:38 +01:00
|
|
|
/// Usually specializing this class is not necessary, as IntrusiveRefCntPtr
|
|
|
|
/// works with any type which defines Retain() and Release() functions -- you
|
|
|
|
/// can define those functions yourself if RefCountedBase doesn't work for you.
|
|
|
|
///
|
|
|
|
/// One case when you might want to specialize this type is if you have
|
|
|
|
/// - Foo.h defines type Foo and includes Bar.h, and
|
|
|
|
/// - Bar.h uses IntrusiveRefCntPtr<Foo> in inline functions.
|
|
|
|
///
|
|
|
|
/// Because Foo.h includes Bar.h, Bar.h can't include Foo.h in order to pull in
|
|
|
|
/// the declaration of Foo. Without the declaration of Foo, normally Bar.h
|
|
|
|
/// wouldn't be able to use IntrusiveRefCntPtr<Foo>, which wants to call
|
|
|
|
/// T::Retain and T::Release.
|
|
|
|
///
|
|
|
|
/// To resolve this, Bar.h could include a third header, FooFwd.h, which
|
|
|
|
/// forward-declares Foo and specializes IntrusiveRefCntPtrInfo<Foo>. Then
|
|
|
|
/// Bar.h could use IntrusiveRefCntPtr<Foo>, although it still couldn't call any
|
|
|
|
/// functions on Foo itself, because Foo would be an incomplete type.
|
|
|
|
template <typename T> struct IntrusiveRefCntPtrInfo {
|
|
|
|
static void retain(T *obj) { obj->Retain(); }
|
|
|
|
static void release(T *obj) { obj->Release(); }
|
|
|
|
};
|
|
|
|
|
|
|
|
/// A smart pointer to a reference-counted object that inherits from
|
|
|
|
/// RefCountedBase or ThreadSafeRefCountedBase.
|
|
|
|
///
|
|
|
|
/// This class increments its pointee's reference count when it is created, and
|
|
|
|
/// decrements its refcount when it's destroyed (or is changed to point to a
|
|
|
|
/// different object).
|
2016-12-29 20:59:30 +01:00
|
|
|
template <typename T> class IntrusiveRefCntPtr {
|
|
|
|
T *Obj = nullptr;
|
2008-02-22 18:26:05 +01:00
|
|
|
|
2016-12-29 20:59:30 +01:00
|
|
|
public:
|
2017-06-14 23:42:24 +02:00
|
|
|
using element_type = T;
|
2014-09-23 08:06:43 +02:00
|
|
|
|
2016-12-29 20:59:30 +01:00
|
|
|
explicit IntrusiveRefCntPtr() = default;
|
|
|
|
IntrusiveRefCntPtr(T *obj) : Obj(obj) { retain(); }
|
|
|
|
IntrusiveRefCntPtr(const IntrusiveRefCntPtr &S) : Obj(S.Obj) { retain(); }
|
|
|
|
IntrusiveRefCntPtr(IntrusiveRefCntPtr &&S) : Obj(S.Obj) { S.Obj = nullptr; }
|
2008-02-22 18:26:05 +01:00
|
|
|
|
2021-01-27 04:51:22 +01:00
|
|
|
template <class X,
|
|
|
|
std::enable_if_t<std::is_convertible<X *, T *>::value, bool> = true>
|
|
|
|
IntrusiveRefCntPtr(IntrusiveRefCntPtr<X> S) : Obj(S.get()) {
|
2016-12-29 20:59:30 +01:00
|
|
|
S.Obj = nullptr;
|
2008-02-22 18:26:05 +01:00
|
|
|
}
|
|
|
|
|
2021-01-27 04:51:22 +01:00
|
|
|
template <class X,
|
|
|
|
std::enable_if_t<std::is_convertible<X *, T *>::value, bool> = true>
|
2020-12-08 23:54:55 +01:00
|
|
|
IntrusiveRefCntPtr(std::unique_ptr<X> S) : Obj(S.release()) {
|
|
|
|
retain();
|
|
|
|
}
|
|
|
|
|
2017-06-14 23:42:24 +02:00
|
|
|
~IntrusiveRefCntPtr() { release(); }
|
|
|
|
|
2016-12-29 20:59:30 +01:00
|
|
|
IntrusiveRefCntPtr &operator=(IntrusiveRefCntPtr S) {
|
|
|
|
swap(S);
|
|
|
|
return *this;
|
2008-02-22 18:26:05 +01:00
|
|
|
}
|
|
|
|
|
2016-12-29 20:59:30 +01:00
|
|
|
T &operator*() const { return *Obj; }
|
|
|
|
T *operator->() const { return Obj; }
|
|
|
|
T *get() const { return Obj; }
|
|
|
|
explicit operator bool() const { return Obj; }
|
2008-02-22 18:26:05 +01:00
|
|
|
|
2016-12-29 20:59:30 +01:00
|
|
|
void swap(IntrusiveRefCntPtr &other) {
|
|
|
|
T *tmp = other.Obj;
|
|
|
|
other.Obj = Obj;
|
|
|
|
Obj = tmp;
|
2008-02-22 18:26:05 +01:00
|
|
|
}
|
|
|
|
|
2016-12-29 20:59:30 +01:00
|
|
|
void reset() {
|
|
|
|
release();
|
|
|
|
Obj = nullptr;
|
2014-06-03 15:26:18 +02:00
|
|
|
}
|
|
|
|
|
2016-12-29 20:59:30 +01:00
|
|
|
void resetWithoutRelease() { Obj = nullptr; }
|
2014-06-03 15:26:18 +02:00
|
|
|
|
2016-12-29 20:59:30 +01:00
|
|
|
private:
|
|
|
|
void retain() {
|
|
|
|
if (Obj)
|
|
|
|
IntrusiveRefCntPtrInfo<T>::retain(Obj);
|
2014-06-03 15:26:18 +02:00
|
|
|
}
|
2017-06-14 23:42:24 +02:00
|
|
|
|
2016-12-29 20:59:30 +01:00
|
|
|
void release() {
|
|
|
|
if (Obj)
|
|
|
|
IntrusiveRefCntPtrInfo<T>::release(Obj);
|
2014-06-03 15:26:18 +02:00
|
|
|
}
|
|
|
|
|
2016-12-29 20:59:30 +01:00
|
|
|
template <typename X> friend class IntrusiveRefCntPtr;
|
|
|
|
};
|
|
|
|
|
|
|
|
template <class T, class U>
|
|
|
|
inline bool operator==(const IntrusiveRefCntPtr<T> &A,
|
|
|
|
const IntrusiveRefCntPtr<U> &B) {
|
|
|
|
return A.get() == B.get();
|
|
|
|
}
|
|
|
|
|
|
|
|
template <class T, class U>
|
|
|
|
inline bool operator!=(const IntrusiveRefCntPtr<T> &A,
|
|
|
|
const IntrusiveRefCntPtr<U> &B) {
|
|
|
|
return A.get() != B.get();
|
|
|
|
}
|
|
|
|
|
|
|
|
template <class T, class U>
|
|
|
|
inline bool operator==(const IntrusiveRefCntPtr<T> &A, U *B) {
|
|
|
|
return A.get() == B;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <class T, class U>
|
|
|
|
inline bool operator!=(const IntrusiveRefCntPtr<T> &A, U *B) {
|
|
|
|
return A.get() != B;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <class T, class U>
|
|
|
|
inline bool operator==(T *A, const IntrusiveRefCntPtr<U> &B) {
|
|
|
|
return A == B.get();
|
|
|
|
}
|
|
|
|
|
|
|
|
template <class T, class U>
|
|
|
|
inline bool operator!=(T *A, const IntrusiveRefCntPtr<U> &B) {
|
|
|
|
return A != B.get();
|
|
|
|
}
|
|
|
|
|
|
|
|
template <class T>
|
2021-03-15 17:15:34 +01:00
|
|
|
bool operator==(std::nullptr_t, const IntrusiveRefCntPtr<T> &B) {
|
2016-12-29 20:59:30 +01:00
|
|
|
return !B;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <class T>
|
|
|
|
bool operator==(const IntrusiveRefCntPtr<T> &A, std::nullptr_t B) {
|
|
|
|
return B == A;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <class T>
|
|
|
|
bool operator!=(std::nullptr_t A, const IntrusiveRefCntPtr<T> &B) {
|
|
|
|
return !(A == B);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <class T>
|
|
|
|
bool operator!=(const IntrusiveRefCntPtr<T> &A, std::nullptr_t B) {
|
|
|
|
return !(A == B);
|
|
|
|
}
|
|
|
|
|
2016-12-29 20:59:38 +01:00
|
|
|
// Make IntrusiveRefCntPtr work with dyn_cast, isa, and the other idioms from
|
|
|
|
// Casting.h.
|
2016-12-29 20:59:30 +01:00
|
|
|
template <typename From> struct simplify_type;
|
|
|
|
|
|
|
|
template <class T> struct simplify_type<IntrusiveRefCntPtr<T>> {
|
2017-06-14 23:42:24 +02:00
|
|
|
using SimpleType = T *;
|
|
|
|
|
2016-12-29 20:59:30 +01:00
|
|
|
static SimpleType getSimplifiedValue(IntrusiveRefCntPtr<T> &Val) {
|
|
|
|
return Val.get();
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template <class T> struct simplify_type<const IntrusiveRefCntPtr<T>> {
|
2017-06-14 23:42:24 +02:00
|
|
|
using SimpleType = /*const*/ T *;
|
|
|
|
|
2016-12-29 20:59:30 +01:00
|
|
|
static SimpleType getSimplifiedValue(const IntrusiveRefCntPtr<T> &Val) {
|
|
|
|
return Val.get();
|
|
|
|
}
|
|
|
|
};
|
2008-02-22 18:26:05 +01:00
|
|
|
|
2021-01-11 21:12:53 +01:00
|
|
|
/// Factory function for creating intrusive ref counted pointers.
|
|
|
|
template <typename T, typename... Args>
|
|
|
|
IntrusiveRefCntPtr<T> makeIntrusiveRefCnt(Args &&...A) {
|
|
|
|
return IntrusiveRefCntPtr<T>(new T(std::forward<Args>(A)...));
|
|
|
|
}
|
|
|
|
|
2008-02-22 18:26:05 +01:00
|
|
|
} // end namespace llvm
|
|
|
|
|
2013-01-10 01:45:19 +01:00
|
|
|
#endif // LLVM_ADT_INTRUSIVEREFCNTPTR_H
|