mirrow/tests/util/function_traits.cpp at main · VisualGMQ/mirrow · GitHub

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
#include "mirrow/util/function_traits.hpp"
#include <string>

#define CATCH_CONFIG_MAIN
#include "catch.hpp"

using namespace mirrow::util;

void GlobFunc(float, std::string);

struct Clazz {
    std::string Foo();
    void ConstFoo(double)const;
    static int& StaticFoo(float);
};

TEST_CASE("function pointer type") {
    static_assert(std::is_same_v<function_pointer_type_t<GlobFunc>,
                                void (*)(float, std::string)>);
    static_assert(std::is_same_v<function_pointer_type_t<&Clazz::Foo>,
                                std::string (Clazz::*)()>);
    static_assert(std::is_same_v<function_pointer_type_t<Clazz::StaticFoo>,
                                int& (*)(float)>);
    static_assert(std::is_same_v<function_pointer_type_t<&Clazz::ConstFoo>,
                                void (Clazz::*)(double)const>);
}

TEST_CASE("function type from pointer") {
    static_assert(std::is_same_v<function_type_from_pointer_t<GlobFunc>,
                                void(float, std::string)>);
    static_assert(std::is_same_v<function_type_from_pointer_t<&Clazz::Foo>,
                                std::string (Clazz::*)()>);
    static_assert(std::is_same_v<function_type_from_pointer_t<Clazz::StaticFoo>,
                                int&(float)>);
    static_assert(std::is_same_v<function_type_from_pointer_t<&Clazz::ConstFoo>,
                                void (Clazz::*)(double)const>);
}

TEST_CASE("function pointer traits") {
    SECTION("global function") {
        using traits = function_pointer_traits<GlobFunc>;
        static_assert(std::is_same_v<traits::args, type_list<float, std::string>>);
        static_assert(!traits::is_const);
        static_assert(!traits::is_member);
        static_assert(std::is_same_v<traits::pointer, void(*)(float, std::string)>);
        static_assert(std::is_same_v<traits::return_type, void>);
        static_assert(std::is_same_v<traits::type, void(float, std::string)>);
    }

    SECTION("member function") {
        using traits = function_pointer_traits<&Clazz::Foo>;
        static_assert(std::is_same_v<traits::args, type_list<>>);
        static_assert(std::is_same_v<traits::args_with_class, type_list<Clazz*>>);
        static_assert(!traits::is_const);
        static_assert(traits::is_member);
        static_assert(std::is_same_v<traits::pointer, std::string(Clazz::*)(void)>);
        static_assert(std::is_same_v<traits::return_type, std::string>);
        static_assert(std::is_same_v<traits::type, std::string(Clazz::*)(void)>);
    }

    SECTION("const member function") {
        using traits = function_pointer_traits<&Clazz::ConstFoo>;
        static_assert(std::is_same_v<traits::args, type_list<double>>);
        static_assert(std::is_same_v<traits::args_with_class, type_list<Clazz*, double>>);
        static_assert(traits::is_const);
        static_assert(traits::is_member);
        static_assert(std::is_same_v<traits::pointer, void(Clazz::*)(double)const>);
        static_assert(std::is_same_v<traits::return_type, void>);
    }

    SECTION("static function") {
        using traits = function_pointer_traits<Clazz::StaticFoo>;
        static_assert(std::is_same_v<traits::args, type_list<float>>);
        static_assert(!traits::is_const);
        static_assert(!traits::is_member);
        static_assert(std::is_same_v<traits::pointer, int&(*)(float)>);
        static_assert(std::is_same_v<traits::return_type, int&>);
        static_assert(std::is_same_v<traits::type, int&(float)>);
    }
}