From caabc5180319d2f476b348210debca977dd82843 Mon Sep 17 00:00:00 2001
From: _Redstone_c_ <myredstone1024@gmail.com>
Date: Thu, 12 Jan 2023 22:06:10 +0800
Subject: [PATCH] feat(templates): add CTUniquePtr and CTSharedPtr etc

---
 .../Source/Public/Templates/SharedPointer.h   | 22 ++++++++++++++++
 .../Source/Public/Templates/UniquePointer.h   | 26 +++++++++++++++++--
 2 files changed, 46 insertions(+), 2 deletions(-)

diff --git a/Redcraft.Utility/Source/Public/Templates/SharedPointer.h b/Redcraft.Utility/Source/Public/Templates/SharedPointer.h
index 167a507..94718bb 100644
--- a/Redcraft.Utility/Source/Public/Templates/SharedPointer.h
+++ b/Redcraft.Utility/Source/Public/Templates/SharedPointer.h
@@ -31,6 +31,28 @@ class TWeakPtr;
 
 NAMESPACE_PRIVATE_BEGIN
 
+template <typename T> struct TIsTSharedRef                : FFalse { };
+template <typename T> struct TIsTSharedRef<TSharedRef<T>> : FTrue  { };
+
+template <typename T> struct TIsTSharedPtr                : FFalse { };
+template <typename T> struct TIsTSharedPtr<TSharedPtr<T>> : FTrue  { };
+
+template <typename T> struct TIsTWeakPtr              : FFalse { };
+template <typename T> struct TIsTWeakPtr<TWeakPtr<T>> : FTrue  { };
+
+NAMESPACE_PRIVATE_END
+
+template <typename T>
+concept CTSharedRef = NAMESPACE_PRIVATE::TIsTSharedRef<TRemoveCV<T>>::Value;
+
+template <typename T>
+concept CTSharedPtr = NAMESPACE_PRIVATE::TIsTSharedPtr<TRemoveCV<T>>::Value;
+
+template <typename T>
+concept CTWeakPtr = NAMESPACE_PRIVATE::TIsTWeakPtr<TRemoveCV<T>>::Value;
+
+NAMESPACE_PRIVATE_BEGIN
+
 // This is the base object for TSharedPtr and uses constructive interference alignment for performance.
 class alignas(Memory::ConstructiveInterference) FSharedController : private FSingleton
 {
diff --git a/Redcraft.Utility/Source/Public/Templates/UniquePointer.h b/Redcraft.Utility/Source/Public/Templates/UniquePointer.h
index b35baae..1a0e5fd 100644
--- a/Redcraft.Utility/Source/Public/Templates/UniquePointer.h
+++ b/Redcraft.Utility/Source/Public/Templates/UniquePointer.h
@@ -123,8 +123,30 @@ struct TDefaultDelete<T[]>
 
 };
 
-/** This is essentially a reference version of TUniquePtr. */
 template <typename T, CInvocable<TRemoveExtent<T>*> E = TDefaultDelete<T>> requires (CObject<T> && !CBoundedArray<T> && (CDestructible<E> || CLValueReference<E>))
+class TUniqueRef;
+
+template <typename T, CInvocable<TRemoveExtent<T>*> E = TDefaultDelete<T>> requires (CObject<T> && !CBoundedArray<T> && (CDestructible<E> || CLValueReference<E>))
+class TUniquePtr;
+
+NAMESPACE_PRIVATE_BEGIN
+
+template <typename T> struct TIsTUniqueRef                : FFalse { };
+template <typename T> struct TIsTUniqueRef<TUniqueRef<T>> : FTrue  { };
+
+template <typename T> struct TIsTUniquePtr                : FFalse { };
+template <typename T> struct TIsTUniquePtr<TUniquePtr<T>> : FTrue  { };
+
+NAMESPACE_PRIVATE_END
+
+template <typename T>
+concept CTUniqueRef = NAMESPACE_PRIVATE::TIsTUniqueRef<TRemoveCV<T>>::Value;
+
+template <typename T>
+concept CTUniquePtr = NAMESPACE_PRIVATE::TIsTUniquePtr<TRemoveCV<T>>::Value;
+
+/** This is essentially a reference version of TUniquePtr. */
+template <typename T, CInvocable<TRemoveExtent<T>*> E> requires (CObject<T> && !CBoundedArray<T> && (CDestructible<E> || CLValueReference<E>))
 class TUniqueRef final : private FSingleton
 {
 public:
@@ -364,7 +386,7 @@ private:
 };
 
 /** Single-ownership smart pointer. Use this when you need an object's lifetime to be strictly bound to the lifetime of a single smart pointer. */
-template <typename T, CInvocable<TRemoveExtent<T>*> E = TDefaultDelete<T>> requires (CObject<T> && !CBoundedArray<T> && (CDestructible<E> || CLValueReference<E>))
+template <typename T, CInvocable<TRemoveExtent<T>*> E> requires (CObject<T> && !CBoundedArray<T> && (CDestructible<E> || CLValueReference<E>))
 class TUniquePtr final : private FNoncopyable
 {
 public: