feat(concept): add basic concepts and the corresponding testing

Redcraft.Utility/Source/Public/Concepts/BuiltinType.h

@@ -0,0 +1,18 @@
+#pragma once
+
+#include "CoreTypes.h"
+#include "TypeTraits/TypeTraits.h"
+
+NAMESPACE_REDCRAFT_BEGIN
+NAMESPACE_MODULE_BEGIN(Redcraft)
+NAMESPACE_MODULE_BEGIN(Utility)
+
+template <typename T> concept CIntegral           = TIsIntegral<T>::Value;
+template <typename T> concept CSignedIntegral     = CIntegral<T> && TIsSigned<T>::Value;
+template <typename T> concept CUnsignedIntegral   = CIntegral<T> && TIsUnsigned<T>::Value;
+template <typename T> concept CNonBooleanIntegral = CIntegral<T> && !TIsSame<typename TRemoveCVRef<T>::Type, bool>::Value;
+template <typename T> concept CFloatingPoint      = TIsFloatingPoint<T>::Value;
+
+NAMESPACE_MODULE_END(Utility)
+NAMESPACE_MODULE_END(Redcraft)
+NAMESPACE_REDCRAFT_END

Redcraft.Utility/Source/Public/Concepts/Concepts.h

@@ -0,0 +1,30 @@
+#pragma once
+
+#include "CoreTypes.h"
+#include "Concepts/Same.h"
+#include "Concepts/Derived.h"
+#include "Concepts/BuiltinType.h"
+#include "Concepts/Convertible.h"
+#include "Concepts/Destructible.h"
+#include "Concepts/Constructible.h"
+
+//template <typename T> concept CBooleanTestable; // Prerequisites: Forward
+//template <typename T> concept CMovable;         // Prerequisites: CAssignableFrom
+//template <typename T> concept CCopyable;        // Prerequisites: CAssignableFrom
+//template <typename T> concept CSemiregular;     // Prerequisites: CCopyable
+//template <typename T> concept CRegular;         // Prerequisites: CEqualityComparable
+
+//template <typename T, typename U> concept CAssignableFrom;         // Prerequisites: Forward
+//template <typename T> concept CEqualityComparable;                 // Prerequisites: CBooleanTestable
+//template <typename T, typename U> concept CEqualityComparableWith; // Prerequisites: CBooleanTestable
+//template <typename T> concept CTotallyOrdered;                     // Prerequisites: CBooleanTestable
+//template <typename T, typename U> concept CTotallyOrderedWith;     // Prerequisites: CBooleanTestable
+
+//template <typename T, typename U> concept CCommonWith;                     // Prerequisites: Declval
+//template <typename T, typename U> concept CCommonReferenceWith;            // Prerequisites: Declval
+//template <typename F, typename... Args> concept CInvocable;                // Prerequisites: Invoke, Forward
+//template <typename F, typename... Args> concept CRegularInvocable;         // Prerequisites: Invoke, Forward
+//template <typename F, typename... Args> concept CPredicate;                // Prerequisites: CBooleanTestable, CRegularInvocable
+//template <typename F, typename T, typename U> concept CRelation;           // Prerequisites: CPredicate
+//template <typename F, typename T, typename U> concept CEquivalenceRelation // Prerequisites: CRelation
+//template <typename F, typename T, typename U> concept CStrictWeakOrder     // Prerequisites: CRelation

Redcraft.Utility/Source/Public/Concepts/Constructible.h

@@ -0,0 +1,30 @@
+#pragma once
+
+#include "CoreTypes.h"
+#include "TypeTraits/TypeTraits.h"
+#include "Concepts/Convertible.h"
+
+#include <new>
+
+NAMESPACE_REDCRAFT_BEGIN
+NAMESPACE_MODULE_BEGIN(Redcraft)
+NAMESPACE_MODULE_BEGIN(Utility)
+
+template <typename T, typename... Args>
+concept CConstructibleFrom = CDestructible<T> && TIsConstructible<T, Args...>::Value;
+
+template <typename T>
+concept CDefaultInitializable = CConstructibleFrom<T> && requires { T{}; ::new(static_cast<void*>(nullptr)) T; };
+
+template <typename T>
+concept CMoveConstructible = CConstructibleFrom<T, T> && CConvertibleTo<T, T>;
+
+template <typename T>
+concept CCopyConstructible = CMoveConstructible<T> &&
+	CConstructibleFrom<T, T&>       && CConvertibleTo<T&, T> &&
+	CConstructibleFrom<T, const T&> && CConvertibleTo<const T&, T> &&
+	CConstructibleFrom<T, const T>  && CConvertibleTo<const T, T>;
+
+NAMESPACE_MODULE_END(Utility)
+NAMESPACE_MODULE_END(Redcraft)
+NAMESPACE_REDCRAFT_END

