Type: Extractor

Author: MorganCaron

modules/Type/Extractor.mpp

@@ -0,0 +1,24 @@
+export module CppUtils.Type.Extractor;
+
+import std;
+
+export namespace CppUtils::Type
+{
+	template<class>
+	struct Extractor;
+
+	template<template<class...> class C, class... Args>
+	struct Extractor<C<Args...>> final
+	{
+		using types = std::tuple<Args...>;
+
+		template<class... NewArgs>
+		using rebind = C<NewArgs...>;
+	};
+
+	static_assert(std::same_as<Extractor<std::vector<char>>::types, std::tuple<char, std::allocator<char>>>);
+	static_assert(std::same_as<Extractor<std::tuple<char, int>>::types, std::tuple<char, int>>);
+
+	static_assert(std::same_as<Extractor<std::vector<char>>::rebind<int>, std::vector<int>>);
+	static_assert(std::same_as<Extractor<std::tuple<char, int>>::rebind<float, double>, std::tuple<float, double>>);
+}

modules/Type/Type.mpp

@@ -3,6 +3,7 @@ export module CppUtils.Type;
 export import CppUtils.Type.Callable;
 export import CppUtils.Type.Concept;
 export import CppUtils.Type.Enum;
+export import CppUtils.Type.Extractor;
 export import CppUtils.Type.Mapping;
 export import CppUtils.Type.ObjectMapping;
 export import CppUtils.Type.MemberFunction;

tests/Type/Callable.mpp

@@ -50,7 +50,6 @@ export import CppUtils.UnitTests.Thread.ThreadLoop;
 export import CppUtils.UnitTests.Thread.ThreadPool;
 export import CppUtils.UnitTests.Thread.TryAsync;
 export import CppUtils.UnitTests.Thread.UniqueLocker;
-export import CppUtils.UnitTests.Type.Callable;
 export import CppUtils.UnitTests.Type.Concept;
 export import CppUtils.UnitTests.Type.Enum;
 export import CppUtils.UnitTests.Type.Mapping;