Chris@16
|
1 // Copyright David Abrahams 2002.
|
Chris@16
|
2 // Distributed under the Boost Software License, Version 1.0. (See
|
Chris@16
|
3 // accompanying file LICENSE_1_0.txt or copy at
|
Chris@16
|
4 // http://www.boost.org/LICENSE_1_0.txt)
|
Chris@16
|
5 #ifndef INDIRECT_TRAITS_DWA2002131_HPP
|
Chris@16
|
6 # define INDIRECT_TRAITS_DWA2002131_HPP
|
Chris@16
|
7 # include <boost/type_traits/is_function.hpp>
|
Chris@16
|
8 # include <boost/type_traits/is_reference.hpp>
|
Chris@16
|
9 # include <boost/type_traits/is_pointer.hpp>
|
Chris@16
|
10 # include <boost/type_traits/is_class.hpp>
|
Chris@16
|
11 # include <boost/type_traits/is_const.hpp>
|
Chris@16
|
12 # include <boost/type_traits/is_volatile.hpp>
|
Chris@16
|
13 # include <boost/type_traits/is_member_function_pointer.hpp>
|
Chris@16
|
14 # include <boost/type_traits/is_member_pointer.hpp>
|
Chris@16
|
15 # include <boost/type_traits/remove_cv.hpp>
|
Chris@16
|
16 # include <boost/type_traits/remove_reference.hpp>
|
Chris@16
|
17 # include <boost/type_traits/remove_pointer.hpp>
|
Chris@16
|
18
|
Chris@16
|
19 # include <boost/detail/workaround.hpp>
|
Chris@16
|
20
|
Chris@16
|
21 # include <boost/mpl/eval_if.hpp>
|
Chris@16
|
22 # include <boost/mpl/if.hpp>
|
Chris@16
|
23 # include <boost/mpl/bool.hpp>
|
Chris@16
|
24 # include <boost/mpl/and.hpp>
|
Chris@16
|
25 # include <boost/mpl/not.hpp>
|
Chris@16
|
26 # include <boost/mpl/aux_/lambda_support.hpp>
|
Chris@16
|
27
|
Chris@16
|
28
|
Chris@16
|
29 namespace boost { namespace detail {
|
Chris@16
|
30
|
Chris@16
|
31 namespace indirect_traits {
|
Chris@16
|
32
|
Chris@16
|
33 template <class T>
|
Chris@16
|
34 struct is_reference_to_const : mpl::false_
|
Chris@16
|
35 {
|
Chris@16
|
36 };
|
Chris@16
|
37
|
Chris@16
|
38 template <class T>
|
Chris@16
|
39 struct is_reference_to_const<T const&> : mpl::true_
|
Chris@16
|
40 {
|
Chris@16
|
41 };
|
Chris@16
|
42
|
Chris@16
|
43 # if defined(BOOST_MSVC) && _MSC_FULL_VER <= 13102140 // vc7.01 alpha workaround
|
Chris@16
|
44 template<class T>
|
Chris@16
|
45 struct is_reference_to_const<T const volatile&> : mpl::true_
|
Chris@16
|
46 {
|
Chris@16
|
47 };
|
Chris@16
|
48 # endif
|
Chris@16
|
49
|
Chris@16
|
50 template <class T>
|
Chris@16
|
51 struct is_reference_to_function : mpl::false_
|
Chris@16
|
52 {
|
Chris@16
|
53 };
|
Chris@16
|
54
|
Chris@16
|
55 template <class T>
|
Chris@16
|
56 struct is_reference_to_function<T&> : is_function<T>
|
Chris@16
|
57 {
|
Chris@16
|
58 };
|
Chris@16
|
59
|
Chris@16
|
60 template <class T>
|
Chris@16
|
61 struct is_pointer_to_function : mpl::false_
|
Chris@16
|
62 {
|
Chris@16
|
63 };
|
Chris@16
|
64
|
Chris@16
|
65 // There's no such thing as a pointer-to-cv-function, so we don't need
|
Chris@16
|
66 // specializations for those
|
Chris@16
|
67 template <class T>
|
Chris@16
|
68 struct is_pointer_to_function<T*> : is_function<T>
|
Chris@16
|
69 {
|
Chris@16
|
70 };
|
Chris@16
|
71
|
Chris@16
|
72 template <class T>
|
Chris@16
|
73 struct is_reference_to_member_function_pointer_impl : mpl::false_
|
Chris@16
|
74 {
|
Chris@16
|
75 };
|
Chris@16
|
76
|
Chris@16
|
77 template <class T>
|
Chris@16
|
78 struct is_reference_to_member_function_pointer_impl<T&>
|
Chris@16
|
79 : is_member_function_pointer<typename remove_cv<T>::type>
|
Chris@16
|
80 {
|
Chris@16
|
81 };
|
Chris@16
|
82
|
Chris@16
|
83
|
Chris@16
|
84 template <class T>
|
Chris@16
|
85 struct is_reference_to_member_function_pointer
|
Chris@16
|
86 : is_reference_to_member_function_pointer_impl<T>
|
Chris@16
|
87 {
|
Chris@16
|
88 BOOST_MPL_AUX_LAMBDA_SUPPORT(1,is_reference_to_member_function_pointer,(T))
|
Chris@16
|
89 };
|
Chris@16
|
90
|
Chris@16
|
91 template <class T>
|
Chris@16
|
92 struct is_reference_to_function_pointer_aux
|
Chris@16
|
93 : mpl::and_<
|
Chris@16
|
94 is_reference<T>
|
Chris@16
|
95 , is_pointer_to_function<
|
Chris@16
|
96 typename remove_cv<
|
Chris@16
|
97 typename remove_reference<T>::type
|
Chris@16
|
98 >::type
|
Chris@16
|
99 >
|
Chris@16
|
100 >
|
Chris@16
|
101 {
|
Chris@16
|
102 // There's no such thing as a pointer-to-cv-function, so we don't need specializations for those
|
Chris@16
|
103 };
|
Chris@16
|
104
|
Chris@16
|
105 template <class T>
|
Chris@16
|
106 struct is_reference_to_function_pointer
|
Chris@16
|
107 : mpl::if_<
|
Chris@16
|
108 is_reference_to_function<T>
|
Chris@16
|
109 , mpl::false_
|
Chris@16
|
110 , is_reference_to_function_pointer_aux<T>
|
Chris@16
|
111 >::type
|
Chris@16
|
112 {
|
Chris@16
|
113 };
|
Chris@16
|
114
|
Chris@16
|
115 template <class T>
|
Chris@16
|
116 struct is_reference_to_non_const
|
Chris@16
|
117 : mpl::and_<
|
Chris@16
|
118 is_reference<T>
|
Chris@16
|
119 , mpl::not_<
|
Chris@16
|
120 is_reference_to_const<T>
|
Chris@16
|
121 >
|
Chris@16
|
122 >
|
Chris@16
|
123 {
|
Chris@16
|
124 };
|
Chris@16
|
125
|
Chris@16
|
126 template <class T>
|
Chris@16
|
127 struct is_reference_to_volatile : mpl::false_
|
Chris@16
|
128 {
|
Chris@16
|
129 };
|
Chris@16
|
130
|
Chris@16
|
131 template <class T>
|
Chris@16
|
132 struct is_reference_to_volatile<T volatile&> : mpl::true_
|
Chris@16
|
133 {
|
Chris@16
|
134 };
|
Chris@16
|
135
|
Chris@16
|
136 # if defined(BOOST_MSVC) && _MSC_FULL_VER <= 13102140 // vc7.01 alpha workaround
|
Chris@16
|
137 template <class T>
|
Chris@16
|
138 struct is_reference_to_volatile<T const volatile&> : mpl::true_
|
Chris@16
|
139 {
|
Chris@16
|
140 };
|
Chris@16
|
141 # endif
|
Chris@16
|
142
|
Chris@16
|
143
|
Chris@16
|
144 template <class T>
|
Chris@16
|
145 struct is_reference_to_pointer : mpl::false_
|
Chris@16
|
146 {
|
Chris@16
|
147 };
|
Chris@16
|
148
|
Chris@16
|
149 template <class T>
|
Chris@16
|
150 struct is_reference_to_pointer<T*&> : mpl::true_
|
Chris@16
|
151 {
|
Chris@16
|
152 };
|
Chris@16
|
153
|
Chris@16
|
154 template <class T>
|
Chris@16
|
155 struct is_reference_to_pointer<T* const&> : mpl::true_
|
Chris@16
|
156 {
|
Chris@16
|
157 };
|
Chris@16
|
158
|
Chris@16
|
159 template <class T>
|
Chris@16
|
160 struct is_reference_to_pointer<T* volatile&> : mpl::true_
|
Chris@16
|
161 {
|
Chris@16
|
162 };
|
Chris@16
|
163
|
Chris@16
|
164 template <class T>
|
Chris@16
|
165 struct is_reference_to_pointer<T* const volatile&> : mpl::true_
|
Chris@16
|
166 {
|
Chris@16
|
167 };
|
Chris@16
|
168
|
Chris@16
|
169 template <class T>
|
Chris@16
|
170 struct is_reference_to_class
|
Chris@16
|
171 : mpl::and_<
|
Chris@16
|
172 is_reference<T>
|
Chris@16
|
173 , is_class<
|
Chris@16
|
174 typename remove_cv<
|
Chris@16
|
175 typename remove_reference<T>::type
|
Chris@16
|
176 >::type
|
Chris@16
|
177 >
|
Chris@16
|
178 >
|
Chris@16
|
179 {
|
Chris@16
|
180 BOOST_MPL_AUX_LAMBDA_SUPPORT(1,is_reference_to_class,(T))
|
Chris@16
|
181 };
|
Chris@16
|
182
|
Chris@16
|
183 template <class T>
|
Chris@16
|
184 struct is_pointer_to_class
|
Chris@16
|
185 : mpl::and_<
|
Chris@16
|
186 is_pointer<T>
|
Chris@16
|
187 , is_class<
|
Chris@16
|
188 typename remove_cv<
|
Chris@16
|
189 typename remove_pointer<T>::type
|
Chris@16
|
190 >::type
|
Chris@16
|
191 >
|
Chris@16
|
192 >
|
Chris@16
|
193 {
|
Chris@16
|
194 BOOST_MPL_AUX_LAMBDA_SUPPORT(1,is_pointer_to_class,(T))
|
Chris@16
|
195 };
|
Chris@16
|
196
|
Chris@16
|
197
|
Chris@16
|
198 }
|
Chris@16
|
199
|
Chris@16
|
200 using namespace indirect_traits;
|
Chris@16
|
201
|
Chris@16
|
202 }} // namespace boost::python::detail
|
Chris@16
|
203
|
Chris@16
|
204 #endif // INDIRECT_TRAITS_DWA2002131_HPP
|