From 9c9185d72c56898b7eaba9bbccb88740dbf40f71 Mon Sep 17 00:00:00 2001
From: CardinalPrefect <rumpel135@gmail.com>
Date: Tue, 15 Jun 2021 18:53:34 +0300
Subject: [PATCH 1/5] type traits solution

---
 .../type_traits/is_copy_constructible.h       | 63 +++++++++++++---
 .../is_nothrow_move_constructible.h           | 30 ++++++--
 .../TypeTraits/type_traits/move_if_noexcept.h | 22 +++---
 .../homework/TypeTraits/type_traits/utility.h | 75 +++++++++++++++++--
 4 files changed, 156 insertions(+), 34 deletions(-)

diff --git a/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h b/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h
index b02d9f02..6922a70f 100644
--- a/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h
+++ b/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h
@@ -10,29 +10,74 @@ struct LibCppIsConstructible;
 
 template <typename Derived, typename Base>
 struct IsInvalidBaseToDerivedCast {
-    // Your code goes here
+    using base = uncvref_t<Base>;
+    using derived = uncvref_t<Derived>;
+
+    static std::integral_constant<bool,
+                                 !std::is_same_v<base, derived> &&
+                                 std::is_base_of_v<base, derived> &&
+                                 !LibCppIsConstructible<derived, Base>::type::value>
+                                 value_;
 };
 
 template <typename To, typename From>
 struct IsInvalidLvalueToRvalueCast : std::false_type {
-    // Your code goes here
 };
 
 template <typename RefTo, typename RefFrom>
 struct IsInvalidLvalueToRvalueCast<RefTo&&, RefFrom&> {
-    // Your code goes here
+    using from = uncvref_t<RefFrom>;
+    using to = uncvref_t<RefTo>;
+    using value =
+        std::integral_constant<bool, 
+                               std::is_same_v<from, to> && 
+                               std::is_base_of_v<to, from>>;
 };
 
 struct IsConstructibleHelper {
-    // Your code goes here
+    template <typename To>
+    static void ImplicitCast(To);
+
+    template <typename To, typename From, typename = decltype(ImplicitCast<To>(Declval<From>()))>
+    static std::true_type Castable(int);
+
+    template <typename To, typename From, typename = decltype(static_cast<To>(Declval<From>()))>
+    static std::integral_constant<bool, !IsInvalidBaseToDerivedCast<To, From>::value &&
+                                            !IsInvalidLvalueToRvalueCast<To, From>::value>
+    Castable(double);
+
+    template <typename, typename>
+    static std::false_type Castable(...);
+
+    template <typename T, typename... Args, typename = decltype(T(Declval<Args>()...))>
+    static std::true_type Constructible(int);
+
+    template <typename, typename>
+    static std::false_type Constructible(...);
+};
+
+template <typename T, typename... Args>
+struct LibCppIsConstructible {
+    using type = decltype(IsConstructibleHelper::Constructible<T, Args...>(0));
+};
+
+template <typename T, typename Arg>
+struct LibCppIsConstructible<T, Arg> {
+    using type = decltype(IsConstructibleHelper::Constructible<T, Arg>(0));
 };
 
-// LibCppIsConstructible - partial specializations
-// Your code goes here
-// LibCppIsConstructible - partial specializations
+template <typename T, typename Arg>
+struct LibCppIsConstructible<T&, Arg> {
+    using type = decltype(IsConstructibleHelper::Castable<T&, Arg>(0));
+};
+
+template <typename T, typename Arg>
+struct LibCppIsConstructible<T&&, Arg> {
+    using type = decltype(IsConstructibleHelper::Castable<T&&, Arg>(0));
+};
 
 template <typename T, typename... Args>
-struct IsConstructible : // Your code goes here {...}
+struct IsConstructible : LibCppIsConstructible<T, Args...>::type {};
 
 template <typename T>
