Chris@16: 
Chris@16: #ifndef BOOST_MPL_HAS_XXX_HPP_INCLUDED
Chris@16: #define BOOST_MPL_HAS_XXX_HPP_INCLUDED
Chris@16: 
Chris@16: // Copyright Aleksey Gurtovoy 2002-2006
Chris@16: // Copyright David Abrahams 2002-2003
Chris@16: // Copyright Daniel Walker 2007
Chris@16: //
Chris@16: // Distributed under the Boost Software License, Version 1.0. 
Chris@16: // (See accompanying file LICENSE_1_0.txt or copy at 
Chris@16: // http://www.boost.org/LICENSE_1_0.txt)
Chris@16: //
Chris@16: // See http://www.boost.org/libs/mpl for documentation.
Chris@16: 
Chris@101: // $Id$
Chris@101: // $Date$
Chris@101: // $Revision$
Chris@16: 
Chris@16: #include <boost/mpl/bool.hpp>
Chris@16: #include <boost/mpl/aux_/na_spec.hpp>
Chris@16: #include <boost/mpl/aux_/type_wrapper.hpp>
Chris@16: #include <boost/mpl/aux_/yes_no.hpp>
Chris@16: #include <boost/mpl/aux_/config/gcc.hpp>
Chris@16: #include <boost/mpl/aux_/config/has_xxx.hpp>
Chris@16: #include <boost/mpl/aux_/config/msvc_typename.hpp>
Chris@16: #include <boost/mpl/aux_/config/msvc.hpp>
Chris@16: #include <boost/mpl/aux_/config/static_constant.hpp>
Chris@16: #include <boost/mpl/aux_/config/workaround.hpp>
Chris@16: 
Chris@16: #include <boost/preprocessor/array/elem.hpp>
Chris@16: #include <boost/preprocessor/cat.hpp>
Chris@16: #include <boost/preprocessor/control/if.hpp>
Chris@16: #include <boost/preprocessor/repetition/enum_params.hpp>
Chris@16: #include <boost/preprocessor/repetition/enum_trailing_params.hpp>
Chris@16: 
Chris@16: #if BOOST_WORKAROUND( __BORLANDC__, BOOST_TESTED_AT(0x590) )
Chris@16: # include <boost/type_traits/is_class.hpp>
Chris@16: #endif
Chris@16: 
Chris@16: #if !defined(BOOST_MPL_CFG_NO_HAS_XXX)
Chris@16: 
Chris@16: #   if BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
Chris@16: 
Chris@16: // agurt, 11/sep/02: MSVC-specific version (< 7.1), based on a USENET 
Chris@16: // newsgroup's posting by John Madsen (comp.lang.c++.moderated, 
Chris@16: // 1999-11-12 19:17:06 GMT); the code is _not_ standard-conforming, but 
Chris@16: // it works way more reliably than the SFINAE-based implementation
Chris@16: 
Chris@16: // Modified dwa 8/Oct/02 to handle reference types.
Chris@16: 
Chris@16: #   include <boost/mpl/if.hpp>
Chris@16: #   include <boost/mpl/bool.hpp>
Chris@16: 
Chris@16: namespace boost { namespace mpl { namespace aux {
Chris@16: 
Chris@16: struct has_xxx_tag;
Chris@16: 
Chris@16: #if BOOST_WORKAROUND(BOOST_MSVC, == 1300)
Chris@16: template< typename U > struct msvc_incomplete_array
Chris@16: {
Chris@16:     typedef char (&type)[sizeof(U) + 1];
Chris@16: };
Chris@16: #endif
Chris@16: 
Chris@16: template< typename T >
Chris@16: struct msvc_is_incomplete
Chris@16: {
Chris@16:     // MSVC is capable of some kinds of SFINAE.  If U is an incomplete
Chris@16:     // type, it won't pick the second overload
Chris@16:     static char tester(...);
Chris@16: 
Chris@16: #if BOOST_WORKAROUND(BOOST_MSVC, == 1300)
Chris@16:     template< typename U >
Chris@16:     static typename msvc_incomplete_array<U>::type tester(type_wrapper<U>);
Chris@16: #else
Chris@16:     template< typename U >
Chris@16:     static char (& tester(type_wrapper<U>) )[sizeof(U)+1];
Chris@16: #endif 
Chris@16:     
Chris@16:     BOOST_STATIC_CONSTANT(bool, value = 
Chris@16:           sizeof(tester(type_wrapper<T>())) == 1
Chris@16:         );
Chris@16: };
Chris@16: 
Chris@16: template<>
Chris@16: struct msvc_is_incomplete<int>
Chris@16: {
Chris@16:     BOOST_STATIC_CONSTANT(bool, value = false);
Chris@16: };
Chris@16: 
Chris@16: }}}
Chris@16: 
Chris@16: #   define BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF_(trait, name, default_) \
Chris@16: template< typename T, typename name = ::boost::mpl::aux::has_xxx_tag > \
Chris@16: struct BOOST_PP_CAT(trait,_impl) : T \
Chris@16: { \
Chris@16:     static boost::mpl::aux::no_tag \
Chris@16:     test(void(*)(::boost::mpl::aux::has_xxx_tag)); \
Chris@16:     \
Chris@16:     static boost::mpl::aux::yes_tag test(...); \
Chris@16:     \
Chris@16:     BOOST_STATIC_CONSTANT(bool, value = \
Chris@16:           sizeof(test(static_cast<void(*)(name)>(0))) \
Chris@16:             != sizeof(boost::mpl::aux::no_tag) \
Chris@16:         ); \
Chris@16:     typedef boost::mpl::bool_<value> type; \
Chris@16: }; \
Chris@16: \
Chris@16: template< typename T, typename fallback_ = boost::mpl::bool_<default_> > \
Chris@16: struct trait \
Chris@16:     : boost::mpl::if_c< \
Chris@16:           boost::mpl::aux::msvc_is_incomplete<T>::value \
Chris@16:         , boost::mpl::bool_<false> \
Chris@16:         , BOOST_PP_CAT(trait,_impl)<T> \
Chris@16:         >::type \
Chris@16: { \
Chris@16: }; \
Chris@16: \
Chris@16: BOOST_MPL_AUX_HAS_XXX_TRAIT_SPEC(trait, void) \
Chris@16: BOOST_MPL_AUX_HAS_XXX_TRAIT_SPEC(trait, bool) \
Chris@16: BOOST_MPL_AUX_HAS_XXX_TRAIT_SPEC(trait, char) \
Chris@16: BOOST_MPL_AUX_HAS_XXX_TRAIT_SPEC(trait, signed char) \
Chris@16: BOOST_MPL_AUX_HAS_XXX_TRAIT_SPEC(trait, unsigned char) \
Chris@16: BOOST_MPL_AUX_HAS_XXX_TRAIT_SPEC(trait, signed short) \
Chris@16: BOOST_MPL_AUX_HAS_XXX_TRAIT_SPEC(trait, unsigned short) \
Chris@16: BOOST_MPL_AUX_HAS_XXX_TRAIT_SPEC(trait, signed int) \
Chris@16: BOOST_MPL_AUX_HAS_XXX_TRAIT_SPEC(trait, unsigned int) \
Chris@16: BOOST_MPL_AUX_HAS_XXX_TRAIT_SPEC(trait, signed long) \
Chris@16: BOOST_MPL_AUX_HAS_XXX_TRAIT_SPEC(trait, unsigned long) \
Chris@16: BOOST_MPL_AUX_HAS_XXX_TRAIT_SPEC(trait, float) \
Chris@16: BOOST_MPL_AUX_HAS_XXX_TRAIT_SPEC(trait, double) \
Chris@16: BOOST_MPL_AUX_HAS_XXX_TRAIT_SPEC(trait, long double) \
Chris@16: /**/
Chris@16: 
Chris@16: #   define BOOST_MPL_AUX_HAS_XXX_TRAIT_SPEC(trait, T) \
Chris@16: template<> struct trait<T> \
Chris@16: { \
Chris@16:     BOOST_STATIC_CONSTANT(bool, value = false); \
Chris@16:     typedef boost::mpl::bool_<false> type; \
Chris@16: }; \
Chris@16: /**/
Chris@16: 
Chris@16: #if !defined(BOOST_NO_INTRINSIC_WCHAR_T)
Chris@16: #   define BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF(trait, name, unused) \
Chris@16:     BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF_(trait, name, unused) \
Chris@16:     BOOST_MPL_AUX_HAS_XXX_TRAIT_SPEC(trait, wchar_t) \
Chris@16: /**/
Chris@16: #else
Chris@16: #   define BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF(trait, name, unused) \
Chris@16:     BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF_(trait, name, unused) \
Chris@16: /**/
Chris@16: #endif
Chris@16: 
Chris@16: 
Chris@16: // SFINAE-based implementations below are derived from a USENET newsgroup's 
Chris@16: // posting by Rani Sharoni (comp.lang.c++.moderated, 2002-03-17 07:45:09 PST)
Chris@16: 
Chris@101: #   elif BOOST_WORKAROUND(BOOST_MSVC, <= 1400) \
Chris@101:       || (BOOST_WORKAROUND(BOOST_MSVC, BOOST_TESTED_AT(1800)) && defined(__CUDACC__)) \
Chris@16:       || BOOST_WORKAROUND(__IBMCPP__, <= 700)
Chris@16: 
Chris@101: // MSVC 7.1 & MSVC 8.0 & VACPP
Chris@16: 
Chris@16: // agurt, 15/jun/05: replace overload-based SFINAE implementation with SFINAE
Chris@16: // applied to partial specialization to fix some apparently random failures 
Chris@16: // (thanks to Daniel Wallin for researching this!)
Chris@16: 
Chris@16: #   define BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF(trait, name, default_) \
Chris@16: template< typename T > \
Chris@16: struct BOOST_PP_CAT(trait, _msvc_sfinae_helper) \
Chris@16: { \
Chris@16:     typedef void type; \
Chris@16: };\
Chris@16: \
Chris@16: template< typename T, typename U = void > \
Chris@16: struct BOOST_PP_CAT(trait,_impl_) \
Chris@16: { \
Chris@16:     BOOST_STATIC_CONSTANT(bool, value = false); \
Chris@16:     typedef boost::mpl::bool_<value> type; \
Chris@16: }; \
Chris@16: \
Chris@16: template< typename T > \
Chris@16: struct BOOST_PP_CAT(trait,_impl_)< \
Chris@16:       T \
Chris@16:     , typename BOOST_PP_CAT(trait, _msvc_sfinae_helper)< typename T::name >::type \
Chris@16:     > \
Chris@16: { \
Chris@16:     BOOST_STATIC_CONSTANT(bool, value = true); \
Chris@16:     typedef boost::mpl::bool_<value> type; \
Chris@16: }; \
Chris@16: \
Chris@16: template< typename T, typename fallback_ = boost::mpl::bool_<default_> > \
Chris@16: struct trait \
Chris@16:     : BOOST_PP_CAT(trait,_impl_)<T> \
Chris@16: { \
Chris@16: }; \
Chris@16: /**/
Chris@16: 
Chris@16: #   elif BOOST_WORKAROUND( __BORLANDC__, BOOST_TESTED_AT(0x590) )
Chris@16: 
Chris@16: #   define BOOST_MPL_HAS_XXX_TRAIT_NAMED_BCB_DEF(trait, trait_tester, name, default_) \
Chris@16: template< typename T, bool IS_CLASS > \
Chris@16: struct trait_tester \
Chris@16: { \
Chris@16:     BOOST_STATIC_CONSTANT( bool,  value = false ); \
Chris@16: }; \
Chris@16: template< typename T > \
Chris@16: struct trait_tester< T, true > \
Chris@16: { \
Chris@16:     struct trait_tester_impl \
Chris@16:     { \
Chris@16:         template < class U > \
Chris@16:         static int  resolve( boost::mpl::aux::type_wrapper<U> const volatile * \
Chris@16:                            , boost::mpl::aux::type_wrapper<typename U::name >* = 0 ); \
Chris@16:         static char resolve( ... ); \
Chris@16:     }; \
Chris@16:     typedef boost::mpl::aux::type_wrapper<T> t_; \
Chris@16:     BOOST_STATIC_CONSTANT( bool, value = ( sizeof( trait_tester_impl::resolve( static_cast< t_ * >(0) ) ) == sizeof(int) ) ); \
Chris@16: }; \
Chris@16: template< typename T, typename fallback_ = boost::mpl::bool_<default_> > \
Chris@16: struct trait           \
Chris@16: {                      \
Chris@16:     BOOST_STATIC_CONSTANT( bool, value = (trait_tester< T, boost::is_class< T >::value >::value) );     \
Chris@16:     typedef boost::mpl::bool_< trait< T, fallback_ >::value > type; \
Chris@16: };
Chris@16: 
Chris@16: #   define BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF(trait, name, default_) \
Chris@16:     BOOST_MPL_HAS_XXX_TRAIT_NAMED_BCB_DEF( trait \
Chris@16:                                          , BOOST_PP_CAT(trait,_tester)      \
Chris@16:                                          , name       \
Chris@16:                                          , default_ ) \
Chris@16: /**/
Chris@16: 
Chris@16: #   else // other SFINAE-capable compilers
Chris@16: 
Chris@16: #   define BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF(trait, name, default_) \
Chris@16: template< typename T, typename fallback_ = boost::mpl::bool_<default_> > \
Chris@16: struct trait \
Chris@16: { \
Chris@16:     struct gcc_3_2_wknd \
Chris@16:     { \
Chris@16:         template< typename U > \
Chris@16:         static boost::mpl::aux::yes_tag test( \
Chris@16:               boost::mpl::aux::type_wrapper<U> const volatile* \
Chris@16:             , boost::mpl::aux::type_wrapper<BOOST_MSVC_TYPENAME U::name>* = 0 \
Chris@16:             ); \
Chris@16:     \
Chris@16:         static boost::mpl::aux::no_tag test(...); \
Chris@16:     }; \
Chris@16:     \
Chris@16:     typedef boost::mpl::aux::type_wrapper<T> t_; \
Chris@16:     BOOST_STATIC_CONSTANT(bool, value = \
Chris@16:           sizeof(gcc_3_2_wknd::test(static_cast<t_*>(0))) \
Chris@16:             == sizeof(boost::mpl::aux::yes_tag) \
Chris@16:         ); \
Chris@16:     typedef boost::mpl::bool_<value> type; \
Chris@16: }; \
Chris@16: /**/
Chris@16: 
Chris@16: #   endif // BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
Chris@16: 
Chris@16: 
Chris@16: #else // BOOST_MPL_CFG_NO_HAS_XXX
Chris@16: 
Chris@16: // placeholder implementation
Chris@16: 
Chris@16: #   define BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF(trait, name, default_) \
Chris@16: template< typename T, typename fallback_ = boost::mpl::bool_<default_> > \
Chris@16: struct trait \
Chris@16: { \
Chris@16:     BOOST_STATIC_CONSTANT(bool, value = fallback_::value); \
Chris@16:     typedef fallback_ type; \
Chris@16: }; \
Chris@16: /**/
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16: #define BOOST_MPL_HAS_XXX_TRAIT_DEF(name) \
Chris@16:     BOOST_MPL_HAS_XXX_TRAIT_NAMED_DEF(BOOST_PP_CAT(has_,name), name, false) \
Chris@16: /**/
Chris@16: 
Chris@16: 
Chris@16: #if !defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE)
Chris@16: 
Chris@16: // Create a boolean Metafunction to detect a nested template
Chris@16: // member. This implementation is based on a USENET newsgroup's
Chris@16: // posting by Aleksey Gurtovoy (comp.lang.c++.moderated, 2002-03-19),
Chris@16: // Rani Sharoni's USENET posting cited above, the non-template has_xxx
Chris@16: // implementations above, and discussion on the Boost mailing list.
Chris@16: 
Chris@16: #   if !defined(BOOST_MPL_HAS_XXX_NO_WRAPPED_TYPES)
Chris@16: #     if BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
Chris@16: #       define BOOST_MPL_HAS_XXX_NO_WRAPPED_TYPES 1
Chris@101: #     else
Chris@101: #       define BOOST_MPL_HAS_XXX_NO_WRAPPED_TYPES 0
Chris@16: #     endif
Chris@16: #   endif
Chris@16: 
Chris@16: #   if !defined(BOOST_MPL_HAS_XXX_NO_EXPLICIT_TEST_FUNCTION)
Chris@16: #     if (defined(BOOST_NO_EXPLICIT_FUNCTION_TEMPLATE_ARGUMENTS))
Chris@16: #       define BOOST_MPL_HAS_XXX_NO_EXPLICIT_TEST_FUNCTION 1
Chris@101: #     else
Chris@101: #       define BOOST_MPL_HAS_XXX_NO_EXPLICIT_TEST_FUNCTION 0
Chris@16: #     endif
Chris@16: #   endif
Chris@16: 
Chris@16: #   if !defined(BOOST_MPL_HAS_XXX_NEEDS_TEMPLATE_SFINAE)
Chris@16: #     if BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
Chris@16: #       define BOOST_MPL_HAS_XXX_NEEDS_TEMPLATE_SFINAE 1
Chris@101: #     else
Chris@101: #       define BOOST_MPL_HAS_XXX_NEEDS_TEMPLATE_SFINAE 0
Chris@16: #     endif
Chris@16: #   endif
Chris@16: 
Chris@16: // NOTE: Many internal implementation macros take a Boost.Preprocessor
Chris@16: // array argument called args which is of the following form.
Chris@16: //           ( 4, ( trait, name, max_arity, default_ ) )
Chris@16: 
Chris@16: #   define BOOST_MPL_HAS_MEMBER_INTROSPECTION_NAME(args) \
Chris@16:       BOOST_PP_CAT(BOOST_PP_ARRAY_ELEM(0, args) , _introspect) \
Chris@16:     /**/
Chris@16: 
Chris@16: #   define BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME(args, n) \
Chris@16:       BOOST_PP_CAT(BOOST_PP_CAT(BOOST_PP_ARRAY_ELEM(0, args) , _substitute), n) \
Chris@16:     /**/
Chris@16: 
Chris@16: #   define BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args) \
Chris@16:       BOOST_PP_CAT(BOOST_PP_ARRAY_ELEM(0, args) , _test) \
Chris@16:     /**/
Chris@16: 
Chris@16: // Thanks to Guillaume Melquiond for pointing out the need for the
Chris@16: // "substitute" template as an argument to the overloaded test
Chris@16: // functions to get SFINAE to work for member templates with the
Chris@16: // correct name but different number of arguments.
Chris@16: #   define BOOST_MPL_HAS_MEMBER_MULTI_SUBSTITUTE(z, n, args) \
Chris@16:       template< \
Chris@16:           template< BOOST_PP_ENUM_PARAMS(BOOST_PP_INC(n), typename V) > class V \
Chris@16:        > \
Chris@16:       struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME(args, n) { \
Chris@16:       }; \
Chris@16:     /**/
Chris@16: 
Chris@16: #   define BOOST_MPL_HAS_MEMBER_SUBSTITUTE(args, substitute_macro) \
Chris@16:       BOOST_PP_REPEAT( \
Chris@16:           BOOST_PP_ARRAY_ELEM(2, args) \
Chris@16:         , BOOST_MPL_HAS_MEMBER_MULTI_SUBSTITUTE \
Chris@16:         , args \
Chris@16:       ) \
Chris@16:     /**/
Chris@16: 
Chris@16: #   if !BOOST_MPL_HAS_XXX_NO_EXPLICIT_TEST_FUNCTION
Chris@16: #     define BOOST_MPL_HAS_MEMBER_REJECT(args, member_macro) \
Chris@16:         template< typename V > \
Chris@16:         static boost::mpl::aux::no_tag \
Chris@16:         BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args)(...); \
Chris@16:       /**/
Chris@16: #   else
Chris@16: #     define BOOST_MPL_HAS_MEMBER_REJECT(args, member_macro) \
Chris@16:         static boost::mpl::aux::no_tag \
Chris@16:         BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args)(...); \
Chris@16:       /**/
Chris@16: #   endif
Chris@16: 
Chris@16: #   if !BOOST_MPL_HAS_XXX_NO_WRAPPED_TYPES
Chris@16: #     define BOOST_MPL_HAS_MEMBER_MULTI_ACCEPT(z, n, args) \
Chris@16:         template< typename V > \
Chris@16:         static boost::mpl::aux::yes_tag \
Chris@16:         BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args)( \
Chris@16:             boost::mpl::aux::type_wrapper< V > const volatile* \
Chris@16:           , BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME(args, n) < \
Chris@16:                 V::template BOOST_PP_ARRAY_ELEM(1, args) \
Chris@16:             >* = 0 \
Chris@16:         ); \
Chris@16:       /**/
Chris@16: #     define BOOST_MPL_HAS_MEMBER_ACCEPT(args, member_macro) \
Chris@16:         BOOST_PP_REPEAT( \
Chris@16:             BOOST_PP_ARRAY_ELEM(2, args) \
Chris@16:           , BOOST_MPL_HAS_MEMBER_MULTI_ACCEPT \
Chris@16:           , args \
Chris@16:         ) \
Chris@16:       /**/
Chris@16: #   else
Chris@16: #     define BOOST_MPL_HAS_MEMBER_ACCEPT(args, member_macro) \
Chris@16:         template< typename V > \
Chris@16:         static boost::mpl::aux::yes_tag \
Chris@16:         BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args)( \
Chris@16:             V const volatile* \
Chris@16:           , member_macro(args, V, T)* = 0 \
Chris@16:         ); \
Chris@16:       /**/
Chris@16: #   endif
Chris@16: 
Chris@16: #   if !BOOST_MPL_HAS_XXX_NO_EXPLICIT_TEST_FUNCTION
Chris@16: #     define BOOST_MPL_HAS_MEMBER_TEST(args) \
Chris@16:           sizeof(BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args)< U >(0)) \
Chris@16:               == sizeof(boost::mpl::aux::yes_tag) \
Chris@16:       /**/
Chris@16: #   else
Chris@16: #     if !BOOST_MPL_HAS_XXX_NO_WRAPPED_TYPES
Chris@16: #       define BOOST_MPL_HAS_MEMBER_TEST(args) \
Chris@16:           sizeof( \
Chris@16:               BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args)( \
Chris@16:                   static_cast< boost::mpl::aux::type_wrapper< U >* >(0) \
Chris@16:               ) \
Chris@16:           ) == sizeof(boost::mpl::aux::yes_tag) \
Chris@16:         /**/
Chris@16: #     else
Chris@16: #       define BOOST_MPL_HAS_MEMBER_TEST(args) \
Chris@16:           sizeof( \
Chris@16:               BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args)( \
Chris@16:                   static_cast< U* >(0) \
Chris@16:               ) \
Chris@16:           ) == sizeof(boost::mpl::aux::yes_tag) \
Chris@16:         /**/
Chris@16: #     endif
Chris@16: #   endif
Chris@16: 
Chris@16: #   define BOOST_MPL_HAS_MEMBER_INTROSPECT( \
Chris@16:                args, substitute_macro, member_macro \
Chris@16:            ) \
Chris@16:       template< typename U > \
Chris@16:       struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_NAME(args) { \
Chris@16:           BOOST_MPL_HAS_MEMBER_SUBSTITUTE(args, substitute_macro) \
Chris@16:           BOOST_MPL_HAS_MEMBER_REJECT(args, member_macro) \
Chris@16:           BOOST_MPL_HAS_MEMBER_ACCEPT(args, member_macro) \
Chris@16:           BOOST_STATIC_CONSTANT( \
Chris@16:               bool, value = BOOST_MPL_HAS_MEMBER_TEST(args) \
Chris@16:           ); \
Chris@16:           typedef boost::mpl::bool_< value > type; \
Chris@16:       }; \
Chris@16:     /**/
Chris@16: 
Chris@16: #   define BOOST_MPL_HAS_MEMBER_IMPLEMENTATION( \
Chris@16:                args, introspect_macro, substitute_macro, member_macro \
Chris@16:            ) \
Chris@16:       template< \
Chris@16:           typename T \
Chris@16:         , typename fallback_ \
Chris@16:               = boost::mpl::bool_< BOOST_PP_ARRAY_ELEM(3, args) > \
Chris@16:       > \
Chris@16:       class BOOST_PP_ARRAY_ELEM(0, args) { \
Chris@16:           introspect_macro(args, substitute_macro, member_macro) \
Chris@16:       public: \
Chris@16:           static const bool value \
Chris@16:               = BOOST_MPL_HAS_MEMBER_INTROSPECTION_NAME(args)< T >::value; \
Chris@16:           typedef typename BOOST_MPL_HAS_MEMBER_INTROSPECTION_NAME(args)< \
Chris@16:               T \
Chris@16:           >::type type; \
Chris@16:       }; \
Chris@16:     /**/
Chris@16: 
Chris@16: // BOOST_MPL_HAS_MEMBER_WITH_FUNCTION_SFINAE expands to the full
Chris@16: // implementation of the function-based metafunction. Compile with -E
Chris@16: // to see the preprocessor output for this macro.
Chris@16: #   define BOOST_MPL_HAS_MEMBER_WITH_FUNCTION_SFINAE( \
Chris@16:                args, substitute_macro, member_macro \
Chris@16:            ) \
Chris@16:       BOOST_MPL_HAS_MEMBER_IMPLEMENTATION( \
Chris@16:           args \
Chris@16:         , BOOST_MPL_HAS_MEMBER_INTROSPECT \
Chris@16:         , substitute_macro \
Chris@16:         , member_macro \
Chris@16:       ) \
Chris@16:     /**/
Chris@16: 
Chris@16: #   if BOOST_MPL_HAS_XXX_NEEDS_TEMPLATE_SFINAE
Chris@16: 
Chris@16: #     if !defined(BOOST_MPL_HAS_XXX_NEEDS_NAMESPACE_LEVEL_SUBSTITUTE)
Chris@16: #       if BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
Chris@16: #         define BOOST_MPL_HAS_XXX_NEEDS_NAMESPACE_LEVEL_SUBSTITUTE 1
Chris@16: #       endif
Chris@16: #     endif
Chris@16: 
Chris@16: #     if !BOOST_MPL_HAS_XXX_NEEDS_NAMESPACE_LEVEL_SUBSTITUTE
Chris@16: #       define BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME_WITH_TEMPLATE_SFINAE( \
Chris@16:                    args, n \
Chris@16:                ) \
Chris@16:           BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME(args, n) \
Chris@16:         /**/
Chris@16: #     else
Chris@16: #       define BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME_WITH_TEMPLATE_SFINAE( \
Chris@16:                    args, n \
Chris@16:                ) \
Chris@16:           BOOST_PP_CAT( \
Chris@16:               boost_mpl_has_xxx_ \
Chris@16:             , BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME(args, n) \
Chris@16:           ) \
Chris@16:         /**/
Chris@16: #     endif
Chris@16: 
Chris@16: #     define BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_TAG_NAME( \
Chris@16:                  args \
Chris@16:              ) \
Chris@16:         BOOST_PP_CAT( \
Chris@16:             BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME_WITH_TEMPLATE_SFINAE( \
Chris@16:                 args, 0 \
Chris@16:             ) \
Chris@16:           , _tag \
Chris@16:         ) \
Chris@16:       /**/
Chris@16: 
Chris@16: #     define BOOST_MPL_HAS_MEMBER_MULTI_SUBSTITUTE_WITH_TEMPLATE_SFINAE( \
Chris@16:                  z, n, args \
Chris@16:              ) \
Chris@16:         template< \
Chris@16:              template< BOOST_PP_ENUM_PARAMS(BOOST_PP_INC(n), typename U) > class U \
Chris@16:         > \
Chris@16:         struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME_WITH_TEMPLATE_SFINAE( \
Chris@16:                 args, n \
Chris@16:                ) { \
Chris@16:             typedef \
Chris@16:                 BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_TAG_NAME(args) \
Chris@16:                 type; \
Chris@16:         }; \
Chris@16:       /**/
Chris@16: 
Chris@16: #     define BOOST_MPL_HAS_MEMBER_SUBSTITUTE_WITH_TEMPLATE_SFINAE( \
Chris@16:                  args, substitute_macro \
Chris@16:              ) \
Chris@16:         typedef void \
Chris@16:             BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_TAG_NAME(args); \
Chris@16:         BOOST_PP_REPEAT( \
Chris@16:             BOOST_PP_ARRAY_ELEM(2, args) \
Chris@16:           , BOOST_MPL_HAS_MEMBER_MULTI_SUBSTITUTE_WITH_TEMPLATE_SFINAE \
Chris@16:           , args \
Chris@16:         ) \
Chris@16:       /**/
Chris@16: 
Chris@16: #     define BOOST_MPL_HAS_MEMBER_REJECT_WITH_TEMPLATE_SFINAE( \
Chris@16:                  args, member_macro \
Chris@16:              ) \
Chris@16:         template< \
Chris@16:             typename U \
Chris@16:           , typename V \
Chris@16:                 = BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_TAG_NAME(args) \
Chris@16:         > \
Chris@16:         struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args) { \
Chris@16:             BOOST_STATIC_CONSTANT(bool, value = false); \
Chris@16:             typedef boost::mpl::bool_< value > type; \
Chris@16:         }; \
Chris@16:       /**/
Chris@16: 
Chris@16: #     define BOOST_MPL_HAS_MEMBER_MULTI_ACCEPT_WITH_TEMPLATE_SFINAE( \
Chris@16:                  z, n, args \
Chris@16:              ) \
Chris@16:         template< typename U > \
Chris@16:         struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args)< \
Chris@16:             U \
Chris@16:           , typename \
Chris@16:                 BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME_WITH_TEMPLATE_SFINAE( \
Chris@16:                     args, n \
Chris@16:                 )< \
Chris@16:                     BOOST_MSVC_TYPENAME U::BOOST_PP_ARRAY_ELEM(1, args)< > \
Chris@16:                 >::type \
Chris@16:         > { \
Chris@16:             BOOST_STATIC_CONSTANT(bool, value = true); \
Chris@16:             typedef boost::mpl::bool_< value > type; \
Chris@16:         }; \
Chris@16:       /**/
Chris@16: 
Chris@16: #     define BOOST_MPL_HAS_MEMBER_ACCEPT_WITH_TEMPLATE_SFINAE( \
Chris@16:                  args, member_macro \
Chris@16:              ) \
Chris@16:         BOOST_PP_REPEAT( \
Chris@16:             BOOST_PP_ARRAY_ELEM(2, args) \
Chris@16:           , BOOST_MPL_HAS_MEMBER_MULTI_ACCEPT_WITH_TEMPLATE_SFINAE \
Chris@16:           , args \
Chris@16:         ) \
Chris@16:       /**/
Chris@16: 
Chris@16: #     define BOOST_MPL_HAS_MEMBER_INTROSPECT_WITH_TEMPLATE_SFINAE( \
Chris@16:                  args, substitute_macro, member_macro \
Chris@16:              ) \
Chris@16:         BOOST_MPL_HAS_MEMBER_REJECT_WITH_TEMPLATE_SFINAE(args, member_macro) \
Chris@16:         BOOST_MPL_HAS_MEMBER_ACCEPT_WITH_TEMPLATE_SFINAE(args, member_macro) \
Chris@16:         template< typename U > \
Chris@16:         struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_NAME(args) \
Chris@16:             : BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args)< U > { \
Chris@16:         }; \
Chris@16:       /**/
Chris@16:  
Chris@16: // BOOST_MPL_HAS_MEMBER_WITH_TEMPLATE_SFINAE expands to the full
Chris@16: // implementation of the template-based metafunction. Compile with -E
Chris@16: // to see the preprocessor output for this macro.
Chris@16: //
Chris@16: // Note that if BOOST_MPL_HAS_XXX_NEEDS_NAMESPACE_LEVEL_SUBSTITUTE is
Chris@16: // defined BOOST_MPL_HAS_MEMBER_SUBSTITUTE_WITH_TEMPLATE_SFINAE needs
Chris@16: // to be expanded at namespace level before
Chris@16: // BOOST_MPL_HAS_MEMBER_WITH_TEMPLATE_SFINAE can be used.
Chris@16: #     define BOOST_MPL_HAS_MEMBER_WITH_TEMPLATE_SFINAE( \
Chris@16:                  args, substitute_macro, member_macro \
Chris@16:              ) \
Chris@16:         BOOST_MPL_HAS_MEMBER_SUBSTITUTE_WITH_TEMPLATE_SFINAE( \
Chris@16:             args, substitute_macro \
Chris@16:         ) \
Chris@16:         BOOST_MPL_HAS_MEMBER_IMPLEMENTATION( \
Chris@16:             args \
Chris@16:           , BOOST_MPL_HAS_MEMBER_INTROSPECT_WITH_TEMPLATE_SFINAE \
Chris@16:           , substitute_macro \
Chris@16:           , member_macro \
Chris@16:         ) \
Chris@16:       /**/
Chris@16: 
Chris@16: #   endif // BOOST_MPL_HAS_XXX_NEEDS_TEMPLATE_SFINAE
Chris@16: 
Chris@16: // Note: In the current implementation the parameter and access macros
Chris@16: // are no longer expanded.
Chris@16: #   if !BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
Chris@16: #     define BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF(trait, name, default_) \
Chris@16:         BOOST_MPL_HAS_MEMBER_WITH_FUNCTION_SFINAE( \
Chris@16:             ( 4, ( trait, name, BOOST_MPL_LIMIT_METAFUNCTION_ARITY, default_ ) ) \
Chris@16:           , BOOST_MPL_HAS_MEMBER_TEMPLATE_SUBSTITUTE_PARAMETER \
Chris@16:           , BOOST_MPL_HAS_MEMBER_TEMPLATE_ACCESS \
Chris@16:         ) \
Chris@16:       /**/
Chris@16: #   else
Chris@16: #     define BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF(trait, name, default_) \
Chris@16:         BOOST_MPL_HAS_MEMBER_WITH_TEMPLATE_SFINAE( \
Chris@16:             ( 4, ( trait, name, BOOST_MPL_LIMIT_METAFUNCTION_ARITY, default_ ) ) \
Chris@16:           , BOOST_MPL_HAS_MEMBER_TEMPLATE_SUBSTITUTE_PARAMETER \
Chris@16:           , BOOST_MPL_HAS_MEMBER_TEMPLATE_ACCESS \
Chris@16:         ) \
Chris@16:       /**/
Chris@16: #   endif
Chris@16: 
Chris@16: #else // BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE
Chris@16: 
Chris@16: // placeholder implementation
Chris@16: 
Chris@16: #   define BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF(trait, name, default_) \
Chris@16:       template< typename T \
Chris@16:               , typename fallback_ = boost::mpl::bool_< default_ > > \
Chris@16:       struct trait { \
Chris@16:           BOOST_STATIC_CONSTANT(bool, value = fallback_::value); \
Chris@16:           typedef fallback_ type; \
Chris@16:       }; \
Chris@16:     /**/
Chris@16: 
Chris@16: #endif // BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE
Chris@16: 
Chris@16: #   define BOOST_MPL_HAS_XXX_TEMPLATE_DEF(name) \
Chris@16:       BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF( \
Chris@16:           BOOST_PP_CAT(has_, name), name, false \
Chris@16:       ) \
Chris@16:     /**/
Chris@16: 
Chris@16: #endif // BOOST_MPL_HAS_XXX_HPP_INCLUDED