boost_callable_traits 0.1.0

Boost C++ library boost_callable_traits packaged using Zanbil
Documentation 
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
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104

/*
Copyright Barrett Adair 2016-2017
Distributed under the Boost Software License, Version 1.0.
(See accompanying file LICENSE.md or copy at http ://boost.org/LICENSE_1_0.txt)
*/

#include <type_traits>
#include <functional>
#include <tuple>
#include <boost/callable_traits/add_member_cv.hpp>
#include "test.hpp"

struct foo {};

int main() {

    {
        using f =   void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...);
        using l =   void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) LREF;
        using r =   void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) RREF;
        using c =   void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) const;
        using cl =  void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) const LREF;
        using cr =  void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) const RREF;
        using v =   void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) volatile;
        using vl =  void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) volatile LREF;
        using vr =  void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) volatile RREF;
        using cv =  void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) const volatile;
        using cvl = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) const volatile LREF;
        using cvr = void(BOOST_CLBL_TRTS_DEFAULT_VARARGS_CC foo::*)(...) const volatile RREF;

        CT_ASSERT(std::is_same<cv,    TRAIT(add_member_cv, f)>{});
        CT_ASSERT(std::is_same<cv,    TRAIT(add_member_cv, c)>{});
        CT_ASSERT(std::is_same<cvl,   TRAIT(add_member_cv, l)>{});
        CT_ASSERT(std::is_same<cvl,   TRAIT(add_member_cv, cl)>{});
        CT_ASSERT(std::is_same<cvr,   TRAIT(add_member_cv, r)>{});
        CT_ASSERT(std::is_same<cvr,   TRAIT(add_member_cv, cr)>{});
        CT_ASSERT(std::is_same<cv,   TRAIT(add_member_cv, v)>{});
        CT_ASSERT(std::is_same<cv,   TRAIT(add_member_cv, cv)>{});
        CT_ASSERT(std::is_same<cvl,  TRAIT(add_member_cv, vl)>{});
        CT_ASSERT(std::is_same<cvl,  TRAIT(add_member_cv, cvl)>{});
        CT_ASSERT(std::is_same<cvr,  TRAIT(add_member_cv, vr)>{});
        CT_ASSERT(std::is_same<cvr,  TRAIT(add_member_cv, cvr)>{});
    }

    {
        using f =   void(foo::*)(int, int);
        using l =   void(foo::*)(int, int) LREF;
        using r =   void(foo::*)(int, int) RREF;
        using c =   void(foo::*)(int, int) const;
        using cl =  void(foo::*)(int, int) const LREF;
        using cr =  void(foo::*)(int, int) const RREF;
        using v =   void(foo::*)(int, int) volatile;
        using vl =  void(foo::*)(int, int) volatile LREF;
        using vr =  void(foo::*)(int, int) volatile RREF;
        using cv =  void(foo::*)(int, int) const volatile;
        using cvl = void(foo::*)(int, int) const volatile LREF;
        using cvr = void(foo::*)(int, int) const volatile RREF;

        CT_ASSERT(std::is_same<cv,   TRAIT(add_member_cv, f)>{});
        CT_ASSERT(std::is_same<cv,   TRAIT(add_member_cv, c)>{});
        CT_ASSERT(std::is_same<cvl,  TRAIT(add_member_cv, l)>{});
        CT_ASSERT(std::is_same<cvl,  TRAIT(add_member_cv, cl)>{});
        CT_ASSERT(std::is_same<cvr,  TRAIT(add_member_cv, r)>{});
        CT_ASSERT(std::is_same<cvr,  TRAIT(add_member_cv, cr)>{});
        CT_ASSERT(std::is_same<cv,   TRAIT(add_member_cv, v)>{});
        CT_ASSERT(std::is_same<cv,   TRAIT(add_member_cv, cv)>{});
        CT_ASSERT(std::is_same<cvl,  TRAIT(add_member_cv, vl)>{});
        CT_ASSERT(std::is_same<cvl,  TRAIT(add_member_cv, cvl)>{});
        CT_ASSERT(std::is_same<cvr,  TRAIT(add_member_cv, vr)>{});
        CT_ASSERT(std::is_same<cvr,  TRAIT(add_member_cv, cvr)>{});
    }

#ifndef BOOST_CLBL_TRTS_DISABLE_ABOMINABLE_FUNCTIONS

    {
        using f =   void();
        using l =   void() LREF;
        using r =   void() RREF;
        using c =   void() const;
        using cl =  void() const LREF;
        using cr =  void() const RREF;
        using v =   void() volatile;
        using vl =  void() volatile LREF;
        using vr =  void() volatile RREF;
        using cv =  void() const volatile;
        using cvl = void() const volatile LREF;
        using cvr = void() const volatile RREF;

        CT_ASSERT(std::is_same<cv,   TRAIT(add_member_cv, f)>{});
        CT_ASSERT(std::is_same<cv,   TRAIT(add_member_cv, c)>{});
        CT_ASSERT(std::is_same<cvl,  TRAIT(add_member_cv, l)>{});
        CT_ASSERT(std::is_same<cvl,  TRAIT(add_member_cv, cl)>{});
        CT_ASSERT(std::is_same<cvr,  TRAIT(add_member_cv, r)>{});
        CT_ASSERT(std::is_same<cvr,  TRAIT(add_member_cv, cr)>{});
        CT_ASSERT(std::is_same<cv,   TRAIT(add_member_cv, v)>{});
        CT_ASSERT(std::is_same<cv,   TRAIT(add_member_cv, cv)>{});
        CT_ASSERT(std::is_same<cvl,  TRAIT(add_member_cv, vl)>{});
        CT_ASSERT(std::is_same<cvl,  TRAIT(add_member_cv, cvl)>{});
        CT_ASSERT(std::is_same<cvr,  TRAIT(add_member_cv, vr)>{});
        CT_ASSERT(std::is_same<cvr,  TRAIT(add_member_cv, cvr)>{});
    }

#endif //#ifndef BOOST_CLBL_TRTS_DISABLE_ABOMINABLE_FUNCTIONS
}