test(*): more coverage

c0nstexpr · Apr 23, 2024 · 94cb4e4 · 94cb4e4
1 parent 713f189
commit 94cb4e4
Show file tree

Hide file tree

Showing 4 changed files with 54 additions and 50 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -5,7 +5,7 @@ cmake_minimum_required(VERSION 3.24)
 #
 project(
   stdsharp
-  VERSION 0.9.0
+  VERSION 0.9.1
   LANGUAGES CXX)
 
 include(cmake/Utils.cmake)

diff --git a/include/stdsharp/synchronizer.h b/include/stdsharp/synchronizer.h
@@ -38,7 +38,7 @@ namespace stdsharp
 
     private:
         template<typename Lock, typename... Args, typename T, typename Self>
-        // requires std::constructible_from<Lock, lock_type&, Args...>
+            requires std::constructible_from<Lock, lock_type&, Args...>
         constexpr auto write_impl(this Self&& self, T&& value, Args&&... args)
         {
             using cast_t = forward_cast_t<Self, T>;

diff --git a/tests/src/default_operator.cpp b/tests/src/default_operator.cpp
@@ -6,9 +6,18 @@ STDSHARP_TEST_NAMESPACES;
 using namespace default_operator;
 
 template<typename T>
-void arithmetic_test()
+void arithmetic_test([[maybe_unused]] T v = {})
 {
-    [[maybe_unused]] T v{};
+    STATIC_REQUIRE(requires { v += 1; });
+    STATIC_REQUIRE(requires { v -= 1; });
+    STATIC_REQUIRE(requires { v *= 1; });
+    STATIC_REQUIRE(requires { v /= 1; });
+    STATIC_REQUIRE(requires { v %= 1; });
+    STATIC_REQUIRE(requires { v &= 1; });
+    STATIC_REQUIRE(requires { v |= 1; });
+    STATIC_REQUIRE(requires { v ^= 1; });
+    STATIC_REQUIRE(requires { v <<= 1; });
+    STATIC_REQUIRE(requires { v >>= 1; });
 
     STATIC_REQUIRE(requires { v + 1; });
     STATIC_REQUIRE(requires { v - 1; });
@@ -23,10 +32,8 @@ void arithmetic_test()
 }
 
 template<typename T>
-void commutative_arithmetic_test()
+void commutative_arithmetic_test([[maybe_unused]] T v = {})
 {
-    [[maybe_unused]] T v{};
-
     STATIC_REQUIRE(requires { 1 + v; });
     STATIC_REQUIRE(requires { 1 - v; });
     STATIC_REQUIRE(requires { 1 * v; });
@@ -40,43 +47,34 @@ void commutative_arithmetic_test()
     STATIC_REQUIRE(requires { +v; });
 }
 
-SCENARIO("incrementable", "[default operator]")
+struct increase_t : increase
 {
-    [[maybe_unused]] struct : increase
-    {
-        using increase::operator++;
-        using increase::operator--;
+    using increase::operator++;
+    using increase::operator--;
 
-        auto& operator++() { return *this; }
+    increase_t& operator++();
 
-        auto& operator--() { return *this; }
-    } v{};
+    increase_t& operator--();
+};
 
-    STATIC_REQUIRE(requires { v++; });
-    STATIC_REQUIRE(requires { v--; });
+SCENARIO("incrementable", "[default operator]")
+{
+    STATIC_REQUIRE(requires(increase_t v) { v++; });
+    STATIC_REQUIRE(requires(increase_t v) { v--; });
 }
 
 struct arith : arithmetic
 {
-    auto& operator+=(int /*unused*/) { return *this; }
-
-    auto& operator-=(int /*unused*/) { return *this; }
-
-    auto& operator*=(int /*unused*/) { return *this; }
-
-    auto& operator/=(int /*unused*/) { return *this; }
-
-    auto& operator%=(int /*unused*/) { return *this; }
-
-    auto& operator&=(int /*unused*/) { return *this; }
-
-    auto& operator|=(int /*unused*/) { return *this; }
-
-    auto& operator^=(int /*unused*/) { return *this; }
-
-    auto& operator<<=(int /*unused*/) { return *this; }
-
-    auto& operator>>=(int /*unused*/) { return *this; }
+    arith& operator+=(int);
+    arith& operator-=(int);
+    arith& operator*=(int);
+    arith& operator/=(int);
+    arith& operator%=(int);
+    arith& operator&=(int);
+    arith& operator|=(int);
+    arith& operator^=(int);
+    arith& operator<<=(int);
+    arith& operator>>=(int);
 };
 
 SCENARIO("arithmetic", "[default operator]") { arithmetic_test<arith>(); }
@@ -138,15 +136,15 @@ SCENARIO("arrow", "[default operator]")
 
 // TODO: multidimensional subscript
 #if __cpp_multidimensional_subscript >= 202110L
-SCENARIO("subscript", "[default operator]")
+struct subscript_t : subscript
 {
-    [[maybe_unused]] struct : subscript
-    {
-        using subscript::operator[];
+    using subscript::operator[];
 
-        [[nodiscard]] auto operator[](const int /*unused*/) const { return *this; }
-    } v{};
+    subscript_t operator[](int) const;
+};
 
-    STATIC_REQUIRE(requires { v[0, 1]; });
+SCENARIO("subscript", "[default operator]")
+{
+    STATIC_REQUIRE(requires(subscript_t v) { v[0, 1]; });
 }
 #endif
diff --git a/tests/src/type_traits/type_sequence.cpp b/tests/src/type_traits/type_sequence.cpp
@@ -30,14 +30,20 @@ SCENARIO("type sequence apply", "[type traits][type sequence]")
 
 namespace
 {
-    inline constexpr auto type_sequence_invoker = []<typename T>(const basic_type_constant<T>) {};
+    struct type_sequence_invoker
+    {
+        template<typename T>
+        constexpr void operator()(const basic_type_constant<T> /*unused*/)
+        {
+        }
+    };
 }
 
 TEMPLATE_TEST_CASE(
     "Scenario: type sequence invoke",
     "[type traits][type sequence]",
     identity,
-    decltype(type_sequence_invoker)
+    type_sequence_invoker
 )
 {
     STATIC_REQUIRE(invocable<test_seq::invoke_fn<>, TestType>);
@@ -49,9 +55,9 @@ TEMPLATE_TEST_CASE_SIG(
     "Scenario: type sequence find",
     "[type traits][type sequence]",
     ((typename T, auto Expect), T, Expect),
-    (int, 0) //,
-    // (float, 1),
-    // (void, test_seq::size())
+    (int, 0),
+    (float, 1),
+    (void, test_seq::size())
 )
 {
     STATIC_REQUIRE(
@@ -73,7 +79,7 @@ TEMPLATE_TEST_CASE_SIG(
     );
 }
 
-TEMPLATE_TEST_CASE_SIG( 
+TEMPLATE_TEST_CASE_SIG(
     "Scenario: type sequence append",
     "[type traits][type sequence]",
     ( //
@@ -102,7 +108,7 @@ TEMPLATE_TEST_CASE_SIG(
     STATIC_REQUIRE(same_as<test_seq::append_front_t<T...>, FrontExpect>);
 }
 
-TEMPLATE_TEST_CASE_SIG( 
+TEMPLATE_TEST_CASE_SIG(
     "Scenario: type sequence insert",
     "[type traits][type sequence]",
     ((auto Index, typename Expect, typename... T), Index, Expect, T...),