1 // (C) Copyright Steve Cleary, Beman Dawes, Howard Hinnant & John Maddock 2000.
2 // Use, modification and distribution are subject to the Boost Software License,
3 // Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
4 // http://www.boost.org/LICENSE_1_0.txt).
6 // See http://www.boost.org/libs/utility for most recent version including documentation.
8 // call_traits: defines typedefs for function usage
9 // (see libs/utility/call_traits.htm)
13 Fixed array specialization. (JM)
14 Added Borland specific fixes for reference types
15 (issue raised by Steve Cleary).
18 #ifndef BOOST_DETAIL_CALL_TRAITS_HPP
19 #define BOOST_DETAIL_CALL_TRAITS_HPP
21 #ifndef BOOST_CONFIG_HPP
22 #include <boost/config.hpp>
26 #include <boost/type_traits/is_arithmetic.hpp>
27 #include <boost/type_traits/is_pointer.hpp>
28 #include <boost/detail/workaround.hpp>
34 template <typename T, bool small_>
37 typedef const T& param_type;
41 struct ct_imp2<T, true>
43 typedef const T param_type;
46 template <typename T, bool isp, bool b1>
49 typedef const T& param_type;
52 template <typename T, bool isp>
53 struct ct_imp<T, isp, true>
55 typedef typename ct_imp2<T, sizeof(T) <= sizeof(void*)>::param_type param_type;
58 template <typename T, bool b1>
59 struct ct_imp<T, true, b1>
61 typedef T const param_type;
72 typedef const T& const_reference;
74 // C++ Builder workaround: we should be able to define a compile time
75 // constant and pass that as a single template parameter to ct_imp<T,bool>,
76 // however compiler bugs prevent this - instead pass three bool's to
77 // ct_imp<T,bool,bool,bool> and add an extra partial specialisation
78 // of ct_imp to handle the logic. (JM)
79 typedef typename detail::ct_imp<
81 ::boost::is_pointer<T>::value,
82 ::boost::is_arithmetic<T>::value
83 >::param_type param_type;
87 struct call_traits<T&>
89 typedef T& value_type;
91 typedef const T& const_reference;
92 typedef T& param_type; // hh removed const
95 #if BOOST_WORKAROUND( __BORLANDC__, BOOST_TESTED_AT( 0x570 ) )
96 // these are illegal specialisations; cv-qualifies applied to
97 // references have no effect according to [8.3.2p1],
98 // C++ Builder requires them though as it treats cv-qualified
99 // references as distinct types...
100 template <typename T>
101 struct call_traits<T&const>
103 typedef T& value_type;
104 typedef T& reference;
105 typedef const T& const_reference;
106 typedef T& param_type; // hh removed const
108 template <typename T>
109 struct call_traits<T&volatile>
111 typedef T& value_type;
112 typedef T& reference;
113 typedef const T& const_reference;
114 typedef T& param_type; // hh removed const
116 template <typename T>
117 struct call_traits<T&const volatile>
119 typedef T& value_type;
120 typedef T& reference;
121 typedef const T& const_reference;
122 typedef T& param_type; // hh removed const
125 #if !defined(BOOST_NO_ARRAY_TYPE_SPECIALIZATIONS)
126 template <typename T, std::size_t N>
127 struct call_traits<T [N]>
130 typedef T array_type[N];
132 // degrades array to pointer:
133 typedef const T* value_type;
134 typedef array_type& reference;
135 typedef const array_type& const_reference;
136 typedef const T* const param_type;
139 template <typename T, std::size_t N>
140 struct call_traits<const T [N]>
143 typedef const T array_type[N];
145 // degrades array to pointer:
146 typedef const T* value_type;
147 typedef array_type& reference;
148 typedef const array_type& const_reference;
149 typedef const T* const param_type;
155 #endif // BOOST_DETAIL_CALL_TRAITS_HPP