From 75998bb25ac9f3061f3d8fddea27ffda64b18a16 Mon Sep 17 00:00:00 2001
From: CardinalPrefect <rumpel135@gmail.com>
Date: Thu, 24 Dec 2020 00:16:56 +0300
Subject: [PATCH] The solution of typelist task

---
 module-1/homework/TypeList/tests.cpp          |  1 +
 module-1/homework/TypeList/typelist/append.h  | 17 +++++++++++++-
 module-1/homework/TypeList/typelist/erase.h   | 22 ++++++++++++++++++-
 .../homework/TypeList/typelist/eraseall.h     | 17 +++++++++++++-
 module-1/homework/TypeList/typelist/indexof.h | 17 +++++++++++++-
 module-1/homework/TypeList/typelist/length.h  | 15 +++++++++++--
 .../homework/TypeList/typelist/noduplicates.h | 14 ++++++++++--
 module-1/homework/TypeList/typelist/replace.h | 17 +++++++++++++-
 module-1/homework/TypeList/typelist/typeat.h  | 17 +++++++++++++-
 9 files changed, 127 insertions(+), 10 deletions(-)

diff --git a/module-1/homework/TypeList/tests.cpp b/module-1/homework/TypeList/tests.cpp
index cba5881b..0b4236e5 100644
--- a/module-1/homework/TypeList/tests.cpp
+++ b/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"
diff --git a/module-1/homework/TypeList/typelist/append.h b/module-1/homework/TypeList/typelist/append.h
index ac395d4b..75b1ba37 100644
--- a/module-1/homework/TypeList/typelist/append.h
+++ b/module-1/homework/TypeList/typelist/append.h
@@ -3,4 +3,19 @@
 #include "typelist.h"
 
 template<typename TList, typename NewType>
-struct Append;
\ No newline at end of file
+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;
+};
diff --git a/module-1/homework/TypeList/typelist/erase.h b/module-1/homework/TypeList/typelist/erase.h
index 7f33b81c..698f2187 100644
--- a/module-1/homework/TypeList/typelist/erase.h
+++ b/module-1/homework/TypeList/typelist/erase.h
@@ -3,4 +3,24 @@
 #include "typelist.h"
 
 template<typename TList, typename TargetType>
-struct Erase;
\ No newline at end of file
+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;
+};
diff --git a/module-1/homework/TypeList/typelist/eraseall.h b/module-1/homework/TypeList/typelist/eraseall.h
index e395227c..f9558b91 100644
--- a/module-1/homework/TypeList/typelist/eraseall.h
+++ b/module-1/homework/TypeList/typelist/eraseall.h
@@ -3,4 +3,19 @@
 #include "typelist.h"
 
 template<typename TList, typename TargetType>
-struct EraseAll;
\ No newline at end of file
+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;
+};
diff --git a/module-1/homework/TypeList/typelist/indexof.h b/module-1/homework/TypeList/typelist/indexof.h
index e1c34184..0afc2c45 100644
--- a/module-1/homework/TypeList/typelist/indexof.h
+++ b/module-1/homework/TypeList/typelist/indexof.h
@@ -3,4 +3,19 @@
 #include "typelist.h"
 
 template<typename TList, typename TargetType>
-struct IndexOf;
\ No newline at end of file
+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;
+};
diff --git a/module-1/homework/TypeList/typelist/length.h b/module-1/homework/TypeList/typelist/length.h
index 2f45c74b..1f69acee 100644
--- a/module-1/homework/TypeList/typelist/length.h
+++ b/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;
\ No newline at end of file
+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;
+};
diff --git a/module-1/homework/TypeList/typelist/noduplicates.h b/module-1/homework/TypeList/typelist/noduplicates.h
index c0c696b2..4d5ac25b 100644
--- a/module-1/homework/TypeList/typelist/noduplicates.h
+++ b/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;
\ No newline at end of file
+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;
+};
diff --git a/module-1/homework/TypeList/typelist/replace.h b/module-1/homework/TypeList/typelist/replace.h
index 392595b7..ee757271 100644
--- a/module-1/homework/TypeList/typelist/replace.h
+++ b/module-1/homework/TypeList/typelist/replace.h
@@ -3,4 +3,19 @@
 #include "typelist.h"
 
 template<typename TList, typename OldType, typename NewType> 
-struct Replace;
\ No newline at end of file
+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;
+};
diff --git a/module-1/homework/TypeList/typelist/typeat.h b/module-1/homework/TypeList/typelist/typeat.h
index 805f391c..a974e053 100644
--- a/module-1/homework/TypeList/typelist/typeat.h
+++ b/module-1/homework/TypeList/typelist/typeat.h
@@ -3,4 +3,19 @@
 #include "typelist.h"
 
 template<typename TList, unsigned int index>
-struct TypeAt;
\ No newline at end of file
+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;
+};