From b196e2c10ed8823c681623dfd7bc09b0eb3ad1d2 Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@gmail.com>
Date: Thu, 2 Jan 2020 22:38:18 +0100
Subject: new_type: implement support for base comparison

---
 test/src/equality_comparison_suite.cpp | 63 ++++++++++++++++++++++++++++------
 1 file changed, 53 insertions(+), 10 deletions(-)

(limited to 'test')

diff --git a/test/src/equality_comparison_suite.cpp b/test/src/equality_comparison_suite.cpp
index 64c7521..0789ae8 100644
--- a/test/src/equality_comparison_suite.cpp
+++ b/test/src/equality_comparison_suite.cpp
@@ -16,7 +16,7 @@ inline namespace basic_equality_comparsion_tests
 
   auto two_instances_of_the_same_new__type_with_the_same_value_compare_equal() -> void
   {
-    using type_alias = nt::new_type<int, struct eq_test_tag_1>;
+    using type_alias = nt::new_type<int, struct tag>;
 
     auto constexpr lhs = type_alias{42};
     auto constexpr rhs = type_alias{42};
@@ -26,7 +26,7 @@ inline namespace basic_equality_comparsion_tests
 
   auto two_instances_of_the_same_new__type_with_the_same_value_do_not_compare_not_equal() -> void
   {
-    using type_alias = nt::new_type<int, struct eq_test_tag_1>;
+    using type_alias = nt::new_type<int, struct tag>;
 
     auto constexpr lhs = type_alias{42};
     auto constexpr rhs = type_alias{42};
@@ -36,7 +36,7 @@ inline namespace basic_equality_comparsion_tests
 
   auto two_instances_of_the_same_new__type_with_differing_values_do_compare_not_equal() -> void
   {
-    using type_alias = nt::new_type<int, struct eq_test_tag_1>;
+    using type_alias = nt::new_type<int, struct tag>;
 
     auto constexpr lhs = type_alias{42};
     auto constexpr rhs = type_alias{43};
@@ -46,7 +46,7 @@ inline namespace basic_equality_comparsion_tests
 
   auto two_instances_of_the_same_new__type_with_differing_values_do_not_compare_equal() -> void
   {
-    using type_alias = nt::new_type<int, struct eq_test_tag_1>;
+    using type_alias = nt::new_type<int, struct tag>;
 
     auto constexpr lhs = type_alias{42};
     auto constexpr rhs = type_alias{43};
@@ -61,7 +61,7 @@ inline namespace equality_comparsion_noexcept_tests
 
   auto equality_comparison_on_a_new__type_is_noexcept_if_the_base_type_is_noexcept_comparable() -> void
   {
-    using type_alias = nt::new_type<int, struct eq_test_tag_2>;
+    using type_alias = nt::new_type<int, struct tag>;
     static_assert(noexcept(std::declval<int &>() == std::declval<int &>()), "Sanity Check");
     ASSERT(noexcept(std::declval<type_alias &>() == std::declval<type_alias &>()));
   }
@@ -76,14 +76,14 @@ inline namespace equality_comparsion_noexcept_tests
       }
     };
 
-    using type_alias = nt::new_type<strange_type, struct eq_test_tag_3>;
+    using type_alias = nt::new_type<strange_type, struct tag>;
     static_assert(!noexcept(std::declval<strange_type &>() == std::declval<strange_type &>()), "Sanity Check");
     ASSERT(!noexcept(std::declval<type_alias &>() == std::declval<type_alias &>()));
   }
 
   auto inequality_comparison_on_a_new__type_is_noexcept_if_the_base_type_is_noexcept_comparable() -> void
   {
-    using type_alias = nt::new_type<int, struct eq_test_tag_4>;
+    using type_alias = nt::new_type<int, struct tag>;
     static_assert(noexcept(std::declval<int &>() != std::declval<int &>()), "Sanity Check");
     ASSERT(noexcept(std::declval<type_alias &>() != std::declval<type_alias &>()));
   }
@@ -98,7 +98,7 @@ inline namespace equality_comparsion_noexcept_tests
       }
     };
 
