2.3.2

* removed superfluous #include
andrew-gresyk · Oct 25, 2023 · e230fc5 · e230fc5
1 parent b488730
commit e230fc5
Show file tree

Hide file tree

Showing 6 changed files with 33 additions and 13 deletions.
diff --git a/.github/workflows/cmake.yml b/.github/workflows/cmake.yml
@@ -80,7 +80,7 @@ jobs:
               VERSION: '11'
             }
           - {
-              OS: ubuntu-22.04,
+              OS: ubuntu-20.04,
               CC: clang-12,
               CXX: clang++-12
             }

diff --git a/development/ffsm2/detail/shared/type_list.hpp b/development/ffsm2/detail/shared/type_list.hpp
@@ -135,10 +135,10 @@ struct Find<TL_<Ts...>, T> final
 }
 
 template <typename TList, typename T>
-constexpr Long index   () noexcept	{ return detail::Find<TList, T>::VALUE;						}
+constexpr Long index   () noexcept	{ return detail::Find<TList, T>::VALUE;					}
 
 template <typename TList, typename T>
-constexpr bool contains() noexcept	{ return std::is_base_of<detail::TypeT<T>, TList>::value;	}
+constexpr bool contains() noexcept	{ return detail::Find<TList, T>::VALUE != INVALID_LONG;	}
 
 // SPECIFIC
 //------------------------------------------------------------------------------

diff --git a/development/ffsm2/detail/shared/utility.hpp b/development/ffsm2/detail/shared/utility.hpp
@@ -43,6 +43,18 @@ template <bool B,
 		  typename TF>
 using Conditional = typename ConditionalT<B, TT, TF>::Type;
 
+//------------------------------------------------------------------------------
+
+template <typename, typename>
+struct IsSameT final {
+	static constexpr bool Value = false;
+};
+
+template <typename T>
+struct IsSameT<T, T> final {
+	static constexpr bool Value = true;
+};
+
 ////////////////////////////////////////////////////////////////////////////////
 
 template <typename T>

diff --git a/development/ffsm2/detail/structure/state.hpp b/development/ffsm2/detail/structure/state.hpp
@@ -92,7 +92,7 @@ struct S_
 
 	using Empty			= EmptyT<TArgs>;
 
-	static FFSM2_CONSTEXPR(11)	bool isBare()																noexcept	{ return std::is_base_of<Head, Empty>::value;	}
+	static FFSM2_CONSTEXPR(11)	bool isBare()																noexcept	{ return IsSameT<Head, Empty>::Value;	}
 
 	FFSM2_IF_TYPEINDEX(const std::type_index TYPE = isBare() ? typeid(None) : typeid(Head));
 

diff --git a/development/ffsm2/machine_dev.hpp b/development/ffsm2/machine_dev.hpp
@@ -1,5 +1,5 @@
 // FFSM2 (flat state machine for games and interactive applications)
-// 2.3.1 (2023-09-23)
+// 2.3.2 (2023-10-25)
 //
 // Created by Andrew Gresyk
 //
@@ -33,7 +33,7 @@
 
 #define FFSM2_VERSION_MAJOR 2
 #define FFSM2_VERSION_MINOR 3
-#define FFSM2_VERSION_PATCH 1
+#define FFSM2_VERSION_PATCH 2
 
 #define FFSM2_VERSION (10000 * FFSM2_VERSION_MAJOR + 100 * FFSM2_VERSION_MINOR + FFSM2_VERSION_PATCH)
 
@@ -44,7 +44,6 @@
 #ifndef FFSM2_DISABLE_TYPEINDEX
 	#include <typeindex>
 #endif
-#include <type_traits>		// is_base_of<>
 
 #if defined _DEBUG && _MSC_VER
 	#include <intrin.h>		// __debugbreak()

diff --git a/include/ffsm2/machine.hpp b/include/ffsm2/machine.hpp
@@ -1,5 +1,5 @@
 // FFSM2 (flat state machine for games and interactive applications)
-// 2.3.1 (2023-09-23)
+// 2.3.2 (2023-10-25)
 //
 // Created by Andrew Gresyk
 //
@@ -33,7 +33,7 @@
 
 #define FFSM2_VERSION_MAJOR 2
 #define FFSM2_VERSION_MINOR 3
-#define FFSM2_VERSION_PATCH 1
+#define FFSM2_VERSION_PATCH 2
 
 #define FFSM2_VERSION (10000 * FFSM2_VERSION_MAJOR + 100 * FFSM2_VERSION_MINOR + FFSM2_VERSION_PATCH)
 
@@ -44,7 +44,6 @@
 #ifndef FFSM2_DISABLE_TYPEINDEX
 	#include <typeindex>
 #endif
-#include <type_traits>		// is_base_of<>
 
 #if defined _DEBUG && _MSC_VER
 	#include <intrin.h>		// __debugbreak()
@@ -353,6 +352,16 @@ template <bool B,
 		  typename TF>
 using Conditional = typename ConditionalT<B, TT, TF>::Type;
 
+template <typename, typename>
+struct IsSameT final {
+	static constexpr bool Value = false;
+};
+
+template <typename T>
+struct IsSameT<T, T> final {
+	static constexpr bool Value = true;
+};
+
 template <typename T>
 struct RemoveConstT final {
 	using Type = T;
@@ -930,10 +939,10 @@ struct Find<TL_<Ts...>, T> final
 }
 
 template <typename TList, typename T>
-constexpr Long index   () noexcept	{ return detail::Find<TList, T>::VALUE;						}
+constexpr Long index   () noexcept	{ return detail::Find<TList, T>::VALUE;					}
 
 template <typename TList, typename T>
-constexpr bool contains() noexcept	{ return std::is_base_of<detail::TypeT<T>, TList>::value;	}
+constexpr bool contains() noexcept	{ return detail::Find<TList, T>::VALUE != INVALID_LONG;	}
 
 }
 
@@ -4474,7 +4483,7 @@ struct S_
 
 	using Empty			= EmptyT<TArgs>;
 
-	static FFSM2_CONSTEXPR(11)	bool isBare()																noexcept	{ return std::is_base_of<Head, Empty>::value;	}
+	static FFSM2_CONSTEXPR(11)	bool isBare()																noexcept	{ return IsSameT<Head, Empty>::Value;	}
 
 	FFSM2_IF_TYPEINDEX(const std::type_index TYPE = isBare() ? typeid(None) : typeid(Head));