diff options
| author | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2024-11-02 19:54:50 +0100 |
|---|---|---|
| committer | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2024-12-20 15:35:58 +0100 |
| commit | c09323804c6c6d42c052b1c60061134261e515fc (patch) | |
| tree | 1c5dd6962e82ee35bc1ae662e6f268826511ada9 /asl/tests | |
| parent | be34f768e093cb6752ab81fde3ab529861a8a6a8 (diff) | |
Add function with invoke and result_of_t
Diffstat (limited to 'asl/tests')
| -rw-r--r-- | asl/tests/functional_tests.cpp | 73 | ||||
| -rw-r--r-- | asl/tests/meta_tests.cpp | 10 |
2 files changed, 83 insertions, 0 deletions
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>);
+
|