boostorg/mpl
1
0
Fork 1
mirror of https://github.com/boostorg/mpl.git synced 2025-08-03 14:54:30 +02:00
Code Issues Packages Projects Releases Wiki Activity

more has_rebind fixes

Browse Source 
[SVN r16302]
This commit is contained in:
Aleksey Gurtovoy
2002-11-17 08:09:36 +00:00
parent 8964d1f1e1
commit 70f4f35c91
1 changed files with 12 additions and 109 deletions
Download Patch File Download Diff File Expand all files Collapse all files

121
include/boost/mpl/aux_/has_rebind.hpp
View File

@@ -17,122 +17,25 @@
#ifndef BOOST_MPL_AUX_HAS_REBIND_HPP_INCLUDED
#define BOOST_MPL_AUX_HAS_REBIND_HPP_INCLUDED
#include "boost/mpl/aux_/type_wrapper.hpp"
#include "boost/mpl/aux_/yes_no.hpp"
#include "boost/mpl/aux_/config/msvc_typename.hpp"
#include "boost/mpl/aux_/config/overload_resolution.hpp"
#include "boost/config.hpp"
#include "boost/mpl/aux_/has_xxx.hpp"
#include "boost/mpl/if.hpp"
#include "boost/mpl/bool_c.hpp"
#include "boost/type_traits/is_class.hpp"
#if defined(BOOST_MSVC) && BOOST_MSVC <= 1300
# include "boost/type_traits/is_reference.hpp"
#endif
namespace boost { namespace mpl { namespace aux {
namespace boost {
namespace mpl {
namespace aux {
#if !defined(BOOST_MPL_BROKEN_OVERLOAD_RESOLUTION)
#if !defined(BOOST_MSVC) || BOOST_MSVC > 1300
// the implementation below is based on a USENET newsgroup's posting by
// Rani Sharoni (comp.lang.c++.moderated, 2002-03-17 07:45:09 PST)
template< typename T >
yes_tag
has_rebind_helper(type_wrapper<T>*, BOOST_MSVC_TYPENAME T::rebind*);
template< typename T >
no_tag
has_rebind_helper(type_wrapper<T>*, ...);
BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF(has_rebind_impl, rebind)
template< typename T >
struct has_rebind
{
BOOST_STATIC_CONSTANT(bool, value =
sizeof(has_rebind_helper((type_wrapper<T>*)0, 0))
== sizeof(yes_tag)
);
};
#else
// agurt, 11/sep/02: MSVC version, based on a USENET newsgroup's posting by
// John Madsen (comp.lang.c++.moderated, 1999-11-12 19:17:06 GMT);
// note that the code is _not_ standard-conforming, but it works,
// and it resolves some nasty ICE cases with the above implementation
template < bool ref = true >
struct has_rebind_impl
{
template < typename T > struct apply
{
BOOST_STATIC_CONSTANT(bool, value = false);
};
};
template <>
struct has_rebind_impl< false >
{
template < typename T, typename rebind = int >
struct apply : T
{
private:
static no_tag test(int*);
static yes_tag test(...);
public:
BOOST_STATIC_CONSTANT(
bool, value = sizeof(test(static_cast<rebind*>(0))) != sizeof(no_tag)
);
};
};
template < typename T >
struct has_rebind
: has_rebind_impl<boost::detail::is_reference_impl<T>::value>::template apply<T>
: if_c<
::boost::is_class<T>::value
, has_rebind_impl<T>
, bool_c<false>
>::type
{
};
# define AUX_HAS_REBIND_SPEC(T) \
template<> struct has_rebind<T> \
{ \
enum { value = false }; \
}; \
/**/
AUX_HAS_REBIND_SPEC(void)
AUX_HAS_REBIND_SPEC(bool)
AUX_HAS_REBIND_SPEC(char)
AUX_HAS_REBIND_SPEC(signed char)
AUX_HAS_REBIND_SPEC(unsigned char)
#if !defined(BOOST_NO_INTRINSIC_WCHAR_T)
AUX_HAS_REBIND_SPEC(wchar_t)
#endif
AUX_HAS_REBIND_SPEC(signed short)
AUX_HAS_REBIND_SPEC(unsigned short)
AUX_HAS_REBIND_SPEC(signed int)
AUX_HAS_REBIND_SPEC(unsigned int)
AUX_HAS_REBIND_SPEC(signed long)
AUX_HAS_REBIND_SPEC(unsigned long)
AUX_HAS_REBIND_SPEC(float)
AUX_HAS_REBIND_SPEC(double)
AUX_HAS_REBIND_SPEC(long double)
# undef AUX_HAS_REBIND_SPEC
#endif // BOOST_MSVC > 1300
#else
template< typename T >
struct has_rebind
{
BOOST_STATIC_CONSTANT(bool, value = false);
};
#endif
} // namespace aux
} // namespace mpl
} // namespace boost
}}}
#endif // BOOST_MPL_AUX_HAS_REBIND_HPP_INCLUDED