Redcraft.Utility/Source/Public/Concepts/Convertible.h

@@ -0,0 +1,15 @@
+#pragma once
+
+#include "CoreTypes.h"
+#include "TypeTraits/TypeTraits.h"
+
+NAMESPACE_REDCRAFT_BEGIN
+NAMESPACE_MODULE_BEGIN(Redcraft)
+NAMESPACE_MODULE_BEGIN(Utility)
+
+template <typename T, typename U>
+concept CConvertibleTo = TIsConvertible<T, U>::Value && requires(T(&Func)()) { static_cast<U>(Func()); };
+
+NAMESPACE_MODULE_END(Utility)
+NAMESPACE_MODULE_END(Redcraft)
+NAMESPACE_REDCRAFT_END

Redcraft.Utility/Source/Public/Concepts/Derived.h

@@ -0,0 +1,16 @@
+#pragma once
+
+#include "CoreTypes.h"
+#include "TypeTraits/TypeTraits.h"
+#include "Concepts/Convertible.h"
+
+NAMESPACE_REDCRAFT_BEGIN
+NAMESPACE_MODULE_BEGIN(Redcraft)
+NAMESPACE_MODULE_BEGIN(Utility)
+
+template <typename T, typename U>
+concept CDerivedFrom = TIsBaseOf<U, T>::Value && CConvertibleTo<const volatile T*, const volatile U*>;
+
+NAMESPACE_MODULE_END(Utility)
+NAMESPACE_MODULE_END(Redcraft)
+NAMESPACE_REDCRAFT_END

Redcraft.Utility/Source/Public/Concepts/Destructible.h

@@ -0,0 +1,15 @@
+#pragma once
+
+#include "CoreTypes.h"
+#include "TypeTraits/TypeTraits.h"
+
+NAMESPACE_REDCRAFT_BEGIN
+NAMESPACE_MODULE_BEGIN(Redcraft)
+NAMESPACE_MODULE_BEGIN(Utility)
+
+template <typename T>
+concept CDestructible = TIsDestructible<T>::Value;
+
+NAMESPACE_MODULE_END(Utility)
+NAMESPACE_MODULE_END(Redcraft)
+NAMESPACE_REDCRAFT_END

Redcraft.Utility/Source/Public/Concepts/Same.h

@@ -0,0 +1,15 @@
+#pragma once
+
+#include "CoreTypes.h"
+#include "TypeTraits/TypeTraits.h"
+
+NAMESPACE_REDCRAFT_BEGIN
+NAMESPACE_MODULE_BEGIN(Redcraft)
+NAMESPACE_MODULE_BEGIN(Utility)
+
+template <typename T, typename U>
+concept CSameAs = TIsSame<T, U>::Value && TIsSame<U, T>::Value;
+
+NAMESPACE_MODULE_END(Utility)
+NAMESPACE_MODULE_END(Redcraft)
+NAMESPACE_REDCRAFT_END

Redcraft.Utility/Source/Public/Testing/ConceptsTesting.h

@@ -0,0 +1,13 @@
+#pragma once
+
+#include "CoreTypes.h"
+
+NAMESPACE_REDCRAFT_BEGIN
+NAMESPACE_MODULE_BEGIN(Redcraft)
+NAMESPACE_MODULE_BEGIN(Utility)
+
+void REDCRAFTUTILITY_API TestConcepts();
+
+NAMESPACE_MODULE_END(Utility)
+NAMESPACE_MODULE_END(Redcraft)
+NAMESPACE_REDCRAFT_END