]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | // Copyright David Abrahams 2002. |
2 | // Distributed under the Boost Software License, Version 1.0. (See | |
3 | // accompanying file LICENSE_1_0.txt or copy at | |
4 | // http://www.boost.org/LICENSE_1_0.txt) | |
5 | #ifndef TYPE_ID_DWA2002517_HPP | |
6 | # define TYPE_ID_DWA2002517_HPP | |
7 | ||
8 | # include <boost/python/detail/prefix.hpp> | |
9 | ||
10 | # include <boost/python/detail/msvc_typeinfo.hpp> | |
11 | # include <boost/operators.hpp> | |
12 | # include <typeinfo> | |
13 | # include <cstring> | |
14 | # include <ostream> | |
15 | # include <boost/static_assert.hpp> | |
16 | # include <boost/detail/workaround.hpp> | |
17 | # include <boost/type_traits/same_traits.hpp> | |
18 | ||
19 | # ifndef BOOST_PYTHON_HAVE_GCC_CP_DEMANGLE | |
20 | # if defined(__GNUC__) \ | |
21 | && !defined(__EDG_VERSION__) | |
22 | # define BOOST_PYTHON_HAVE_GCC_CP_DEMANGLE | |
23 | # endif | |
24 | # endif | |
25 | ||
26 | namespace boost { namespace python { | |
27 | ||
28 | // for this compiler at least, cross-shared-library type_info | |
29 | // comparisons don't work, so use typeid(x).name() instead. It's not | |
30 | // yet clear what the best default strategy is. | |
31 | # if defined(__GNUC__) \ | |
32 | || defined(_AIX) \ | |
33 | || ( defined(__sgi) && defined(__host_mips)) \ | |
34 | || (defined(__hpux) && defined(__HP_aCC)) \ | |
35 | || (defined(linux) && defined(__INTEL_COMPILER) && defined(__ICC)) | |
36 | # define BOOST_PYTHON_TYPE_ID_NAME | |
37 | # endif | |
38 | ||
39 | #ifdef BOOST_PYTHON_HAVE_GCC_CP_DEMANGLE | |
40 | // Runtime detection of broken cxxabi::__cxa_demangle versions, | |
41 | // to avoid #ifdef clutter. | |
42 | bool cxxabi_cxa_demangle_is_broken(); | |
43 | #define BOOST_PYTHON_HAVE_CXXABI_CXA_DEMANGLE_IS_BROKEN | |
44 | #endif | |
45 | ||
46 | // type ids which represent the same information as std::type_info | |
47 | // (i.e. the top-level reference and cv-qualifiers are stripped), but | |
48 | // which works across shared libraries. | |
49 | struct type_info : private totally_ordered<type_info> | |
50 | { | |
51 | inline type_info(std::type_info const& = typeid(void)); | |
52 | ||
53 | inline bool operator<(type_info const& rhs) const; | |
54 | inline bool operator==(type_info const& rhs) const; | |
55 | ||
56 | char const* name() const; | |
57 | friend BOOST_PYTHON_DECL std::ostream& operator<<( | |
58 | std::ostream&, type_info const&); | |
59 | ||
60 | private: // data members | |
61 | # ifdef BOOST_PYTHON_TYPE_ID_NAME | |
62 | typedef char const* base_id_t; | |
63 | # else | |
64 | typedef std::type_info const* base_id_t; | |
65 | # endif | |
66 | ||
67 | base_id_t m_base_type; | |
68 | }; | |
69 | ||
70 | ||
71 | // This macro is obsolete. Port away and remove. | |
72 | # define BOOST_PYTHON_EXPLICIT_TT_DEF(T) | |
73 | ||
74 | template <class T> | |
75 | inline type_info type_id() | |
76 | { | |
77 | return type_info( | |
78 | # if !defined(_MSC_VER) \ | |
79 | || !BOOST_WORKAROUND(BOOST_INTEL_CXX_VERSION, <= 700) | |
80 | typeid(T) | |
81 | # else // strip the decoration which Intel mistakenly leaves in | |
82 | python::detail::msvc_typeid((boost::type<T>*)0) | |
83 | # endif | |
84 | ); | |
85 | } | |
86 | ||
87 | # if (defined(__EDG_VERSION__) && __EDG_VERSION__ < 245) \ | |
88 | || (defined(__sgi) && defined(_COMPILER_VERSION) && _COMPILER_VERSION <= 744) | |
89 | // Older EDG-based compilers seems to mistakenly distinguish "int" from | |
90 | // "signed int", etc., but only in typeid() expressions. However | |
91 | // though int == signed int, the "signed" decoration is propagated | |
92 | // down into template instantiations. Explicit specialization stops | |
93 | // that from taking hold. | |
94 | ||
95 | # define BOOST_PYTHON_SIGNED_INTEGRAL_TYPE_ID(T) \ | |
96 | template <> \ | |
97 | inline type_info type_id<T>() \ | |
98 | { \ | |
99 | return type_info(typeid(T)); \ | |
100 | } | |
101 | ||
102 | BOOST_PYTHON_SIGNED_INTEGRAL_TYPE_ID(short) | |
103 | BOOST_PYTHON_SIGNED_INTEGRAL_TYPE_ID(int) | |
104 | BOOST_PYTHON_SIGNED_INTEGRAL_TYPE_ID(long) | |
105 | // using Python's macro instead of Boost's - we don't seem to get the | |
106 | // config right all the time. | |
107 | # ifdef HAVE_LONG_LONG | |
108 | BOOST_PYTHON_SIGNED_INTEGRAL_TYPE_ID(long long) | |
109 | # endif | |
110 | # undef BOOST_PYTHON_SIGNED_INTEGRAL_TYPE_ID | |
111 | # endif | |
112 | ||
113 | // | |
114 | inline type_info::type_info(std::type_info const& id) | |
115 | : m_base_type( | |
116 | # ifdef BOOST_PYTHON_TYPE_ID_NAME | |
117 | id.name() | |
118 | # else | |
119 | &id | |
120 | # endif | |
121 | ) | |
122 | { | |
123 | } | |
124 | ||
125 | inline bool type_info::operator<(type_info const& rhs) const | |
126 | { | |
127 | # ifdef BOOST_PYTHON_TYPE_ID_NAME | |
128 | return std::strcmp(m_base_type, rhs.m_base_type) < 0; | |
129 | # else | |
130 | return m_base_type->before(*rhs.m_base_type); | |
131 | # endif | |
132 | } | |
133 | ||
134 | inline bool type_info::operator==(type_info const& rhs) const | |
135 | { | |
136 | # ifdef BOOST_PYTHON_TYPE_ID_NAME | |
137 | return !std::strcmp(m_base_type, rhs.m_base_type); | |
138 | # else | |
139 | return *m_base_type == *rhs.m_base_type; | |
140 | # endif | |
141 | } | |
142 | ||
143 | # ifdef BOOST_PYTHON_HAVE_GCC_CP_DEMANGLE | |
144 | namespace detail | |
145 | { | |
146 | BOOST_PYTHON_DECL char const* gcc_demangle(char const*); | |
147 | } | |
148 | # endif | |
149 | ||
150 | inline char const* type_info::name() const | |
151 | { | |
152 | char const* raw_name | |
153 | = m_base_type | |
154 | # ifndef BOOST_PYTHON_TYPE_ID_NAME | |
155 | ->name() | |
156 | # endif | |
157 | ; | |
158 | ||
159 | # ifdef BOOST_PYTHON_HAVE_GCC_CP_DEMANGLE | |
160 | return detail::gcc_demangle(raw_name); | |
161 | # else | |
162 | return raw_name; | |
163 | # endif | |
164 | } | |
165 | ||
166 | ||
167 | BOOST_PYTHON_DECL std::ostream& operator<<(std::ostream&, type_info const&); | |
168 | ||
169 | template<> | |
170 | inline type_info type_id<void>() | |
171 | { | |
172 | return type_info (typeid (void *)); | |
173 | } | |
174 | # ifndef BOOST_NO_CV_VOID_SPECIALIZATIONS | |
175 | template<> | |
176 | inline type_info type_id<const volatile void>() | |
177 | { | |
178 | return type_info (typeid (void *)); | |
179 | } | |
180 | # endif | |
181 | ||
182 | }} // namespace boost::python | |
183 | ||
184 | #endif // TYPE_ID_DWA2002517_HPP |