feedc0de/boost_type_index
1
0
Fork 0
forked from boostorg/type_index
Code Pull Requests Activity

Remove all references to std::type_traits

Browse Source 
Replace variadic template with boost preprocessor.
This commit is contained in:
Chris Glover
2016-08-08 12:16:58 -04:00
parent 76cae485cb
commit 0b006b6af6
2 changed files with 79 additions and 64 deletions
Download Patch File Download Diff File Expand all files Collapse all files

100
include/boost/type_index/runtime_cast.hpp
View File

@ -18,7 +18,10 @@
#include <boost/type_index.hpp>
#include <boost/throw_exception.hpp>
#include <type_traits>
#include <boost/type_traits/is_base_and_derived.hpp>
#include <boost/type_traits/decay.hpp>
#include <boost/type_traits/remove_pointer.hpp>
#include <boost/preprocessor/seq/for_each.hpp>
#include <typeinfo>
#ifdef BOOST_HAS_PRAGMA_ONCE
@ -29,89 +32,72 @@ namespace boost { namespace typeindex {
namespace detail {
template<class Current, class... BaseList>
struct find_type {
template<class T>
Current* check_current(T* p, type_index const& idx) const BOOST_NOEXCEPT {
if(idx == boost::typeindex::type_id<Current>())
return p;
return nullptr;
}
template<class T>
void* check_bases(T* p, type_index const& idx) const BOOST_NOEXCEPT {
return nullptr;
}
template<class T, class FirstBase, class... Rest>
void* check_bases(T* p, type_index const& idx) const BOOST_NOEXCEPT {
if(void* result = p->FirstBase::boost_type_index_find_instance_(idx))
return result;
return check_bases<T, Rest...>(p, idx);
}
template<class T>
void* operator()(T* p, type_index const& idx) const BOOST_NOEXCEPT {
if(Current* current = check_current(p, idx))
return p;
return check_bases<T, BaseList...>(p, idx);
}
};
template<typename T, typename U>
T* runtime_cast_impl(U* u, std::true_type) {
T* runtime_cast_impl(U* u, boost::true_type) {
return u;
}
template<typename T, typename U>
T const* runtime_cast_impl(U const* u, std::true_type) {
T const* runtime_cast_impl(U const* u, boost::true_type) {
return u;
}
template<typename T, typename U>
T* runtime_cast_impl(U* u, std::false_type) {
return static_cast<T*>(
T* runtime_cast_impl(U* u, boost::false_type) {
return const_cast<T*>(static_cast<T const*>(
u->boost_type_index_find_instance_(boost::typeindex::type_id<T>())
);
));
}
template<typename T, typename U>
T const* runtime_cast_impl(U const* u, std::false_type) {
return static_cast<T const*>(
const_cast<U*>(u)->boost_type_index_find_instance_(boost::typeindex::type_id<T>())
);
T const* runtime_cast_impl(U const* u, boost::false_type) {
return static_cast<T const*>(u->boost_type_index_find_instance_(boost::typeindex::type_id<T>()));
}
template<typename T>
type_index get_type_for_value(T const&) {
return type_id<typename boost::decay<T>::type>();
}
} // namespace detail
#define BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI \
virtual void* boost_type_index_find_instance_(boost::typeindex::type_index const& idx) BOOST_NOEXCEPT { \
if(idx == boost::typeindex::type_id<std::decay<decltype(*this)>::type>()) \
return this; \
return nullptr; \
#define BOOST_TYPE_INDEX_CHECK_BASE_(r, data, Base) \
if(void const* ret_val = this->Base::boost_type_index_find_instance_(idx)) return ret_val;
#define BOOST_TYPE_INDEX_CHECK_BASES(base_list) \
BOOST_PP_SEQ_FOR_EACH(BOOST_TYPE_INDEX_CHECK_BASE_, _, base_list)
#define BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI \
virtual void const* boost_type_index_find_instance_(boost::typeindex::type_index const& idx) const BOOST_NOEXCEPT { \
if(idx == boost::typeindex::detail::get_type_for_value(*this)) \
return this; \
return NULL; \
}
#define BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI_BASES(...) \
virtual void* boost_type_index_find_instance_(boost::typeindex::type_index const& idx) BOOST_NOEXCEPT { \
return boost::typeindex::detail::find_type<std::decay<decltype(*this)>::type, __VA_ARGS__>()(this, idx);\
#define BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI_BASES(base_list) \
virtual void const* boost_type_index_find_instance_(boost::typeindex::type_index const& idx) const BOOST_NOEXCEPT { \
if(idx == boost::typeindex::detail::get_type_for_value(*this)) \
return this; \
BOOST_TYPE_INDEX_CHECK_BASES(base_list) \
return NULL; \
}
template<typename T, typename U>
T runtime_cast(U* u) BOOST_NOEXCEPT {
typedef typename std::remove_pointer<T>::type impl_type;
return detail::runtime_cast_impl<impl_type>(u, std::is_same<T, U>());
typedef typename boost::remove_pointer<T>::type impl_type;
return detail::runtime_cast_impl<impl_type>(u, boost::is_base_and_derived<T, U>());
}
template<typename T, typename U>
T runtime_cast(U const* u) BOOST_NOEXCEPT {
typedef typename std::remove_pointer<T>::type impl_type;
return detail::runtime_cast_impl<impl_type>(u, std::is_same<T, U>());
typedef typename boost::remove_pointer<T>::type impl_type;
return detail::runtime_cast_impl<impl_type>(u, boost::is_base_and_derived<T, U>());
}
template<typename T, typename U>
T runtime_cast(U& u) {
typedef typename std::remove_reference<T>::type impl_type;
impl_type* value = detail::runtime_cast_impl<impl_type>(&u, std::is_same<T, U>());
typedef typename boost::remove_reference<T>::type impl_type;
impl_type* value = detail::runtime_cast_impl<impl_type>(&u, boost::is_base_and_derived<T, U>());
if(!value)
boost::throw_exception(std::bad_cast());
return *value;
@ -119,8 +105,8 @@ T const* runtime_cast_impl(U const* u, std::false_type) {
template<typename T, typename U>
T runtime_cast(U const& u) {
typedef typename std::remove_reference<T>::type impl_type;
impl_type* value = detail::runtime_cast_impl<impl_type>(&u, std::is_same<T, U>());
typedef typename boost::remove_reference<T>::type impl_type;
impl_type* value = detail::runtime_cast_impl<impl_type>(&u, boost::is_base_and_derived<T, U>());
if(!value)
boost::throw_exception(std::bad_cast());
return *value;
@ -128,12 +114,12 @@ T const* runtime_cast_impl(U const* u, std::false_type) {
template<typename T, typename U>
T* runtime_pointer_cast(U* u) BOOST_NOEXCEPT {
return detail::runtime_cast_impl<T>(u, std::is_same<T, U>());
return detail::runtime_cast_impl<T>(u, boost::is_base_and_derived<T, U>());
}
template<typename T, typename U>
T const* runtime_pointer_cast(U const* u) BOOST_NOEXCEPT {
return detail::runtime_cast_impl<T>(u, std::is_same<T, U>());
return detail::runtime_cast_impl<T>(u, boost::is_base_and_derived<T, U>());
}
}} // namespace boost::typeindex

43
test/runtime_cast_test.cpp
View File

@ -25,7 +25,7 @@ struct base {
};
struct single_derived : base {
BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI_BASES(base)
BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI_BASES((base))
IMPLEMENT_CLASS(single_derived)
};
@ -40,35 +40,53 @@ struct base2 {
};
struct multiple_derived : base1, base2 {
BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI_BASES(base1, base2)
BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI_BASES((base1)(base2))
IMPLEMENT_CLASS(multiple_derived)
};
struct baseV1 : virtual base {
BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI_BASES(base)
BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI_BASES((base))
IMPLEMENT_CLASS(baseV1)
};
struct baseV2 : virtual base {
BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI_BASES(base)
BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI_BASES((base))
IMPLEMENT_CLASS(baseV2)
};
struct multiple_virtual_derived : baseV1, baseV2 {
BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI_BASES(baseV1, baseV2)
BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI_BASES((baseV1)(baseV2))
IMPLEMENT_CLASS(multiple_virtual_derived)
};
struct unrelated {
BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI
IMPLEMENT_CLASS(unrelated)
};
struct unrelated_with_base : base {
BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI_BASES(base)
BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI_BASES((base))
IMPLEMENT_CLASS(unrelated_with_base)
};
struct unrelatedV1 : virtual base {
BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI_BASES(base)
BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI_BASES((base))
IMPLEMENT_CLASS(unrelatedV1)
};
struct level1_a : base {
BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI_BASES((base))
IMPLEMENT_CLASS(level1_a)
};
struct level1_b : base {
BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI_BASES((base))
IMPLEMENT_CLASS(level1_b)
};
struct level2 : level1_a, level1_b {
BOOST_TYPE_INDEX_REGISTER_CLASS_RTTI_BASES((level1_a)(level1_b))
IMPLEMENT_CLASS(level2)
};
void no_base()
@ -196,6 +214,16 @@ void const_reference_interface()
}
}
void diamond_non_virtual()
{
using namespace boost::typeindex;
level2 inst;
level1_a* l1a = &inst;
base* b1 = l1a;
level1_b* l1_b = runtime_cast<level1_b*>(b1);
BOOST_TEST_NE(l1_b, (level1_b*)nullptr);
}
int main() {
no_base();
single_derived();
@ -205,6 +233,7 @@ int main() {
reference_interface();
const_pointer_interface();
const_reference_interface();
diamond_non_virtual();
return boost::report_errors();
}