Add TUniqueTypeList and NTL::TUnique

Позволяет получить TTypeList с уникальными типами.
commit_hash:589914da95d44bdc457d7e4341e4a377df2da2b8

Author: yurial

util/generic/typelist.h

@@ -75,6 +75,29 @@ namespace NTL {
         using type = TTypeList<R1..., R2...>;
     };
 
+    template <class TResult, class T, class... Ts>
+    struct TUniqueImpl;
+
+    template <class TResult, class T>
+    struct TUniqueImpl<TResult, T> {
+        using type = std::conditional_t<TResult::template THave<T>::value, TResult, typename NTL::TConcat<TResult, TTypeList<T>>::type>;
+    };
+
+    template <class TResult, class T, class... Ts>
+    struct TUniqueImpl {
+        using type = std::conditional_t<TResult::template THave<T>::value,
+                                        typename TUniqueImpl<TResult, Ts...>::type,
+                                        typename TUniqueImpl<typename NTL::TConcat<TResult, TTypeList<T>>::type, Ts...>::type>;
+    };
+
+    template <class... Ts>
+    struct TUnique;
+
+    template <class... Ts>
+    struct TUnique<TTypeList<Ts...>> {
+        using type = typename TUniqueImpl<TTypeList<>, Ts...>::type;
+    };
+
     template <bool isSigned, class T, class TS, class TU>
     struct TTypeSelectorBase {
         using TSignedInts = typename TConcat<TTypeList<T>, TS>::type;
@@ -95,6 +118,9 @@ namespace NTL {
     using T2 = TTypeSelector<wchar_t, T1::TSignedInts, T1::TUnsignedInts>;
 } // namespace NTL
 
+template <class... Ts>
+using TUniqueTypeList = typename NTL::TUniqueImpl<TTypeList<>, Ts...>::type;
+
 using TSignedInts = NTL::T2::TSignedInts;
 using TUnsignedInts = NTL::T2::TUnsignedInts;
 

util/generic/typelist_ut.cpp

@@ -11,6 +11,8 @@ class TTypeListTest: public TTestBase {
     UNIT_TEST(TestGet);
     UNIT_TEST(TestFloatList);
     UNIT_TEST(TestSelectBy);
+    UNIT_TEST(TestUnique);
+    UNIT_TEST(TestUniqueTypeList);
     UNIT_TEST_SUITE_END();
 
 public:
@@ -79,6 +81,19 @@ class TTypeListTest: public TTestBase {
         UNIT_ASSERT_TYPES_EQUAL(TFixedWidthFloat<ui64>, double);
         UNIT_ASSERT_TYPES_EQUAL(TFixedWidthFloat<i64>, double);
     }
+
+    void TestUnique() {
+        static_assert(std::is_same_v<NTL::TUnique<TSignedInts>::type, TSignedInts>);
+        static_assert(std::is_same_v<typename NTL::TUnique<typename NTL::TConcat<TSignedInts, TSignedInts>::type>::type, TSignedInts>);
+    }
+
+    void TestUniqueTypeList() {
+        static_assert(std::is_same_v<TUniqueTypeList<int>, TTypeList<int>>);
+        static_assert(std::is_same_v<TUniqueTypeList<int, int, int, int, int, int, int, int, int>, TTypeList<int>>);
+        static_assert(std::is_same_v<TUniqueTypeList<TSignedInts>, TTypeList<TSignedInts>>);
+        static_assert(std::is_same_v<TUniqueTypeList<TSignedInts, TSignedInts, TSignedInts, TSignedInts, TSignedInts, TSignedInts, TSignedInts, TSignedInts, TSignedInts>, TTypeList<TSignedInts>>);
+        static_assert(std::is_same_v<TUniqueTypeList<TSignedInts, TSignedInts, TSignedInts, TSignedInts, TSignedInts, TSignedInts, TSignedInts, TSignedInts, TSignedInts>, TUniqueTypeList<TSignedInts, TSignedInts, TSignedInts>>);
+    }
 };
 
 UNIT_TEST_SUITE_REGISTRATION(TTypeListTest);