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

/*
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/remove_member_volatile.hpp>
#include "test.hpp"

struct foo{};

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

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

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

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

#endif //#ifndef BOOST_CLBL_TRTS_DISABLE_ABOMINABLE_FUNCTIONS

}