-struct IsCopyConstructible : // Your code goes here {...}
\ No newline at end of file
+struct IsCopyConstructible : LibCppIsConstructible<T, const T&>::type {};
\ No newline at end of file
diff --git a/module-1/homework/TypeTraits/type_traits/is_nothrow_move_constructible.h b/module-1/homework/TypeTraits/type_traits/is_nothrow_move_constructible.h
index bd749521..0e744752 100644
--- a/module-1/homework/TypeTraits/type_traits/is_nothrow_move_constructible.h
+++ b/module-1/homework/TypeTraits/type_traits/is_nothrow_move_constructible.h
@@ -9,15 +9,31 @@
 template <bool, bool, typename T, typename... Args>
 struct LibCppIsNoThrowConstructible;
 
-// LibCppIsNoThrowConstructible - partial specializations
-// Your code goes here
-// LibCppIsNoThrowConstructible - partial specializations
+template <typename T, typename... Args>
+struct LibCppIsNoThrowConstructible<true, false, T, Args...> {
+    using type = std::integral_constant<bool, noexcept(T(Declval<Args>()...))>;
+};
+
+template <typename T, typename Arg>
+struct LibCppIsNoThrowConstructible<true, true, T, Arg> {
+    using type =
+        std::integral_constant<bool,
+                               noexcept(IsConstructibleHelper::ImplicitCast<T>(Declval<Arg>()))>;
+};
+
+template <bool IsReference, typename T, typename... Args>
+struct LibCppIsNoThrowConstructible<false, IsReference, T, Args...> {
+    using type = std::false_type;
+};
 
 template <typename T, typename... Args>
-struct IsNoThrowConstructible : // Your code goes here {...}
+struct IsNoThrowConstructible
+    : LibCppIsNoThrowConstructible<IsConstructible<T, Args...>::value, std::is_reference_v<T>, T,
+                                   Args...>::type {};
 
-template <typename T, std::size_t N>
-struct IsNoThrowConstructible<T[N]> : // Your code goes here {...}
+template <typename T, size_t N>
+struct IsNoThrowConstructible<T[N]>
+    : LibCppIsNoThrowConstructible<IsConstructible<T>::value, std::is_reference_v<T>, T>::type {};
 
 template <typename T>
-struct IsNoThrowMoveConstructible : // Your code goes here {...}
\ No newline at end of file
+struct IsNoThrowMoveConstructible : IsNoThrowConstructible<T, T&&> {};
\ No newline at end of file
diff --git a/module-1/homework/TypeTraits/type_traits/move_if_noexcept.h b/module-1/homework/TypeTraits/type_traits/move_if_noexcept.h
index 4ce67cec..37ba8e82 100644
--- a/module-1/homework/TypeTraits/type_traits/move_if_noexcept.h
+++ b/module-1/homework/TypeTraits/type_traits/move_if_noexcept.h
@@ -8,13 +8,12 @@
 #include "utility.h"
 
 template <bool condition, typename T, typename F>
-struct Conditional {
-    // Your code goes here
-};
+struct Conditional;
 
