feedc0de/boost_type_traits
1
0
Fork 0
forked from boostorg/type_traits
Code Pull Requests Activity

Second patch that makes all common type tests happy.

Browse Source
This commit is contained in:
Ion Gaztañaga
2015-09-19 23:09:46 +02:00
parent 2f3fecf3f5
commit 1a5f11bb5a
1 changed files with 16 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
include/boost/type_traits/detail/composite_pointer_type.hpp
View File

@ -124,19 +124,26 @@ public:
typedef typename boost::copy_cv<typename boost::copy_cv<typename composite_pointer_type<T2, U2>::type const, T>::type, U>::type type;
};
//Old compilers like MSVC-7.1 have problems using boost::conditional in
//composite_pointer_type. Partially specializing on has_common_pointee<T, U>::value
//seems to make their life easier
template<class T, class U, bool = has_common_pointee<T, U>::value >
struct composite_pointer_type_dispatch
: common_pointee<T, U>
{};
template<class T, class U>
struct composite_pointer_type_dispatch<T, U, false>
: composite_pointer_impl<T, U>
{};
} // detail
template<class T, class U> struct composite_pointer_type<T*, U*>
{
//Done in two steps to avoid compilation errors
//in old compilers like MSVC 7.1
typedef typename boost::conditional<
detail::has_common_pointee<T, U>::value,
detail::common_pointee<T, U>,
detail::composite_pointer_impl<T, U>
>::type first_type;
typename first_type::type * type;
typedef typename detail::composite_pointer_type_dispatch<T, U>::type* type;
};
} // namespace type_traits_detail