From 29c01baf630a19b1c31df3a521b12ec718ec4b04 Mon Sep 17 00:00:00 2001
From: _Redstone_c_ <myredstone1024@gmail.com>
Date: Sun, 12 Dec 2021 10:32:22 +0800
Subject: [PATCH] feat(typetraits): add TypeTraits/CompositeType.h and the
 corresponding testing

---
 .../Private/Testing/TypeTraitsTesting.cpp     | 41 +++++++++++++++++++
 .../Source/Public/TypeTraits/CompositeType.h  | 24 +++++++++++
 2 files changed, 65 insertions(+)
 create mode 100644 Redcraft.Utility/Source/Public/TypeTraits/CompositeType.h

diff --git a/Redcraft.Utility/Source/Private/Testing/TypeTraitsTesting.cpp b/Redcraft.Utility/Source/Private/Testing/TypeTraitsTesting.cpp
index 842d6eb..7a8a059 100644
--- a/Redcraft.Utility/Source/Private/Testing/TypeTraitsTesting.cpp
+++ b/Redcraft.Utility/Source/Private/Testing/TypeTraitsTesting.cpp
@@ -2,6 +2,7 @@
 #include "Misc/AssertionMacros.h"
 #include "TypeTraits/HelperClasses.h"
 #include "TypeTraits/PrimaryType.h"
+#include "TypeTraits/CompositeType.h"
 
 NAMESPACE_REDCRAFT_BEGIN
 NAMESPACE_MODULE_BEGIN(Redcraft)
@@ -106,6 +107,46 @@ void TestTypeTraits()
 
 	always_check(!TypeTraits::TIsEnumClass<ETestEnum>::Value);
 	always_check(TypeTraits::TIsEnumClass<ETestEnumClass>::Value);
+
+	// CompositeType.h
+
+	always_check(!TypeTraits::TIsFundamental<FTestStruct>::Value);
+	always_check(TypeTraits::TIsFundamental<int32>::Value);
+	always_check(TypeTraits::TIsFundamental<float>::Value);
+	always_check(!TypeTraits::TIsFundamental<int32*>::Value);
+	always_check(TypeTraits::TIsFundamental<void>::Value);
+
+	always_check(!TypeTraits::TIsArithmetic<FTestStruct>::Value);
+	always_check(TypeTraits::TIsArithmetic<int32>::Value);
+	always_check(TypeTraits::TIsArithmetic<float>::Value);
+	always_check(!TypeTraits::TIsArithmetic<int32*>::Value);
+	always_check(!TypeTraits::TIsArithmetic<void>::Value);
+
+	always_check(!TypeTraits::TIsScalar<FTestStruct>::Value);
+	always_check(TypeTraits::TIsScalar<int32>::Value);
+	always_check(TypeTraits::TIsScalar<float>::Value);
+	always_check(TypeTraits::TIsScalar<int32*>::Value);
+	always_check(!TypeTraits::TIsScalar<void>::Value);
+
+	always_check(TypeTraits::TIsObject<FTestStruct>::Value);
+	always_check(!TypeTraits::TIsObject<FTestStruct&>::Value);
+	always_check(TypeTraits::TIsObject<int32>::Value);
+	always_check(TypeTraits::TIsObject<int32*>::Value);
+	always_check(!TypeTraits::TIsObject<int32&>::Value);
+
+	always_check(TypeTraits::TIsCompound<FTestStruct>::Value);
+	always_check(TypeTraits::TIsCompound<FTestStruct&>::Value);
+	always_check(!TypeTraits::TIsCompound<int32>::Value);
+	always_check(TypeTraits::TIsCompound<int32*>::Value);
+	always_check(TypeTraits::TIsCompound<int32&>::Value);
+
+	always_check(!TypeTraits::TIsReference<int32>::Value);
+	always_check(!TypeTraits::TIsReference<int32*>::Value);
+	always_check(TypeTraits::TIsReference<int32&>::Value);
+	always_check(TypeTraits::TIsReference<int32&&>::Value);
+
+	always_check(!TypeTraits::TIsMemberPointer<FTestStruct>::Value);
+	always_check(TypeTraits::TIsMemberPointer<int32(FTestStruct::*)>::Value);
 }
 
 NAMESPACE_MODULE_END(Utility)
diff --git a/Redcraft.Utility/Source/Public/TypeTraits/CompositeType.h b/Redcraft.Utility/Source/Public/TypeTraits/CompositeType.h
new file mode 100644
index 0000000..cf02b3d
--- /dev/null
+++ b/Redcraft.Utility/Source/Public/TypeTraits/CompositeType.h
@@ -0,0 +1,24 @@
+#pragma once
+
+#include "CoreTypes.h"
+#include "TypeTraits/HelperClasses.h"
+
+#include <type_traits>
+
+NAMESPACE_REDCRAFT_BEGIN
+NAMESPACE_MODULE_BEGIN(Redcraft)
+NAMESPACE_MODULE_BEGIN(Utility)
+NAMESPACE_BEGIN(TypeTraits)
+
+template <typename T> struct TIsReference     : TBoolConstant<NAMESPACE_STD::is_reference_v<T>>      { };
+template <typename T> struct TIsArithmetic    : TBoolConstant<NAMESPACE_STD::is_arithmetic_v<T>>     { };
+template <typename T> struct TIsFundamental   : TBoolConstant<NAMESPACE_STD::is_fundamental_v<T>>    { };
+template <typename T> struct TIsObject        : TBoolConstant<NAMESPACE_STD::is_object_v<T>>         { };
+template <typename T> struct TIsScalar        : TBoolConstant<NAMESPACE_STD::is_scalar_v<T>>         { };
+template <typename T> struct TIsCompound      : TBoolConstant<NAMESPACE_STD::is_compound_v<T>>       { };
+template <typename T> struct TIsMemberPointer : TBoolConstant<NAMESPACE_STD::is_member_pointer_v<T>> { };
+
+NAMESPACE_END(TypeTraits)
+NAMESPACE_MODULE_END(Utility)
+NAMESPACE_MODULE_END(Redcraft)
+NAMESPACE_REDCRAFT_END