Use C++20 concepts in endian operations

Author: trflynn89

build/win/libfly/libfly.vcxproj

@@ -227,6 +227,7 @@
     <ClInclude Include="..\..\..\fly\types\json\json_concepts.hpp" />
     <ClInclude Include="..\..\..\fly\types\json\json_exception.hpp" />
     <ClInclude Include="..\..\..\fly\types\json\json_types.hpp" />
+    <ClInclude Include="..\..\..\fly\types\numeric\detail\endian_concepts.hpp" />
     <ClInclude Include="..\..\..\fly\types\numeric\detail\endian_traits.hpp" />
     <ClInclude Include="..\..\..\fly\types\numeric\detail\literal_parser.hpp" />
     <ClInclude Include="..\..\..\fly\types\numeric\endian.hpp" />

build/win/libfly/libfly.vcxproj.filters

@@ -280,6 +280,9 @@
     <ClInclude Include="..\..\..\fly\types\numeric\literals.hpp">
       <Filter>types\numeric</Filter>
     </ClInclude>
+    <ClInclude Include="..\..\..\fly\types\numeric\detail\endian_concepts.hpp">
+      <Filter>types\numeric\detail</Filter>
+    </ClInclude>
     <ClInclude Include="..\..\..\fly\types\numeric\detail\endian_traits.hpp">
       <Filter>types\numeric\detail</Filter>
     </ClInclude>

fly/types/numeric/detail/endian_concepts.hpp

@@ -0,0 +1,25 @@
+#pragma once
+
+#include "fly/traits/concepts.hpp"
+
+#include <concepts>
+#include <type_traits>
+
+namespace fly::detail {
+
+/**
+ * Concept that is satisfied if the given type is an integral type of a size supported by endian
+ * operations.
+ */
+template <typename T>
+concept EndianInteger = requires
+{
+    requires std::is_integral_v<std::remove_cvref_t<T>>;
+
+    requires !std::same_as<std::remove_cvref_t<T>, bool>;
+
+    requires fly::SizeOfTypeIs<T, 1> || fly::SizeOfTypeIs<T, 2> || fly::SizeOfTypeIs<T, 4> ||
+        fly::SizeOfTypeIs<T, 8>;
+};
+
+} // namespace fly::detail

fly/types/numeric/endian.hpp

@@ -1,11 +1,11 @@
 #pragma once
 
 #include "fly/fly.hpp"
-#include "fly/types/numeric/detail/endian_traits.hpp"
+#include "fly/traits/concepts.hpp"
+#include "fly/types/numeric/detail/endian_concepts.hpp"
 
 #include <bit>
 #include <cstdint>
-#include <type_traits>
 
 #if defined(FLY_LINUX)
 #    include <byteswap.h>
@@ -72,26 +72,22 @@ namespace fly {
  *
  * @return The swapped value.
  */
-template <typename T>
+template <detail::EndianInteger T>
 constexpr T endian_swap(T value)
 {
-    static_assert(
-        detail::EndianTraits::is_supported_integer_v<T>,
-        "Value must be an integer type of size 1, 2, 4, or 8 bytes");
-
-    if constexpr (sizeof(T) == 1)
+    if constexpr (fly::SizeOfTypeIs<T, 1>)
     {
         return value;
     }
-    else if constexpr (sizeof(T) == 2)
+    else if constexpr (fly::SizeOfTypeIs<T, 2>)
     {
         return static_cast<T>(byte_swap_16(static_cast<std::uint16_t>(value)));
     }
-    else if constexpr (sizeof(T) == 4)
+    else if constexpr (fly::SizeOfTypeIs<T, 4>)
     {
         return static_cast<T>(byte_swap_32(static_cast<std::uint32_t>(value)));
     }
-    else if constexpr (sizeof(T) == 8)
+    else if constexpr (fly::SizeOfTypeIs<T, 8>)
     {
         return static_cast<T>(byte_swap_64(static_cast<std::uint64_t>(value)));
     }
@@ -108,7 +104,7 @@ constexpr T endian_swap(T value)
  *
  * @return The swapped value.
  */
-template <std::endian Endianness, typename T>
+template <std::endian Endianness, detail::EndianInteger T>
 constexpr T endian_swap_if_non_native(T value)
 {
     if constexpr (Endianness == std::endian::native)