1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
#include "asl/base/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; }
[[maybe_unused]] static float some_func1(float x) { return x + 1; }
static int some_func2(int x, int b) { return x + b; }
static_assert(asl::same_as<asl::invoke_result_t<int()>, int>);
static_assert(asl::same_as<asl::invoke_result_t<int(float), float>, int>);
static_assert(asl::same_as<asl::invoke_result_t<Functor>, int64_t>);
static_assert(asl::same_as<asl::invoke_result_t<Functor, int>, int>);
static_assert(asl::same_as<asl::invoke_result_t<decltype(static_cast<float(*)(float)>(some_func1)), float>, float>);
static_assert(asl::same_as<asl::invoke_result_t<decltype(&HasFunction::do_something), HasFunction, int, float>, void>);
static_assert(asl::same_as<asl::invoke_result_t<decltype(&HasMember::member), const HasMember>, const int&>);
static_assert(asl::invocable<int()>);
static_assert(!asl::invocable<int(), int>);
static_assert(asl::invocable<int(float), float>);
static_assert(!asl::invocable<int(float), int*>);
static_assert(asl::invocable<Functor>);
static_assert(asl::invocable<Functor, int>);
static_assert(!asl::invocable<Functor, void*>);
static_assert(asl::invocable<decltype(static_cast<float(*)(float)>(some_func1)), float>);
static_assert(asl::invocable<decltype(&HasFunction::do_something), HasFunction, int, float>);
static_assert(!asl::invocable<decltype(&HasFunction::do_something), HasFunction, int, int*>);
static_assert(asl::invocable<decltype(&HasMember::member), const HasMember>);
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);
}
|
