1 // Copyright (C) 2004 Arkadiy Vertleyb
2 // Distributed under the Boost Software License, Version 1.0. (See accompanying
3 // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
5 #ifndef BOOST_TYPEOF_MODIFIERS_HPP_INCLUDED
6 #define BOOST_TYPEOF_MODIFIERS_HPP_INCLUDED
8 #include <boost/typeof/encode_decode.hpp>
9 #include <boost/preprocessor/facilities/identity.hpp>
11 #include BOOST_TYPEOF_INCREMENT_REGISTRATION_GROUP()
15 #define BOOST_TYPEOF_modifier_support(ID, Fun)\
16 template<class V, class T> struct encode_type_impl<V, Fun(T)>\
19 typename boost::type_of::encode_type<\
20 typename boost::type_of::push_back<\
22 , boost::mpl::size_t<ID> >::type\
26 template<class Iter> struct decode_type_impl<boost::mpl::size_t<ID>, Iter>\
28 typedef boost::type_of::decode_type<Iter> d1;\
29 typedef Fun(typename d1::type) type;\
30 typedef typename d1::iter iter;\
33 #define BOOST_TYPEOF_const_fun(T) const T
34 #define BOOST_TYPEOF_volatile_fun(T) volatile T
35 #define BOOST_TYPEOF_volatile_const_fun(T) volatile const T
36 #define BOOST_TYPEOF_pointer_fun(T) T*
37 #define BOOST_TYPEOF_reference_fun(T) T&
39 BOOST_TYPEOF_BEGIN_ENCODE_NS
41 BOOST_TYPEOF_modifier_support(BOOST_TYPEOF_UNIQUE_ID(), BOOST_TYPEOF_const_fun);
42 BOOST_TYPEOF_modifier_support(BOOST_TYPEOF_UNIQUE_ID(), BOOST_TYPEOF_volatile_fun);
43 BOOST_TYPEOF_modifier_support(BOOST_TYPEOF_UNIQUE_ID(), BOOST_TYPEOF_volatile_const_fun);
44 BOOST_TYPEOF_modifier_support(BOOST_TYPEOF_UNIQUE_ID(), BOOST_TYPEOF_pointer_fun);
45 BOOST_TYPEOF_modifier_support(BOOST_TYPEOF_UNIQUE_ID(), BOOST_TYPEOF_reference_fun);
47 BOOST_TYPEOF_END_ENCODE_NS
49 #undef BOOST_TYPEOF_modifier_support
50 #undef BOOST_TYPEOF_const_fun
51 #undef BOOST_TYPEOF_volatile_fun
52 #undef BOOST_TYPEOF_volatile_const_fun
53 #undef BOOST_TYPEOF_pointer_fun
54 #undef BOOST_TYPEOF_reference_fun
58 #define BOOST_TYPEOF_array_support(ID, Qualifier)\
59 template<class V, class T, int N>\
60 struct encode_type_impl<V, Qualifier() T[N]>\
63 typename boost::type_of::encode_type<\
64 typename boost::type_of::push_back<\
65 typename boost::type_of::push_back<\
67 , boost::mpl::size_t<ID> >::type\
68 , boost::mpl::size_t<N> >::type\
73 struct decode_type_impl<boost::mpl::size_t<ID>, Iter>\
75 enum{n = Iter::type::value};\
76 typedef boost::type_of::decode_type<typename Iter::next> d;\
77 typedef typename d::type Qualifier() type[n];\
78 typedef typename d::iter iter;\
81 BOOST_TYPEOF_BEGIN_ENCODE_NS
83 BOOST_TYPEOF_array_support(BOOST_TYPEOF_UNIQUE_ID(), BOOST_PP_EMPTY);
84 BOOST_TYPEOF_array_support(BOOST_TYPEOF_UNIQUE_ID(), BOOST_PP_IDENTITY(const));
85 BOOST_TYPEOF_array_support(BOOST_TYPEOF_UNIQUE_ID(), BOOST_PP_IDENTITY(volatile));
86 BOOST_TYPEOF_array_support(BOOST_TYPEOF_UNIQUE_ID(), BOOST_PP_IDENTITY(volatile const));
88 BOOST_TYPEOF_END_ENCODE_NS
90 #undef BOOST_TYPEOF_array_support
92 #endif//BOOST_TYPEOF_MODIFIERS_HPP_INCLUDED