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
|
// Copyright 2015 Peter Dimov.
//
// Distributed under the Boost Software License, Version 1.0.
//
// See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt
#include <boost/mp11/utility.hpp>
#include <boost/mp11/detail/config.hpp>
#include <boost/core/lightweight_test_trait.hpp>
template<class T> struct Xi
{
};
template<> struct Xi<void>
{
using type = void;
};
template<class T> using X = typename Xi<T>::type;
template<class T> using add_pointer = T*;
template<class T> using add_reference = T&;
template<class T> using add_extents = T[];
using boost::mp11::mp_quote;
using QX = mp_quote<X>;
using Q_add_pointer = mp_quote<add_pointer>;
int main()
{
using boost::mp11::mp_valid;
using boost::mp11::mp_valid_q;
using boost::mp11::mp_identity;
BOOST_TEST_TRAIT_FALSE((mp_valid<mp_identity>));
BOOST_TEST_TRAIT_TRUE((mp_valid<mp_identity, void>));
BOOST_TEST_TRAIT_FALSE((mp_valid<mp_identity, void, void>));
BOOST_TEST_TRAIT_FALSE((mp_valid<X>));
BOOST_TEST_TRAIT_TRUE((mp_valid<X, void>));
BOOST_TEST_TRAIT_FALSE((mp_valid<X, int>));
BOOST_TEST_TRAIT_FALSE((mp_valid<X, void, void>));
BOOST_TEST_TRAIT_FALSE((mp_valid<QX::fn>));
BOOST_TEST_TRAIT_TRUE((mp_valid<QX::fn, void>));
BOOST_TEST_TRAIT_FALSE((mp_valid<QX::fn, int>));
BOOST_TEST_TRAIT_FALSE((mp_valid<QX::fn, void, void>));
BOOST_TEST_TRAIT_FALSE((mp_valid_q<QX>));
BOOST_TEST_TRAIT_TRUE((mp_valid_q<QX, void>));
BOOST_TEST_TRAIT_FALSE((mp_valid_q<QX, int>));
BOOST_TEST_TRAIT_FALSE((mp_valid_q<QX, void, void>));
BOOST_TEST_TRAIT_FALSE((mp_valid<add_pointer>));
BOOST_TEST_TRAIT_TRUE((mp_valid<add_pointer, void>));
BOOST_TEST_TRAIT_TRUE((mp_valid<add_pointer, int>));
#if !BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, <= 1800 )
// msvc-12.0 can form pointer to reference
BOOST_TEST_TRAIT_FALSE((mp_valid<add_pointer, int&>));
#endif
BOOST_TEST_TRAIT_FALSE((mp_valid<add_pointer, void, void>));
BOOST_TEST_TRAIT_FALSE((mp_valid<Q_add_pointer::fn>));
BOOST_TEST_TRAIT_TRUE((mp_valid<Q_add_pointer::fn, void>));
BOOST_TEST_TRAIT_TRUE((mp_valid<Q_add_pointer::fn, int>));
BOOST_TEST_TRAIT_FALSE((mp_valid<Q_add_pointer::fn, void, void>));
BOOST_TEST_TRAIT_FALSE((mp_valid_q<Q_add_pointer>));
BOOST_TEST_TRAIT_TRUE((mp_valid_q<Q_add_pointer, void>));
BOOST_TEST_TRAIT_TRUE((mp_valid_q<Q_add_pointer, int>));
BOOST_TEST_TRAIT_FALSE((mp_valid_q<Q_add_pointer, void, void>));
#if !BOOST_MP11_WORKAROUND( BOOST_MP11_GCC, < 70000 )
// g++ up to at least 6.3 doesn't like add_reference for some reason or other
BOOST_TEST_TRAIT_FALSE((mp_valid<add_reference>));
#if !BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, <= 1800 )
// msvc-12.0 gives an internal error here
BOOST_TEST_TRAIT_FALSE((mp_valid<add_reference, void>));
#endif
BOOST_TEST_TRAIT_TRUE((mp_valid<add_reference, int>));
BOOST_TEST_TRAIT_FALSE((mp_valid<add_reference, int, int>));
#endif
BOOST_TEST_TRAIT_FALSE((mp_valid<add_extents>));
BOOST_TEST_TRAIT_TRUE((mp_valid<add_extents, int>));
#if !BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, <= 1800 )
// msvc-12.0 can form arrays to void or int&
BOOST_TEST_TRAIT_FALSE((mp_valid<add_extents, void>));
BOOST_TEST_TRAIT_FALSE((mp_valid<add_extents, int&>));
#endif
BOOST_TEST_TRAIT_FALSE((mp_valid<add_extents, int, int>));
return boost::report_errors();
}
|
