Add a concept to constrain the size of a type

Author: trflynn89

fly/traits/concepts.hpp

@@ -1,5 +1,7 @@
 #pragma once
 
+#include "fly/traits/traits.hpp"
+
 #include <concepts>
 #include <type_traits>
 
@@ -29,6 +31,12 @@ concept SameAsAny = (std::same_as<std::remove_cvref_t<T>, std::remove_cvref_t<Ts
 template <typename T, typename... Ts>
 concept SameAsAll = (std::same_as<std::remove_cvref_t<T>, std::remove_cvref_t<Ts>> && ...);
 
+/**
+ * Concept that is satisified if the given type is the provided size.
+ */
+template <typename T, std::size_t Size>
+concept SizeOfTypeIs = fly::size_of_type_is_v<T, Size>;
+
 /**
  * Concept that is satisified if the given type is a signed integral type.
  *

test/traits/concepts.cpp

@@ -137,4 +137,19 @@ CATCH_TEST_CASE("Concepts", "[traits]")
         CATCH_CHECK_FALSE(fly::FloatingPoint<std::string>);
         CATCH_CHECK_FALSE(fly::FloatingPoint<FooClass>);
     }
+
+    CATCH_SECTION("Concept: SizeOfTypeIs")
+    {
+        CATCH_CHECK(fly::SizeOfTypeIs<int, sizeof(int)>);
+        CATCH_CHECK(fly::SizeOfTypeIs<bool, sizeof(bool)>);
+        CATCH_CHECK(fly::SizeOfTypeIs<FooClass, sizeof(FooClass)>);
+
+        CATCH_CHECK_FALSE(fly::SizeOfTypeIs<int, sizeof(int) - 1>);
+        CATCH_CHECK_FALSE(fly::SizeOfTypeIs<bool, sizeof(bool) - 1>);
+        CATCH_CHECK_FALSE(fly::SizeOfTypeIs<FooClass, sizeof(FooClass) - 1>);
+
+        CATCH_CHECK_FALSE(fly::SizeOfTypeIs<int, sizeof(int) + 1>);
+        CATCH_CHECK_FALSE(fly::SizeOfTypeIs<bool, sizeof(bool) + 1>);
+        CATCH_CHECK_FALSE(fly::SizeOfTypeIs<FooClass, sizeof(FooClass) + 1>);
+    }
 }