The solution of typelist task

module-1/homework/TypeList/tests.cpp

@@ -4,6 +4,7 @@
 #include <string>
 
 #include "typelist/append.h"
+#include "typelist/erase.h"
 #include "typelist/eraseall.h"
 #include "typelist/indexof.h"
 #include "typelist/length.h"

module-1/homework/TypeList/typelist/append.h

@@ -3,4 +3,19 @@
 #include "typelist.h"
 
 template<typename TList, typename NewType>
-struct Append;
+struct Append;
+
+template<typename Head, typename Tail, typename NewType>
+struct Append<TypeList<Head, Tail>, NewType> {
+    using NewTypeList = TypeList<Head, typename Append<Tail, NewType>::NewTypeList>;
+};
+
+template<typename NewType>
+struct Append<NullType, NewType> {
+    using NewTypeList = TypeList<NewType, NullType>;
+};
+
+template<>
+struct Append<NullType, NullType> {
+    using NewTypeList = NullType;
+};

module-1/homework/TypeList/typelist/erase.h

@@ -3,4 +3,24 @@
 #include "typelist.h"
 
 template<typename TList, typename TargetType>
-struct Erase;
+struct Erase;
+
+template<typename Head, typename Tail, typename TargetType>
+struct Erase<TypeList<Head, Tail>, TargetType> {
+    using NewTypeList = TypeList<Head, typename Erase<Tail, TargetType>::NewTypeList>;
+};
+
+template<typename TargetType, typename Tail>
+struct Erase<TypeList<TargetType, Tail>, TargetType> {
+    using NewTypeList = Tail;
+};
+
+template<typename TargetType>
+struct Erase<TypeList<TargetType, NullType>, TargetType> {
+    using NewTypeList = NullType;
+};
+
+template<typename TargetType>
+struct Erase<NullType, TargetType> {
+    using NewTypeList = NullType;
+};

module-1/homework/TypeList/typelist/eraseall.h

@@ -3,4 +3,19 @@
 #include "typelist.h"
 
 template<typename TList, typename TargetType>
-struct EraseAll;
+struct EraseAll;
+
+template<typename Head, typename Tail, typename TargetType>
+struct EraseAll<TypeList<Head, Tail>, TargetType> {
+    using NewTypeList = TypeList<Head, typename EraseAll<Tail, TargetType>::NewTypeList>;
+};
+
+template<typename Tail, typename TargetType>
+struct EraseAll<TypeList<TargetType, Tail>, TargetType> {
+    using NewTypeList = typename EraseAll<Tail, TargetType>::NewTypeList;
+};
+
+template<typename TargetType>
+struct EraseAll<NullType, TargetType> {
+    using NewTypeList = NullType;
+};

module-1/homework/TypeList/typelist/indexof.h

@@ -3,4 +3,19 @@
 #include "typelist.h"
 
 template<typename TList, typename TargetType>
-struct IndexOf;
+struct IndexOf;
+
+template<typename Head, typename Tail, typename TargetType>
+struct IndexOf<TypeList<Head, Tail>, TargetType> {
+    static const int pos = IndexOf<Tail, TargetType>::pos == -1? -1 : IndexOf<Tail, TargetType>::pos + 1;
+};
+
+template<typename TargetType, typename Tail>
+struct IndexOf<TypeList<TargetType, Tail>, TargetType> {
+    static const int pos = 0;
+};
+
+template<typename TargetType>
+struct IndexOf<NullType, TargetType> {
+    static const int pos = -1;
+};

module-1/homework/TypeList/typelist/length.h

@@ -1,6 +1,17 @@
 #pragma once
 
 #include "typelist.h"
+#include <iostream> // for size_t
 
-template<typename TList> 
-struct Length;
+template<typename TList>
+struct Length;
+
+template <typename Head, typename Tail>
+struct Length<TypeList<Head, Tail> > {
+    static const std::size_t length = 1 + Length<Tail>::length;
+};
+
+template<>
+struct Length<NullType> {
+    static const int length = 0;
+};

module-1/homework/TypeList/typelist/noduplicates.h

@@ -1,7 +1,17 @@
 #pragma once
 
-#include "erase.h"
+#include "eraseall.h"
 #include "typelist.h"
 
 template<typename TList>
-struct NoDuplicates;
+struct NoDuplicates;
+
+template<typename Head, typename Tail>
+struct NoDuplicates<TypeList<Head, Tail>> {
+    using NewTypeList = TypeList<Head, typename NoDuplicates<typename EraseAll<Tail, Head>::NewTypeList>::NewTypeList>;
+};
+
+template<>
+struct NoDuplicates<NullType> {
+    using NewTypeList = NullType;
+};

module-1/homework/TypeList/typelist/replace.h

@@ -3,4 +3,19 @@
 #include "typelist.h"
 
 template<typename TList, typename OldType, typename NewType> 
-struct Replace;
+struct Replace;
+
+template<typename Head, typename Tail, typename OldType, typename NewType>
+struct Replace<TypeList<Head, Tail>, OldType, NewType> {
+    using NewTypeList = TypeList<Head, typename Replace<Tail, OldType, NewType>::NewTypeList>;
+};
+
+template<typename Tail, typename OldType, typename NewType>
+struct Replace<TypeList<OldType, Tail>, OldType, NewType> {
+    using NewTypeList = TypeList<NewType, typename Replace<Tail, OldType, NewType>::NewTypeList>;
+};
+
+template<typename OldType, typename NewType>
+struct Replace<NullType, OldType, NewType> {
+    using NewTypeList = NullType;
+};

module-1/homework/TypeList/typelist/typeat.h

@@ -3,4 +3,19 @@
 #include "typelist.h"
 
 template<typename TList, unsigned int index>
-struct TypeAt;
+struct TypeAt;
+
+template<typename Head, typename Tail, unsigned int index>
+struct TypeAt<TypeList<Head, Tail>, index> {
+    using TargetType = typename TypeAt<Tail, index - 1>::TargetType;
+};
+
+template<typename Head, typename Tail>
+struct TypeAt<TypeList<Head, Tail>, 0> {
+    using TargetType = Head;
+};
+
+template<unsigned int index>
+struct TypeAt<NullType, index> {
+    using TargetType = NullType;
+};