2020-01-18 08:38:21 +00:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2018-2020, Andreas Kling <kling@serenityos.org>
|
|
|
|
*
|
2021-04-22 08:24:48 +00:00
|
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
2020-01-18 08:38:21 +00:00
|
|
|
*/
|
|
|
|
|
2018-10-10 09:53:07 +00:00
|
|
|
#pragma once
|
|
|
|
|
2021-10-07 17:12:37 +00:00
|
|
|
#ifdef KERNEL
|
|
|
|
# include <Kernel/Library/ThreadSafeRefCounted.h>
|
|
|
|
#else
|
|
|
|
|
|
|
|
# include <AK/Assertions.h>
|
|
|
|
# include <AK/Checked.h>
|
|
|
|
# include <AK/Noncopyable.h>
|
|
|
|
# include <AK/Platform.h>
|
|
|
|
# include <AK/StdLibExtras.h>
|
2018-10-10 09:53:07 +00:00
|
|
|
|
|
|
|
namespace AK {
|
|
|
|
|
2018-12-19 21:28:09 +00:00
|
|
|
template<class T>
|
2020-12-06 02:47:20 +00:00
|
|
|
constexpr auto call_will_be_destroyed_if_present(const T* object) -> decltype(const_cast<T*>(object)->will_be_destroyed(), TrueType {})
|
2018-12-19 21:28:09 +00:00
|
|
|
{
|
2020-04-17 10:41:45 +00:00
|
|
|
const_cast<T*>(object)->will_be_destroyed();
|
2019-05-28 09:53:16 +00:00
|
|
|
return {};
|
2018-12-19 21:28:09 +00:00
|
|
|
}
|
|
|
|
|
2021-11-06 17:55:32 +00:00
|
|
|
// NOLINTNEXTLINE(cert-dcl50-cpp) variadic argument used to implement "is detected" pattern
|
2018-12-19 21:28:09 +00:00
|
|
|
constexpr auto call_will_be_destroyed_if_present(...) -> FalseType
|
|
|
|
{
|
2019-05-28 09:53:16 +00:00
|
|
|
return {};
|
2018-12-19 21:28:09 +00:00
|
|
|
}
|
|
|
|
|
2019-01-01 01:38:09 +00:00
|
|
|
template<class T>
|
2020-12-06 02:47:20 +00:00
|
|
|
constexpr auto call_one_ref_left_if_present(const T* object) -> decltype(const_cast<T*>(object)->one_ref_left(), TrueType {})
|
2019-01-01 01:38:09 +00:00
|
|
|
{
|
2020-04-17 10:41:45 +00:00
|
|
|
const_cast<T*>(object)->one_ref_left();
|
2019-05-28 09:53:16 +00:00
|
|
|
return {};
|
2019-01-01 01:38:09 +00:00
|
|
|
}
|
|
|
|
|
2021-11-06 17:55:32 +00:00
|
|
|
// NOLINTNEXTLINE(cert-dcl50-cpp) variadic argument used to implement "is detected" pattern
|
2019-06-21 13:29:31 +00:00
|
|
|
constexpr auto call_one_ref_left_if_present(...) -> FalseType
|
2019-01-01 01:38:09 +00:00
|
|
|
{
|
2019-05-28 09:53:16 +00:00
|
|
|
return {};
|
2019-01-01 01:38:09 +00:00
|
|
|
}
|
|
|
|
|
2019-06-21 13:29:31 +00:00
|
|
|
class RefCountedBase {
|
2020-08-26 19:52:24 +00:00
|
|
|
AK_MAKE_NONCOPYABLE(RefCountedBase);
|
|
|
|
AK_MAKE_NONMOVABLE(RefCountedBase);
|
|
|
|
|
2018-10-10 09:53:07 +00:00
|
|
|
public:
|
2020-11-11 22:21:01 +00:00
|
|
|
using RefCountType = unsigned int;
|
2020-11-03 14:51:56 +00:00
|
|
|
using AllowOwnPtr = FalseType;
|
2020-06-12 13:33:38 +00:00
|
|
|
|
2021-10-08 20:11:39 +00:00
|
|
|
ALWAYS_INLINE void ref() const
|
2021-06-02 23:12:09 +00:00
|
|
|
{
|
2021-10-07 17:12:37 +00:00
|
|
|
VERIFY(m_ref_count > 0);
|
|
|
|
VERIFY(!Checked<RefCountType>::addition_would_overflow(m_ref_count, 1));
|
|
|
|
++m_ref_count;
|
2021-06-02 23:12:09 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
[[nodiscard]] bool try_ref() const
|
|
|
|
{
|
2021-10-07 17:12:37 +00:00
|
|
|
if (m_ref_count == 0)
|
|
|
|
return false;
|
|
|
|
ref();
|
|
|
|
return true;
|
2021-06-02 23:12:09 +00:00
|
|
|
}
|
|
|
|
|
2021-10-07 17:12:37 +00:00
|
|
|
[[nodiscard]] RefCountType ref_count() const { return m_ref_count; }
|
2018-10-10 09:53:07 +00:00
|
|
|
|
|
|
|
protected:
|
2021-01-10 23:29:28 +00:00
|
|
|
RefCountedBase() = default;
|
2021-10-07 17:12:37 +00:00
|
|
|
~RefCountedBase() { VERIFY(!m_ref_count); }
|
2018-10-10 09:53:07 +00:00
|
|
|
|
2021-10-08 20:11:39 +00:00
|
|
|
ALWAYS_INLINE RefCountType deref_base() const
|
2021-06-02 23:12:09 +00:00
|
|
|
{
|
2021-10-07 17:12:37 +00:00
|
|
|
VERIFY(m_ref_count);
|
|
|
|
return --m_ref_count;
|
2021-06-02 23:12:09 +00:00
|
|
|
}
|
2019-03-16 12:48:56 +00:00
|
|
|
|
2021-10-07 17:12:37 +00:00
|
|
|
RefCountType mutable m_ref_count { 1 };
|
2018-10-10 09:53:07 +00:00
|
|
|
};
|
|
|
|
|
2019-03-16 11:47:19 +00:00
|
|
|
template<typename T>
|
2019-06-21 13:29:31 +00:00
|
|
|
class RefCounted : public RefCountedBase {
|
2019-03-16 11:47:19 +00:00
|
|
|
public:
|
2020-12-29 20:14:21 +00:00
|
|
|
bool unref() const
|
2019-03-16 11:47:19 +00:00
|
|
|
{
|
2020-06-12 13:38:24 +00:00
|
|
|
auto new_ref_count = deref_base();
|
|
|
|
if (new_ref_count == 0) {
|
2020-04-17 10:41:45 +00:00
|
|
|
call_will_be_destroyed_if_present(static_cast<const T*>(this));
|
|
|
|
delete static_cast<const T*>(this);
|
2020-12-29 20:14:21 +00:00
|
|
|
return true;
|
2020-06-12 13:38:24 +00:00
|
|
|
} else if (new_ref_count == 1) {
|
2020-04-17 10:41:45 +00:00
|
|
|
call_one_ref_left_if_present(static_cast<const T*>(this));
|
2019-03-16 11:47:19 +00:00
|
|
|
}
|
2020-12-29 20:14:21 +00:00
|
|
|
return false;
|
2019-03-16 11:47:19 +00:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2018-10-10 09:53:07 +00:00
|
|
|
}
|
|
|
|
|
2019-06-21 13:29:31 +00:00
|
|
|
using AK::RefCounted;
|
2021-08-15 10:26:22 +00:00
|
|
|
using AK::RefCountedBase;
|
2021-10-07 17:12:37 +00:00
|
|
|
|
|
|
|
#endif
|