-    using type_alias = nt::new_type<strange_type, struct eq_test_tag_5>;
+    using type_alias = nt::new_type<strange_type, struct tag>;
     static_assert(!noexcept(std::declval<strange_type &>() != std::declval<strange_type &>()), "Sanity Check");
     ASSERT(!noexcept(std::declval<type_alias &>() != std::declval<type_alias &>()));
   }
@@ -110,18 +110,55 @@ inline namespace equality_comparison_return_type_tests
 
   auto equality_comparsion_of_two_new__type_instances_returns_bool() -> void
   {
-    using type_alias = nt::new_type<int, struct eq_test_tag_6>;
+    using type_alias = nt::new_type<int, struct tag>;
     ASSERT((std::is_same_v<bool, decltype(std::declval<type_alias &>() == std::declval<type_alias &>())>));
   }
 
   auto inequality_comparsion_of_two_new__type_instances_returns_bool() -> void
   {
-    using type_alias = nt::new_type<int, struct eq_test_tag_7>;
+    using type_alias = nt::new_type<int, struct tag>;
     ASSERT((std::is_same_v<bool, decltype(std::declval<type_alias &>() != std::declval<type_alias &>())>));
   }
 
 }  // namespace equality_comparison_return_type_tests
 
+inline namespace base_type_equality_comparison_tests
+{
+
+  auto an_instance_of_a_new__type_compares_equal_to_an_instance_of_its_base_type_with_the_same_value() -> void
+  {
+    using type_alias = nt::new_type<int, struct tag, deriving(nt::EqBase)>;
+    auto lhs = type_alias{42};
+    auto rhs = 42;
+    ASSERT_EQUAL(lhs, rhs);
+  }
+
+  auto an_instance_of_the_base_type_of_a_new__type_compares_equal_to_an_instance_of_the_new__type_with_the_same_value() -> void
+  {
+    using type_alias = nt::new_type<int, struct tag, deriving(nt::EqBase)>;
+    auto lhs = 42;
+    auto rhs = type_alias{42};
+    ASSERT_EQUAL(lhs, rhs);
+  }
+
+  auto an_instance_of_a_new__type_compares_not_equal_to_an_instance_of_its_base_type_with_a_differing_value() -> void
+  {
+    using type_alias = nt::new_type<int, struct tag, deriving(nt::EqBase)>;
+    auto lhs = type_alias{42};
+    auto rhs = 43;
+    ASSERT(lhs != rhs);
+  }
+
+  auto an_instance_of_the_base_type_of_a_new__type_compares_not_equal_to_an_instance_of_the_new__type_with_a_differing_value() -> void
+  {
+    using type_alias = nt::new_type<int, struct tag, deriving(nt::EqBase)>;
+    auto lhs = 43;
+    auto rhs = type_alias{42};
+    ASSERT(lhs != rhs);
+  }
+
+}  // namespace base_type_equality_comparison_tests
+
 auto equality_comparison_suite() -> std::pair<cute::suite, std::string>
 {
   return {{
@@ -140,6 +177,12 @@ auto equality_comparison_suite() -> std::pair<cute::suite, std::string>
               // Equality Comparison Return Type Tests
               KAWAII(equality_comparsion_of_two_new__type_instances_returns_bool),
               KAWAII(inequality_comparsion_of_two_new__type_instances_returns_bool),
+
+              // Base-type Equality Comparison Tests
+              KAWAII(an_instance_of_a_new__type_compares_equal_to_an_instance_of_its_base_type_with_the_same_value),
+              KAWAII(an_instance_of_the_base_type_of_a_new__type_compares_equal_to_an_instance_of_the_new__type_with_the_same_value),
+              KAWAII(an_instance_of_a_new__type_compares_not_equal_to_an_instance_of_its_base_type_with_a_differing_value),
+              KAWAII(an_instance_of_the_base_type_of_a_new__type_compares_not_equal_to_an_instance_of_the_new__type_with_a_differing_value),
           },
           "Equality Comparison Tests"};
 }
\ No newline at end of file
-- 
cgit v1.2.3