-// Conditional - partial specialization
-// Your code goes here
-// Conditional - partial specialization
+template <typename T, typename F>
+struct Conditional<false, T, F> {
+    using type = F;
+};
 
 template <typename T, typename F>
 struct Conditional<true, T, F> {
@@ -22,8 +21,11 @@ struct Conditional<true, T, F> {
 };
 
 template <bool condition, typename T, typename F>
-using conditional_v = // Your code goes here
+using conditional_v = typename Conditional<condition, T, F>::type;
 
-// MoveIfNoExcept
-// Your code goes here
-// MoveIfNoExcept
\ No newline at end of file
+template <typename T>
+typename Conditional<!IsNoThrowMoveConstructible<T>::value && IsCopyConstructible<T>::value,
+                     const T&, T&&>::type
+MoveIfNoExcept(T& x) noexcept {
+    return std::move(x);
+}
\ No newline at end of file
diff --git a/module-1/homework/TypeTraits/type_traits/utility.h b/module-1/homework/TypeTraits/type_traits/utility.h
index 1f0dc419..41d9dc8c 100644
--- a/module-1/homework/TypeTraits/type_traits/utility.h
+++ b/module-1/homework/TypeTraits/type_traits/utility.h
@@ -3,30 +3,89 @@
 #include <type_traits>
 #include <utility>
 
+template <typename T>
+struct RemoveConst {
+    using type = T;
+};
+
+template <typename T>
+struct RemoveConst<T const> {
+    using type = T;
+};
+
+template <typename T>
+using remove_const_t = typename RemoveConst<T>::type;
+
+template <typename T>
+struct RemoveVolatile {
+    using type = T;
+};
+
+template <typename T>
+struct RemoveVolatile<T volatile> {
+    using type = T;
+};
+
+template <typename T>
+using remove_volatile_t = typename RemoveVolatile<T>::type;
+
+template <typename T>
+struct RemoveReference {
+    using type = T;
+};
+
+template <typename T>
+struct RemoveReference<T&> {
+    using type = T;
+};
+
+template <typename T>
+struct RemoveReference<T&&> {
+    using type = T;
+};
+
+template <typename T>
+using remove_reference_t = typename RemoveReference<T>::type;
+
+template <typename T>
+struct Uncv {
+    using type = remove_const_t<remove_volatile_t<T>>;
+};
+
+template <typename T>
+using uncv_t = typename Uncv<T>::type;
+
 template <typename T>
 struct Uncvref {
-    // Your code goes here
+    using type = uncv_t<remove_reference_t<T>>;
 };
 
 template <typename T>
-using uncvref_t = // Your code goes here
+using uncvref_t = typename Uncvref<T>::type;
 
 template <typename T>
 struct AddConst {
-    using type = // Your code goes here
+    using type = const T;
 };
 
 template <typename T>
-using add_const_t = // Your code goes here
+using add_const_t = typename AddConst<T>::type;
 
 template <typename T>
-struct AddLvalueReference : // Your code goes here
+struct AddLvalueReference {
+    using type = T&;
+};
+
+template <typename T>
+struct AddRvalueReference {
+    using type = T&&;
+};
 
 template <typename T>
-struct AddRvalueReference : // Your code goes here
+using add_lvalue_reference_t = typename AddLvalueReference<T>::type;
 
 template <typename T>
-using add_lvalue_reference_t = // Your code goes here
+using add_rvalue_reference_t = typename AddRvalueReference<T>::type;
 
 template <typename T>
-using add_rvalue_reference_t = // Your code goes here
\ No newline at end of file
+add_rvalue_reference_t<T> Declval() noexcept;
\ No newline at end of file

From 05f3dc2d349b28ae1df62ea8dfd70de7ee42a7ea Mon Sep 17 00:00:00 2001
From: CardinalPrefect <rumpel135@gmail.com>
Date: Tue, 15 Jun 2021 18:57:50 +0300
Subject: [PATCH 2/5] fix style 1.0

---
 .../TypeTraits/type_traits/is_copy_constructible.h   | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h b/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h
index 6922a70f..ccfcbb8c 100644
--- a/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h
+++ b/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h
@@ -14,10 +14,10 @@ struct IsInvalidBaseToDerivedCast {
     using derived = uncvref_t<Derived>;
 
     static std::integral_constant<bool,
-                                 !std::is_same_v<base, derived> &&
-                                 std::is_base_of_v<base, derived> &&
-                                 !LibCppIsConstructible<derived, Base>::type::value>
-                                 value_;
+                                  !std::is_same_v<base, derived> &&
+                                  std::is_base_of_v<base, derived> &&
+                                  !LibCppIsConstructible<derived, Base>::type::value>
+                                  value_;
 };
 
 template <typename To, typename From>
@@ -29,8 +29,8 @@ struct IsInvalidLvalueToRvalueCast<RefTo&&, RefFrom&> {
     using from = uncvref_t<RefFrom>;
     using to = uncvref_t<RefTo>;
     using value =
-        std::integral_constant<bool, 
-                               std::is_same_v<from, to> && 
+        std::integral_constant<bool,
+                               std::is_same_v<from, to> &&
                                std::is_base_of_v<to, from>>;
 };
 

From 4e7b65e55b01cf9585715cd1412bfe8238ca691c Mon Sep 17 00:00:00 2001
From: CardinalPrefect <rumpel135@gmail.com>
Date: Tue, 15 Jun 2021 19:02:46 +0300
Subject: [PATCH 3/5] fix style 1.1

---
 .../type_traits/is_copy_constructible.h        | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h b/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h
index ccfcbb8c..4cee22ae 100644
--- a/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h
+++ b/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h
@@ -14,24 +14,26 @@ struct IsInvalidBaseToDerivedCast {
     using derived = uncvref_t<Derived>;
 
     static std::integral_constant<bool,
-                                  !std::is_same_v<base, derived> &&
-                                  std::is_base_of_v<base, derived> &&
-                                  !LibCppIsConstructible<derived, Base>::type::value>
-                                  value_;
+        !std::is_same_v<base, derived> &&
+        std::is_base_of_v<base, derived> &&
+        !LibCppIsConstructible<derived, Base>::type::value>
+    value_;
 };
 
 template <typename To, typename From>
 struct IsInvalidLvalueToRvalueCast : std::false_type {
+    // Your code goes here
 };
 
 template <typename RefTo, typename RefFrom>
 struct IsInvalidLvalueToRvalueCast<RefTo&&, RefFrom&> {
     using from = uncvref_t<RefFrom>;
     using to = uncvref_t<RefTo>;
-    using value =
-        std::integral_constant<bool,
-                               std::is_same_v<from, to> &&
-                               std::is_base_of_v<to, from>>;
+
+    static std::integral_constant<bool,
+            std::is_same_v<from, to> &&
+            std::is_base_of_v<to, from>>
+            value_;
 };
 
 struct IsConstructibleHelper {

From 906db8f87df08e0292ffe6b2eb34878340bf63e7 Mon Sep 17 00:00:00 2001
From: CardinalPrefect <rumpel135@gmail.com>
Date: Tue, 15 Jun 2021 19:09:03 +0300
Subject: [PATCH 4/5] fix style 1.2

---
 .../type_traits/is_copy_constructible.h       | 26 +++++++------------
 1 file changed, 10 insertions(+), 16 deletions(-)

diff --git a/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h b/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h
index 4cee22ae..21ae1992 100644
--- a/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h
+++ b/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h
@@ -5,35 +5,29 @@
 
 #include "utility.h"
 
+
 template <typename T, typename... Args>
 struct LibCppIsConstructible;
 
 template <typename Derived, typename Base>
 struct IsInvalidBaseToDerivedCast {
-    using base = uncvref_t<Base>;
     using derived = uncvref_t<Derived>;
-
-    static std::integral_constant<bool,
-        !std::is_same_v<base, derived> &&
-        std::is_base_of_v<base, derived> &&
-        !LibCppIsConstructible<derived, Base>::type::value>
-    value_;
+    using base = uncvref_t<Base>;
+    using value =
+        std::integral_constant<bool, !std::is_same_v<base, derived> &&
+                                         std::is_base_of_v<base, derived> &&
+                                         !LibCppIsConstructible<derived, base>::type::value>;
 };
 
 template <typename To, typename From>
-struct IsInvalidLvalueToRvalueCast : std::false_type {
-    // Your code goes here
-};
+struct IsInvalidLvalueToRvalueCast : std::false_type {};
 
 template <typename RefTo, typename RefFrom>
 struct IsInvalidLvalueToRvalueCast<RefTo&&, RefFrom&> {
-    using from = uncvref_t<RefFrom>;
     using to = uncvref_t<RefTo>;
-
-    static std::integral_constant<bool,
-            std::is_same_v<from, to> &&
-            std::is_base_of_v<to, from>>
-            value_;
+    using from = uncvref_t<RefFrom>;
+    using value =
+        std::integral_constant<bool, std::is_same_v<from, to> && std::is_base_of_v<to, from>>;
 };
 
 struct IsConstructibleHelper {

From 42fb86d3326c6df92806ba1e3a4fd263a439bfff Mon Sep 17 00:00:00 2001
From: CardinalPrefect <rumpel135@gmail.com>
Date: Tue, 15 Jun 2021 19:10:41 +0300
Subject: [PATCH 5/5] fix style 1.3

---
 module-1/homework/TypeTraits/type_traits/is_copy_constructible.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h b/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h
index 21ae1992..8634d2c9 100644
--- a/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h
+++ b/module-1/homework/TypeTraits/type_traits/is_copy_constructible.h
@@ -5,7 +5,6 @@
 
 #include "utility.h"
 
-
 template <typename T, typename... Args>
 struct LibCppIsConstructible;