From c09323804c6c6d42c052b1c60061134261e515fc Mon Sep 17 00:00:00 2001
From: Steven Le Rouzic <steven.lerouzic@gmail.com>
Date: Sat, 2 Nov 2024 19:54:50 +0100
Subject: Add function with invoke and result_of_t

---
 asl/tests/functional_tests.cpp | 73 ++++++++++++++++++++++++++++++++++++++++++
 asl/tests/meta_tests.cpp       | 10 ++++++
 2 files changed, 83 insertions(+)
 create mode 100644 asl/tests/functional_tests.cpp

(limited to 'asl/tests')

diff --git a/asl/tests/functional_tests.cpp b/asl/tests/functional_tests.cpp
new file mode 100644
index 0000000..9aa15c7
--- /dev/null
+++ b/asl/tests/functional_tests.cpp
@@ -0,0 +1,73 @@
+#include "asl/functional.hpp"
+#include "asl/testing/testing.hpp"
+
+struct HasFunction
+{
+    void do_something(int, float) {}
+};
+
+struct HasMember
+{
+    int member{};
+    int member_array[4]{};
+    void (*member_fn)(){};
+};
+
+struct Functor
+{
+    int64_t operator()() { return 35; }
+    int operator()(int x) { return x; }
+};
+
+static int some_func0() { return 1; }
+static int some_func1(int x) { return x + 1; }
+static float some_func1(float x) { return x + 1; }
+static int some_func2(int x, int b) { return x + b; }
+
+static_assert(asl::is_same<asl::result_of_t<Functor()>, int64_t>);
+static_assert(asl::is_same<asl::result_of_t<Functor(int)>, int>);
+static_assert(asl::is_same<asl::result_of_t<decltype(static_cast<float(*)(float)>(some_func1))(float)>, float>);
+static_assert(asl::is_same<asl::result_of_t<decltype(&HasFunction::do_something)(HasFunction, int, float)>, void>);
+static_assert(asl::is_same<asl::result_of_t<decltype(&HasMember::member)(HasMember)>, int>);
+
+ASL_TEST(invoke_member_function)
+{
+    HasFunction c;
+    asl::invoke(&HasFunction::do_something, c, 5, 5.0F);
+    asl::invoke(&HasFunction::do_something, &c, 5, 5.0F);
+}
+
+ASL_TEST(invoke_member_data)
+{
+    HasMember c;
+    
+    asl::invoke(&HasMember::member, c);
+    asl::invoke(&HasMember::member_array, c);
+    asl::invoke(&HasMember::member_fn, c);
+    asl::invoke(&HasMember::member, &c);
+    asl::invoke(&HasMember::member_array, &c);
+    asl::invoke(&HasMember::member_fn, &c);
+}
+
+ASL_TEST(invoke_fn)
+{
+    ASL_TEST_EXPECT(asl::invoke(some_func0) == 1);
+    ASL_TEST_EXPECT(asl::invoke(static_cast<int(*)(int)>(some_func1), 8) == 9);
+    ASL_TEST_EXPECT(asl::invoke(some_func2, 4, 8) == 12);
+    ASL_TEST_EXPECT(asl::invoke(&some_func0) == 1);
+    ASL_TEST_EXPECT(asl::invoke(static_cast<int(*)(int)>(&some_func1), 8) == 9);
+    ASL_TEST_EXPECT(asl::invoke(&some_func2, 4, 8) == 12);
+}
+
+ASL_TEST(invoke_operator_call)
+{
+    Functor f;
+    ASL_TEST_EXPECT(asl::invoke(f) == 35);
+    ASL_TEST_EXPECT(asl::invoke(f, 8) == 8);
+}
+
+ASL_TEST(invoke_lambda)
+{
+    ASL_TEST_EXPECT(asl::invoke([](){ return 35; }) == 35);
+    ASL_TEST_EXPECT(asl::invoke([](int x){ return x + 2; }, 6) == 8);
+}
diff --git a/asl/tests/meta_tests.cpp b/asl/tests/meta_tests.cpp
index 4397763..0f5aa63 100644
--- a/asl/tests/meta_tests.cpp
+++ b/asl/tests/meta_tests.cpp
@@ -1,5 +1,6 @@
 #include "asl/meta.hpp"
 #include "asl/tests/test_types.hpp"
+#include "asl/testing/testing.hpp"
 
 struct Struct {};
 union Union {};
@@ -180,3 +181,12 @@ static_assert(!asl::convertible<Base*, Derived*>);
 static_assert(asl::convertible<D, C>);
 static_assert(!asl::convertible<Derived*, C*>);
 static_assert(asl::convertible<Base, E>);
+
+static_assert(asl::derived_from<Derived, Base>);
+static_assert(!asl::derived_from<Base, Derived>);
+static_assert(!asl::derived_from<D, C>);
+static_assert(!asl::derived_from<C, D>);
+static_assert(!asl::derived_from<uint8_t, uint16_t>);
+static_assert(!asl::derived_from<uint16_t, uint8_t>);
+static_assert(!asl::derived_from<int, int>);
+
-- 
cgit