feedc0de/boost_mpl
1
0
Fork 0
forked from boostorg/mpl
Code Pull Requests Activity

merged changeset 63726 from trunk

Browse Source 
[SVN r63907]
This commit is contained in:
Daniel Walker
2010-07-12 01:36:38 +00:00
parent fb038c188d
commit cbd633b4d0
4 changed files with 200 additions and 530 deletions
Download Patch File Download Diff File Expand all files Collapse all files

53
doc/src/refmanual/HAS_XXX_TEMPLATE_DEF.rst
View File

@@ -13,7 +13,7 @@ Synopsis
.. parsed-literal:: .. parsed-literal::
#define BOOST_MPL_HAS_XXX_TEMPLATE_DEF(name, n) \\ #define BOOST_MPL_HAS_XXX_TEMPLATE_DEF(name) \\
|unspecified-token-seq| \\ |unspecified-token-seq| \\
/\*\*/ /\*\*/
@@ -21,17 +21,16 @@ Synopsis
Description Description
----------- -----------
Expands into the definition of a boolean n-ary |Metafunction| Expands into the definition of a boolean |Metafunction| ``has_name``
``has_name`` such that for any types ``x, a1, a2, ..., an`` such that for any type ``x`` ``has_name<x>::value == true`` if and
``has_name<x, a1, ..., an>::value == true`` if and only if ``x`` is a only if ``x`` is a class type and has a nested template member
class type and has a nested template member ``x::template name<a1, ``x::template name`` with no more than
..., an>``. |BOOST_MPL_LIMIT_METAFUNCTION_ARITY| parameters.
On deficient compilers not capable of performing the detection, On deficient compilers not capable of performing the detection,
``has_name<x, a1, ..., an>::value`` always returns ``false``. A ``has_name<x>::value`` is always ``false``. A boolean configuration
boolean configuration macro, |BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE|, is macro, |BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE|, is provided to signal or
provided to signal or override the "deficient" status of a particular override the "deficient" status of a particular compiler.
compiler.
|Note:| |BOOST_MPL_HAS_XXX_TEMPLATE_DEF| is a simplified front end to |Note:| |BOOST_MPL_HAS_XXX_TEMPLATE_DEF| is a simplified front end to
the |BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF| introspection macro |-- end the |BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF| introspection macro |-- end
@@ -55,19 +54,16 @@ Parameters
+===============+===============================+===================================================+ +===============+===============================+===================================================+
| ``name`` | A legal identifier token | A name of the template member being detected. | | ``name`` | A legal identifier token | A name of the template member being detected. |
+---------------+-------------------------------+---------------------------------------------------+ +---------------+-------------------------------+---------------------------------------------------+
| ``n`` | An integral constant >= 0 | The arity of the template member being detected. |
+---------------+-------------------------------+---------------------------------------------------+
Expression semantics Expression semantics
-------------------- --------------------
For any legal C++ identifier ``name`` and integral constant expression For any legal C++ identifier ``name``:
``n`` greater than or equal to 0:
.. parsed-literal:: .. parsed-literal::
BOOST_MPL_HAS_XXX_TEMPLATE_DEF(name, n) BOOST_MPL_HAS_XXX_TEMPLATE_DEF(name)
:Precondition: :Precondition:
Appears at namespace scope. Appears at namespace scope.
@@ -81,7 +77,7 @@ For any legal C++ identifier ``name`` and integral constant expression
.. parsed-literal:: .. parsed-literal::
BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF( BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF(
BOOST_PP_CAT(has\_,name), name, n, false BOOST_PP_CAT(has\_,name), name, false
) )
@@ -90,7 +86,7 @@ Example
.. parsed-literal:: .. parsed-literal::
BOOST_MPL_HAS_XXX_TEMPLATE_DEF(xxx, 1) BOOST_MPL_HAS_XXX_TEMPLATE_DEF(xxx)
struct test1 {}; struct test1 {};
struct test2 { void xxx(); }; struct test2 { void xxx(); };
@@ -102,24 +98,25 @@ Example
struct test8 { typedef void (xxx)(); }; struct test8 { typedef void (xxx)(); };
struct test9 { template< class T > struct xxx {}; }; struct test9 { template< class T > struct xxx {}; };
BOOST_MPL_ASSERT_NOT(( has_xxx<test1, int> )); BOOST_MPL_ASSERT_NOT(( has_xxx<test1> ));
BOOST_MPL_ASSERT_NOT(( has_xxx<test2, int> )); BOOST_MPL_ASSERT_NOT(( has_xxx<test2> ));
BOOST_MPL_ASSERT_NOT(( has_xxx<test3, int> )); BOOST_MPL_ASSERT_NOT(( has_xxx<test3> ));
BOOST_MPL_ASSERT_NOT(( has_xxx<test4, int> )); BOOST_MPL_ASSERT_NOT(( has_xxx<test4> ));
BOOST_MPL_ASSERT_NOT(( has_xxx<test5, int> )); BOOST_MPL_ASSERT_NOT(( has_xxx<test5> ));
BOOST_MPL_ASSERT_NOT(( has_xxx<test6, int> )); BOOST_MPL_ASSERT_NOT(( has_xxx<test6> ));
BOOST_MPL_ASSERT_NOT(( has_xxx<test7, int> )); BOOST_MPL_ASSERT_NOT(( has_xxx<test7> ));
BOOST_MPL_ASSERT_NOT(( has_xxx<test8, int> )); BOOST_MPL_ASSERT_NOT(( has_xxx<test8> ));
#if !defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE) #if !defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE)
BOOST_MPL_ASSERT(( has_xxx<test9, int> )); BOOST_MPL_ASSERT(( has_xxx<test9> ));
#endif #endif
BOOST_MPL_ASSERT(( has_xxx<test9, int, true\_> )); BOOST_MPL_ASSERT(( has_xxx<test9, true\_> ));
See also See also
-------- --------
|Macros|, |BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF|, |BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE| |Macros|, |BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF|,
|BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE|, |BOOST_MPL_LIMIT_METAFUNCTION_ARITY|

67
doc/src/refmanual/HAS_XXX_TEMPLATE_NAMED_DEF.rst
View File

@@ -13,7 +13,7 @@ Synopsis
.. parsed-literal:: .. parsed-literal::
#define BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF(trait, name, n, default\_) \\ #define BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF(trait, name, default\_) \\
|unspecified-token-seq| \\ |unspecified-token-seq| \\
/\*\*/ /\*\*/
@@ -21,19 +21,19 @@ Synopsis
Description Description
----------- -----------
Expands into the definition of a boolean n-ary |Metafunction| ``trait`` Expands into the definition of a boolean |Metafunction| ``trait`` such
such that for any types ``x, a1, a2, ..., an`` ``trait<x, a1, ..., that for any type ``x`` ``trait<x>::value == true`` if and only if
an>::value == true`` if and only if ``x`` is a class type and has a ``x`` is a class type and has a nested template member ``x::template
nested template member ``x::template name<a1, ..., an>``. name`` with no more than |BOOST_MPL_LIMIT_METAFUNCTION_ARITY|
parameters.
On deficient compilers not capable of performing the detection, On deficient compilers not capable of performing the detection,
``trait<x, a1, ..., an>::value`` always returns a fallback value ``trait<x>::value`` always returns a fallback value ``default_``. A
``default_``. A boolean configuration macro, boolean configuration macro, |BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE|, is
|BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE|, is provided to signal or override provided to signal or override the "deficient" status of a particular
the "deficient" status of a particular compiler. |Note:| The fallback compiler. |Note:| The fallback value can also be provided at the
value can also be provided at the point of the metafunction point of the metafunction invocation; see the `Expression semantics`
invocation; see the `Expression semantics` section for details |-- end section for details |-- end note|
note|
Header Header
@@ -54,8 +54,6 @@ Parameters
+---------------+-------------------------------+---------------------------------------------------+ +---------------+-------------------------------+---------------------------------------------------+
| ``name`` | A legal identifier token | A name of the member being detected. | | ``name`` | A legal identifier token | A name of the member being detected. |
+---------------+-------------------------------+---------------------------------------------------+ +---------------+-------------------------------+---------------------------------------------------+
| ``n`` | An integral constant >= 0 | The arity of the template member being detected. |
+---------------+-------------------------------+---------------------------------------------------+
| ``default_`` | An boolean constant | A fallback value for the deficient compilers. | | ``default_`` | An boolean constant | A fallback value for the deficient compilers. |
+---------------+-------------------------------+---------------------------------------------------+ +---------------+-------------------------------+---------------------------------------------------+
@@ -63,14 +61,13 @@ Parameters
Expression semantics Expression semantics
-------------------- --------------------
For any legal C++ identifiers ``trait`` and ``name``, integral For any legal C++ identifiers ``trait`` and ``name``, boolean constant
constant expression ``n`` greater than or equal to 0, boolean constant
expression ``c1``, boolean |Integral Constant| ``c2``, and arbitrary expression ``c1``, boolean |Integral Constant| ``c2``, and arbitrary
type ``x``: type ``x``:
.. parsed-literal:: .. parsed-literal::
BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF(trait, name, n, c1) BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF(trait, name, c1)
:Precondition: :Precondition:
Appears at namespace scope. Appears at namespace scope.
@@ -86,7 +83,6 @@ type ``x``:
template< template<
typename X typename X
, typename A1, ..., typename An
, typename fallback = boost::mpl::bool\_<c1> , typename fallback = boost::mpl::bool\_<c1>
> >
struct trait struct trait
@@ -100,7 +96,7 @@ type ``x``:
.. parsed-literal:: .. parsed-literal::
typedef trait<x, a1, ..., an>::type r; typedef trait<x>::type r;
:Return type: :Return type:
|Integral Constant|. |Integral Constant|.
@@ -108,13 +104,13 @@ type ``x``:
:Semantics: :Semantics:
If |BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE| is defined, ``r::value If |BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE| is defined, ``r::value
== c1``; otherwise, ``r::value == true`` if and only if ``x`` == c1``; otherwise, ``r::value == true`` if and only if ``x``
is a class type that has a nested type member ``x::template is a class type that has a nested template member ``x::template
name<a1, ..., an>``. name`` with no more than |BOOST_MPL_LIMIT_METAFUNCTION_ARITY|.
.. parsed-literal:: .. parsed-literal::
typedef trait< x, a1, ..., an, c2 >::type r; typedef trait< x, c2 >::type r;
:Return type: :Return type:
|Integral Constant|. |Integral Constant|.
@@ -125,7 +121,7 @@ type ``x``:
.. parsed-literal:: .. parsed-literal::
typedef trait<x, a1, ..., an>::type r; typedef trait<x>::type r;
Example Example
@@ -134,7 +130,7 @@ Example
.. parsed-literal:: .. parsed-literal::
BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF( BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF(
has_xxx, xxx, 1, false has_xxx, xxx, false
) )
struct test1 {}; struct test1 {};
@@ -147,24 +143,25 @@ Example
struct test8 { typedef void (xxx)(); }; struct test8 { typedef void (xxx)(); };
struct test9 { template< class T > struct xxx {}; }; struct test9 { template< class T > struct xxx {}; };
BOOST_MPL_ASSERT_NOT(( has_xxx<test1, int> )); BOOST_MPL_ASSERT_NOT(( has_xxx<test1> ));
BOOST_MPL_ASSERT_NOT(( has_xxx<test2, int> )); BOOST_MPL_ASSERT_NOT(( has_xxx<test2> ));
BOOST_MPL_ASSERT_NOT(( has_xxx<test3, int> )); BOOST_MPL_ASSERT_NOT(( has_xxx<test3> ));
BOOST_MPL_ASSERT_NOT(( has_xxx<test4, int> )); BOOST_MPL_ASSERT_NOT(( has_xxx<test4> ));
BOOST_MPL_ASSERT_NOT(( has_xxx<test5, int> )); BOOST_MPL_ASSERT_NOT(( has_xxx<test5> ));
BOOST_MPL_ASSERT_NOT(( has_xxx<test6, int> )); BOOST_MPL_ASSERT_NOT(( has_xxx<test6> ));
BOOST_MPL_ASSERT_NOT(( has_xxx<test7, int> )); BOOST_MPL_ASSERT_NOT(( has_xxx<test7> ));
BOOST_MPL_ASSERT_NOT(( has_xxx<test8, int> )); BOOST_MPL_ASSERT_NOT(( has_xxx<test8> ));
#if !defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE) #if !defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE)
BOOST_MPL_ASSERT(( has_xxx<test9, int> )); BOOST_MPL_ASSERT(( has_xxx<test9> ));
#endif #endif
BOOST_MPL_ASSERT(( has_xxx<test9, int, true\_> )); BOOST_MPL_ASSERT(( has_xxx<test9, true\_> ));
See also See also
-------- --------
|Macros|, |BOOST_MPL_HAS_XXX_TEMPLATE_DEF|, |BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE| |Macros|, |BOOST_MPL_HAS_XXX_TEMPLATE_DEF|,
|BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE|, |BOOST_MPL_LIMIT_METAFUNCTION_ARITY|

384
include/boost/mpl/has_xxx.hpp
View File

@@ -280,12 +280,11 @@ struct trait \
#if !defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE) #if !defined(BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE)
// Create boolean n-ary Metafunction to detect a nested template // Create a boolean Metafunction to detect a nested template
// member with n template parameters. This implementation is based on // member. This implementation is based on a USENET newsgroup's
// a USENET newsgroup's posting by Aleksey Gurtovoy // posting by Aleksey Gurtovoy (comp.lang.c++.moderated, 2002-03-19),
// (comp.lang.c++.moderated, 2002-03-19), Rani Sharoni's USENET // Rani Sharoni's USENET posting cited above, the non-template has_xxx
// posting cited above, the non-template has_xxx implementations // implementations above, and discussion on the Boost mailing list.
// above, and discussion on the Boost mailing list.
# if !defined(BOOST_MPL_HAS_XXX_NO_WRAPPED_TYPES) # if !defined(BOOST_MPL_HAS_XXX_NO_WRAPPED_TYPES)
# if BOOST_WORKAROUND(BOOST_MSVC, <= 1400) # if BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
@@ -294,35 +293,27 @@ struct trait \
# endif # endif
# if !defined(BOOST_MPL_HAS_XXX_NO_EXPLICIT_TEST_FUNCTION) # if !defined(BOOST_MPL_HAS_XXX_NO_EXPLICIT_TEST_FUNCTION)
# if (defined(BOOST_NO_EXPLICIT_FUNCTION_TEMPLATE_ARGUMENTS) \ # if (defined(BOOST_NO_EXPLICIT_FUNCTION_TEMPLATE_ARGUMENTS))
|| BOOST_WORKAROUND(BOOST_MPL_CFG_GCC, <= 0x0303))
# define BOOST_MPL_HAS_XXX_NO_EXPLICIT_TEST_FUNCTION 1 # define BOOST_MPL_HAS_XXX_NO_EXPLICIT_TEST_FUNCTION 1
# endif # endif
# endif # endif
# if !defined(BOOST_MPL_HAS_XXX_NO_IMPLICIT_SUBSTITUTE_TEMPLATE)
# if BOOST_WORKAROUND(BOOST_MPL_CFG_GCC, <= 0x0303)
# define BOOST_MPL_HAS_XXX_NO_IMPLICIT_SUBSTITUTE_TEMPLATE 1
# endif
# endif
# if !defined(BOOST_MPL_HAS_XXX_NEEDS_TEMPLATE_SFINAE) # if !defined(BOOST_MPL_HAS_XXX_NEEDS_TEMPLATE_SFINAE)
# if BOOST_WORKAROUND(BOOST_MSVC, <= 1400) # if BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
# define BOOST_MPL_HAS_XXX_NEEDS_TEMPLATE_SFINAE 1 # define BOOST_MPL_HAS_XXX_NEEDS_TEMPLATE_SFINAE 1
# endif # endif
# endif # endif
// NOTE: All internal implementation macros take a Boost.Preprocessor // NOTE: Many internal implementation macros take a Boost.Preprocessor
// array argument called args which contains the arguments passed to // array argument called args which is of the following form.
// HAS_XXX_TEMPLATE_NAMED_DEF and is of the following form. // ( 4, ( trait, name, max_arity, default_ ) )
// ( 4, ( trait, name, n, default_ ) )
# define BOOST_MPL_HAS_MEMBER_INTROSPECTION_NAME(args) \ # define BOOST_MPL_HAS_MEMBER_INTROSPECTION_NAME(args) \
BOOST_PP_CAT(BOOST_PP_ARRAY_ELEM(0, args) , _introspect) \ BOOST_PP_CAT(BOOST_PP_ARRAY_ELEM(0, args) , _introspect) \
/**/ /**/
# define BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME(args) \ # define BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME(args, n) \
BOOST_PP_CAT(BOOST_PP_ARRAY_ELEM(0, args) , _substitute) \ BOOST_PP_CAT(BOOST_PP_CAT(BOOST_PP_ARRAY_ELEM(0, args) , _substitute), n) \
/**/ /**/
# define BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args) \ # define BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args) \
@@ -332,13 +323,23 @@ struct trait \
// Thanks to Guillaume Melquiond for pointing out the need for the // Thanks to Guillaume Melquiond for pointing out the need for the
// "substitute" template as an argument to the overloaded test // "substitute" template as an argument to the overloaded test
// functions to get SFINAE to work for member templates with the // functions to get SFINAE to work for member templates with the
// correct name but incorrect arguments. // correct name but different number of arguments.
# define BOOST_MPL_HAS_MEMBER_SUBSTITUTE(args, substitute_macro) \ # define BOOST_MPL_HAS_MEMBER_MULTI_SUBSTITUTE(z, n, args) \
template< substitute_macro(args, V) > \ template< \
struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME(args) { \ template< BOOST_PP_ENUM_PARAMS(BOOST_PP_INC(n), typename V) > class V \
> \
struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME(args, n) { \
}; \ }; \
/**/ /**/
# define BOOST_MPL_HAS_MEMBER_SUBSTITUTE(args, substitute_macro) \
BOOST_PP_REPEAT( \
BOOST_PP_ARRAY_ELEM(2, args) \
, BOOST_MPL_HAS_MEMBER_MULTI_SUBSTITUTE \
, args \
) \
/**/
# if !BOOST_MPL_HAS_XXX_NO_EXPLICIT_TEST_FUNCTION # if !BOOST_MPL_HAS_XXX_NO_EXPLICIT_TEST_FUNCTION
# define BOOST_MPL_HAS_MEMBER_REJECT(args, member_macro) \ # define BOOST_MPL_HAS_MEMBER_REJECT(args, member_macro) \
template< typename V > \ template< typename V > \
@@ -353,16 +354,23 @@ struct trait \
# endif # endif
# if !BOOST_MPL_HAS_XXX_NO_WRAPPED_TYPES # if !BOOST_MPL_HAS_XXX_NO_WRAPPED_TYPES
# define BOOST_MPL_HAS_MEMBER_ACCEPT(args, member_macro) \ # define BOOST_MPL_HAS_MEMBER_MULTI_ACCEPT(z, n, args) \
template< typename V > \ template< typename V > \
static boost::mpl::aux::yes_tag \ static boost::mpl::aux::yes_tag \
BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args)( \ BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args)( \
boost::mpl::aux::type_wrapper< V > const volatile* \ boost::mpl::aux::type_wrapper< V > const volatile* \
, BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME(args) < \ , BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME(args, n) < \
member_macro(args, V, T) \ V::template BOOST_PP_ARRAY_ELEM(1, args) \
>* = 0 \ >* = 0 \
); \ ); \
/**/ /**/
# define BOOST_MPL_HAS_MEMBER_ACCEPT(args, member_macro) \
BOOST_PP_REPEAT( \
BOOST_PP_ARRAY_ELEM(2, args) \
, BOOST_MPL_HAS_MEMBER_MULTI_ACCEPT \
, args \
) \
/**/
# else # else
# define BOOST_MPL_HAS_MEMBER_ACCEPT(args, member_macro) \ # define BOOST_MPL_HAS_MEMBER_ACCEPT(args, member_macro) \
template< typename V > \ template< typename V > \
@@ -419,9 +427,6 @@ struct trait \
) \ ) \
template< \ template< \
typename T \ typename T \
BOOST_PP_ENUM_TRAILING_PARAMS( \
BOOST_PP_ARRAY_ELEM(2, args), typename T \
) \
, typename fallback_ \ , typename fallback_ \
= boost::mpl::bool_< BOOST_PP_ARRAY_ELEM(3, args) > \ = boost::mpl::bool_< BOOST_PP_ARRAY_ELEM(3, args) > \
> \ > \
@@ -436,45 +441,9 @@ struct trait \
}; \ }; \
/**/ /**/
// For example, // BOOST_MPL_HAS_MEMBER_WITH_FUNCTION_SFINAE expands to the full
// BOOST_MPL_HAS_MEMBER_WITH_FUNCTION_SFINAE( // implementation of the function-based metafunction. Compile with -E
// (4, (has_xxx, xxx, 2, false)) // to see the preprocessor output for this macro.
// , BOOST_MPL_HAS_MEMBER_TEMPLATE_SUBSTITUTE_PARAMETER
// , BOOST_MPL_HAS_MEMBER_TEMPLATE_ACCESS
// )
// expands to something like the following...
//
// template<
// typename T , typename T0 , typename T1
// , typename fallback_ = boost::mpl::bool_< false >
// >
// class has_xxx {
// template< typename U >
// struct has_xxx_introspect {
// template< template< typename V0 , typename V1 > class V >
// struct has_xxx_substitute {
// };
//
// template< typename V >
// static boost::mpl::aux::no_tag
// has_xxx_test(...);
//
// template< typename V >
// static boost::mpl::aux::yes_tag
// has_xxx_test(
// boost::mpl::aux::type_wrapper< V > const volatile*
// , has_xxx_substitute < V::template xxx >* = 0
// );
//
// static const bool value
// = sizeof(has_xxx_test< U >(0))
// == sizeof(boost::mpl::aux::yes_tag);
// typedef boost::mpl::bool_< value > type;
// };
// public:
// static const bool value = has_xxx_introspect< T >::value;
// typedef typename has_xxx_introspect< T >::type type;
// };
# define BOOST_MPL_HAS_MEMBER_WITH_FUNCTION_SFINAE( \ # define BOOST_MPL_HAS_MEMBER_WITH_FUNCTION_SFINAE( \
args, substitute_macro, member_macro \ args, substitute_macro, member_macro \
) \ ) \
@@ -496,17 +465,17 @@ struct trait \
# if !BOOST_MPL_HAS_XXX_NEEDS_NAMESPACE_LEVEL_SUBSTITUTE # if !BOOST_MPL_HAS_XXX_NEEDS_NAMESPACE_LEVEL_SUBSTITUTE
# define BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME_WITH_TEMPLATE_SFINAE( \ # define BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME_WITH_TEMPLATE_SFINAE( \
args \ args, n \
) \ ) \
BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME(args) \ BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME(args, n) \
/**/ /**/
# else # else
# define BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME_WITH_TEMPLATE_SFINAE( \ # define BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME_WITH_TEMPLATE_SFINAE( \
args \ args, n \
) \ ) \
BOOST_PP_CAT( \ BOOST_PP_CAT( \
boost_mpl_has_xxx_ \ boost_mpl_has_xxx_ \
, BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME(args) \ , BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME(args, n) \
) \ ) \
/**/ /**/
# endif # endif
@@ -516,20 +485,20 @@ struct trait \
) \ ) \
BOOST_PP_CAT( \ BOOST_PP_CAT( \
BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME_WITH_TEMPLATE_SFINAE( \ BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME_WITH_TEMPLATE_SFINAE( \
args \ args, 0 \
) \ ) \
, _tag \ , _tag \
) \ ) \
/**/ /**/
# define BOOST_MPL_HAS_MEMBER_SUBSTITUTE_WITH_TEMPLATE_SFINAE( \ # define BOOST_MPL_HAS_MEMBER_MULTI_SUBSTITUTE_WITH_TEMPLATE_SFINAE( \
args, substitute_macro \ z, n, args \
) \ ) \
typedef void \ template< \
BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_TAG_NAME(args); \ template< BOOST_PP_ENUM_PARAMS(BOOST_PP_INC(n), typename U) > class U \
template< substitute_macro(args, U) > \ > \
struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME_WITH_TEMPLATE_SFINAE( \ struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME_WITH_TEMPLATE_SFINAE( \
args \ args, n \
) { \ ) { \
typedef \ typedef \
BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_TAG_NAME(args) \ BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_TAG_NAME(args) \
@@ -537,14 +506,23 @@ struct trait \
}; \ }; \
/**/ /**/
# define BOOST_MPL_HAS_MEMBER_SUBSTITUTE_WITH_TEMPLATE_SFINAE( \
args, substitute_macro \
) \
typedef void \
BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_TAG_NAME(args); \
BOOST_PP_REPEAT( \
BOOST_PP_ARRAY_ELEM(2, args) \
, BOOST_MPL_HAS_MEMBER_MULTI_SUBSTITUTE_WITH_TEMPLATE_SFINAE \
, args \
) \
/**/
# define BOOST_MPL_HAS_MEMBER_REJECT_WITH_TEMPLATE_SFINAE( \ # define BOOST_MPL_HAS_MEMBER_REJECT_WITH_TEMPLATE_SFINAE( \
args, member_macro \ args, member_macro \
) \ ) \
template< \ template< \
typename U \ typename U \
BOOST_PP_ENUM_TRAILING_PARAMS( \
BOOST_PP_ARRAY_ELEM(2, args), typename U \
) \
, typename V \ , typename V \
= BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_TAG_NAME(args) \ = BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_TAG_NAME(args) \
> \ > \
@@ -554,22 +532,17 @@ struct trait \
}; \ }; \
/**/ /**/
# define BOOST_MPL_HAS_MEMBER_ACCEPT_WITH_TEMPLATE_SFINAE( \ # define BOOST_MPL_HAS_MEMBER_MULTI_ACCEPT_WITH_TEMPLATE_SFINAE( \
args, member_macro \ z, n, args \
) \ ) \
template< \ template< typename U > \
typename U \
BOOST_PP_ENUM_TRAILING_PARAMS( \
BOOST_PP_ARRAY_ELEM(2, args), typename U \
) \
> \
struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args)< \ struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args)< \
U BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ARRAY_ELEM(2, args), U) \ U \
, typename \ , typename \
BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME_WITH_TEMPLATE_SFINAE( \ BOOST_MPL_HAS_MEMBER_INTROSPECTION_SUBSTITUTE_NAME_WITH_TEMPLATE_SFINAE( \
args \ args, n \
)< \ )< \
member_macro(args, U, U) \ BOOST_MSVC_TYPENAME U::BOOST_PP_ARRAY_ELEM(1, args)< > \
>::type \ >::type \
> { \ > { \
BOOST_STATIC_CONSTANT(bool, value = true); \ BOOST_STATIC_CONSTANT(bool, value = true); \
@@ -577,89 +550,30 @@ struct trait \
}; \ }; \
/**/ /**/
# define BOOST_MPL_HAS_MEMBER_BASIC_INTROSPECT_WITH_TEMPLATE_SFINAE( \ # define BOOST_MPL_HAS_MEMBER_ACCEPT_WITH_TEMPLATE_SFINAE( \
args, member_macro \
) \
BOOST_PP_REPEAT( \
BOOST_PP_ARRAY_ELEM(2, args) \
, BOOST_MPL_HAS_MEMBER_MULTI_ACCEPT_WITH_TEMPLATE_SFINAE \
, args \
) \
/**/
# define BOOST_MPL_HAS_MEMBER_INTROSPECT_WITH_TEMPLATE_SFINAE( \
args, substitute_macro, member_macro \ args, substitute_macro, member_macro \
) \ ) \
BOOST_MPL_HAS_MEMBER_REJECT_WITH_TEMPLATE_SFINAE(args, member_macro) \ BOOST_MPL_HAS_MEMBER_REJECT_WITH_TEMPLATE_SFINAE(args, member_macro) \
BOOST_MPL_HAS_MEMBER_ACCEPT_WITH_TEMPLATE_SFINAE(args, member_macro) \ BOOST_MPL_HAS_MEMBER_ACCEPT_WITH_TEMPLATE_SFINAE(args, member_macro) \
template< typename U > \ template< typename U > \
struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_NAME(args) \ struct BOOST_MPL_HAS_MEMBER_INTROSPECTION_NAME(args) \
: BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args)< \ : BOOST_MPL_HAS_MEMBER_INTROSPECTION_TEST_NAME(args)< U > { \
U \
BOOST_PP_ENUM_TRAILING_PARAMS( \
BOOST_PP_ARRAY_ELEM(2, args) \
, T \
) \
> { \
}; \ }; \
/**/ /**/
# if !BOOST_MPL_HAS_XXX_NEEDS_NAMESPACE_LEVEL_SUBSTITUTE // BOOST_MPL_HAS_MEMBER_WITH_TEMPLATE_SFINAE expands to the full
# define BOOST_MPL_HAS_MEMBER_INTROSPECT_WITH_TEMPLATE_SFINAE( \ // implementation of the template-based metafunction. Compile with -E
args, substitute_macro, member_macro \ // to see the preprocessor output for this macro.
) \
BOOST_MPL_HAS_MEMBER_SUBSTITUTE_WITH_TEMPLATE_SFINAE( \
args, substitute_macro \
) \
BOOST_MPL_HAS_MEMBER_BASIC_INTROSPECT_WITH_TEMPLATE_SFINAE( \
args, substitute_macro, member_macro \
) \
/**/
# else
# define BOOST_MPL_HAS_MEMBER_INTROSPECT_WITH_TEMPLATE_SFINAE( \
args, substitute_macro, member_macro \
) \
BOOST_MPL_HAS_MEMBER_BASIC_INTROSPECT_WITH_TEMPLATE_SFINAE( \
args, substitute_macro, member_macro \
) \
/**/
# endif
// For example,
// BOOST_MPL_HAS_MEMBER_WITH_TEMPLATE_SFINAE(
// (4, (has_xxx, xxx, 2, false))
// , BOOST_MPL_HAS_MEMBER_TEMPLATE_SUBSTITUTE_PARAMETER
// , BOOST_MPL_HAS_MEMBER_TEMPLATE_ACCESS
// )
// expands to something like the following...
//
// template<
// typename T , typename T0 , typename T1
// , typename fallback_ = boost::mpl::bool_< false >
// >
// class has_xxx {
// typedef void has_xxx_substitute_tag;
//
// template< template< typename U0 , typename U1 > class U >
// struct has_xxx_substitute {
// typedef has_xxx_substitute_tag type;
// };
//
// template<
// typename U , typename U0 , typename U1
// , typename V = has_xxx_substitute_tag
// >
// struct has_xxx_test {
// static const bool value = false;
// typedef boost::mpl::bool_< value > type;
// };
//
// template< typename U , typename U0 , typename U1 >
// struct has_xxx_test<
// U , U0 , U1
// , typename has_xxx_substitute< U::template xxx >::type
// > {
// static const bool value = true;
// typedef boost::mpl::bool_< value > type;
// };
//
// template< typename U >
// struct has_xxx_introspect : has_xxx_test< U , T0 , T1 > {
// };
// public:
// static const bool value = has_xxx_introspect< T >::value;
// typedef typename has_xxx_introspect< T >::type type;
// };
// //
// Note that if BOOST_MPL_HAS_XXX_NEEDS_NAMESPACE_LEVEL_SUBSTITUTE is // Note that if BOOST_MPL_HAS_XXX_NEEDS_NAMESPACE_LEVEL_SUBSTITUTE is
// defined BOOST_MPL_HAS_MEMBER_SUBSTITUTE_WITH_TEMPLATE_SFINAE needs // defined BOOST_MPL_HAS_MEMBER_SUBSTITUTE_WITH_TEMPLATE_SFINAE needs
@@ -668,6 +582,9 @@ struct trait \
# define BOOST_MPL_HAS_MEMBER_WITH_TEMPLATE_SFINAE( \ # define BOOST_MPL_HAS_MEMBER_WITH_TEMPLATE_SFINAE( \
args, substitute_macro, member_macro \ args, substitute_macro, member_macro \
) \ ) \
BOOST_MPL_HAS_MEMBER_SUBSTITUTE_WITH_TEMPLATE_SFINAE( \
args, substitute_macro \
) \
BOOST_MPL_HAS_MEMBER_IMPLEMENTATION( \ BOOST_MPL_HAS_MEMBER_IMPLEMENTATION( \
args \ args \
, BOOST_MPL_HAS_MEMBER_INTROSPECT_WITH_TEMPLATE_SFINAE \ , BOOST_MPL_HAS_MEMBER_INTROSPECT_WITH_TEMPLATE_SFINAE \
@@ -678,130 +595,22 @@ struct trait \
# endif // BOOST_MPL_HAS_XXX_NEEDS_TEMPLATE_SFINAE # endif // BOOST_MPL_HAS_XXX_NEEDS_TEMPLATE_SFINAE
# define BOOST_MPL_HAS_MEMBER_TEMPLATE_EXPLICIT_SUBSTITUTE_PARAMETER( \ // Note: In the current implementation the parameter and access macros
args, param \ // are no longer expanded.
) \
typename \
/**/
# if !BOOST_MPL_HAS_XXX_NO_IMPLICIT_SUBSTITUTE_TEMPLATE
# define BOOST_MPL_HAS_MEMBER_TEMPLATE_IMPLICIT_SUBSTITUTE_PARAMETER( \
args, param \
) \
template< \
BOOST_PP_ENUM_PARAMS(BOOST_PP_ARRAY_ELEM(2, args), typename param) \
> \
class param\
/**/
// See comment at BOOST_MPL_HAS_MEMBER_TEMPLATE_ACCESS below.
# define BOOST_MPL_HAS_MEMBER_TEMPLATE_SUBSTITUTE_PARAMETER(args, param) \
BOOST_PP_IF( \
BOOST_PP_ARRAY_ELEM(2, args) \
, BOOST_MPL_HAS_MEMBER_TEMPLATE_IMPLICIT_SUBSTITUTE_PARAMETER \
, BOOST_MPL_HAS_MEMBER_TEMPLATE_EXPLICIT_SUBSTITUTE_PARAMETER \
) ( args, param ) \
/**/
# else
# define BOOST_MPL_HAS_MEMBER_TEMPLATE_SUBSTITUTE_PARAMETER(args, param) \
BOOST_MPL_HAS_MEMBER_TEMPLATE_EXPLICIT_SUBSTITUTE_PARAMETER( \
args, param \
) \
/**/
# endif
# define BOOST_MPL_HAS_MEMBER_TEMPLATE_EXPLICIT_ACCESS( \
args, class_type, param \
) \
typename class_type::template BOOST_PP_ARRAY_ELEM(1, args)< \
BOOST_PP_ENUM_PARAMS(BOOST_PP_ARRAY_ELEM(2, args), param) \
> \
/**/
# if !BOOST_MPL_HAS_XXX_NO_IMPLICIT_SUBSTITUTE_TEMPLATE
# define BOOST_MPL_HAS_MEMBER_TEMPLATE_IMPLICIT_ACCESS( \
args, class_type, param \
) \
class_type::template BOOST_PP_ARRAY_ELEM(1, args) \
/**/
// Note: to recognize templates with no required arguments use
// explicit access since a substitute template with no args cannot be
// declared.
# define BOOST_MPL_HAS_MEMBER_TEMPLATE_ACCESS(args, class_type, param) \
BOOST_PP_IF( \
BOOST_PP_ARRAY_ELEM(2, args) \
, BOOST_MPL_HAS_MEMBER_TEMPLATE_IMPLICIT_ACCESS \
, BOOST_MPL_HAS_MEMBER_TEMPLATE_EXPLICIT_ACCESS \
) ( args, class_type, param ) \
/**/
# else
# define BOOST_MPL_HAS_MEMBER_TEMPLATE_ACCESS(args, class_type, param) \
BOOST_MPL_HAS_MEMBER_TEMPLATE_EXPLICIT_ACCESS( \
args, class_type, param \
) \
/**/
# endif
# if BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
// MSVC (7.1, 8.0) accepts the member template access syntax below
// regardless of the member template's arity. introspect will reject
// member templates with the wrong arity due to the substitute
// template. Note that using this syntax also enables MSVC
// template-based SFINAE to reject non-template members. This is
// important because explicitly passing the template args will match
// templates with the correct name and arguments but will cause ICE on
// non-template members. However, MSVC nullary template-based SFINAE
// (introspection for a member template with no required args) can not
// reject non-template members, but MSVC function-based SFINAE
// can. So, one of the two is chosen based on the number of required
// template parameters.
# if !BOOST_WORKAROUND(BOOST_MSVC, < 1300)
# define BOOST_MPL_HAS_MEMBER_TEMPLATE_ACCESS_MSVC( \
args, class_type, param \
) \
typename class_type::template BOOST_PP_ARRAY_ELEM(1, args)< > \
/**/
# else
# define BOOST_MPL_HAS_MEMBER_TEMPLATE_ACCESS_MSVC( \
args, class_type, param \
) \
class_type::BOOST_PP_ARRAY_ELEM(1, agrs)< > \
/**/
# endif
# define BOOST_MPL_HAS_MEMBER_TEMPLATE_MSVC( \
args, substitute_macro, member_macro \
) \
BOOST_MPL_HAS_MEMBER_SUBSTITUTE_WITH_TEMPLATE_SFINAE( \
args, substitute_macro \
) \
BOOST_PP_IF( \
BOOST_PP_ARRAY_ELEM(2, args) \
, BOOST_MPL_HAS_MEMBER_WITH_TEMPLATE_SFINAE \
, BOOST_MPL_HAS_MEMBER_WITH_FUNCTION_SFINAE \
) ( \
args \
, substitute_macro \
, member_macro \
) \
/**/
# endif
# if !BOOST_WORKAROUND(BOOST_MSVC, <= 1400) # if !BOOST_WORKAROUND(BOOST_MSVC, <= 1400)
# define BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF(trait, name, n, default_) \ # define BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF(trait, name, default_) \
BOOST_MPL_HAS_MEMBER_WITH_FUNCTION_SFINAE( \ BOOST_MPL_HAS_MEMBER_WITH_FUNCTION_SFINAE( \
( 4, ( trait, name, n, default_ ) ) \ ( 4, ( trait, name, BOOST_MPL_LIMIT_METAFUNCTION_ARITY, default_ ) ) \
, BOOST_MPL_HAS_MEMBER_TEMPLATE_SUBSTITUTE_PARAMETER \ , BOOST_MPL_HAS_MEMBER_TEMPLATE_SUBSTITUTE_PARAMETER \
, BOOST_MPL_HAS_MEMBER_TEMPLATE_ACCESS \ , BOOST_MPL_HAS_MEMBER_TEMPLATE_ACCESS \
) \ ) \
/**/ /**/
# else # else
# define BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF(trait, name, n, default_) \ # define BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF(trait, name, default_) \
BOOST_MPL_HAS_MEMBER_TEMPLATE_MSVC( \ BOOST_MPL_HAS_MEMBER_WITH_TEMPLATE_SFINAE( \
( 4, ( trait, name, n, default_ ) ) \ ( 4, ( trait, name, BOOST_MPL_LIMIT_METAFUNCTION_ARITY, default_ ) ) \
, BOOST_MPL_HAS_MEMBER_TEMPLATE_SUBSTITUTE_PARAMETER \ , BOOST_MPL_HAS_MEMBER_TEMPLATE_SUBSTITUTE_PARAMETER \
, BOOST_MPL_HAS_MEMBER_TEMPLATE_ACCESS_MSVC \ , BOOST_MPL_HAS_MEMBER_TEMPLATE_ACCESS \
) \ ) \
/**/ /**/
# endif # endif
@@ -810,9 +619,8 @@ struct trait \
// placeholder implementation // placeholder implementation
# define BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF(trait, name, n, default_) \ # define BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF(trait, name, default_) \
template< typename T \ template< typename T \
BOOST_PP_ENUM_TRAILING_PARAMS(n, typename U) \
, typename fallback_ = boost::mpl::bool_< default_ > > \ , typename fallback_ = boost::mpl::bool_< default_ > > \
struct trait { \ struct trait { \
BOOST_STATIC_CONSTANT(bool, value = fallback_::value); \ BOOST_STATIC_CONSTANT(bool, value = fallback_::value); \
@@ -822,9 +630,9 @@ struct trait \
#endif // BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE #endif // BOOST_MPL_CFG_NO_HAS_XXX_TEMPLATE
# define BOOST_MPL_HAS_XXX_TEMPLATE_DEF(name, n) \ # define BOOST_MPL_HAS_XXX_TEMPLATE_DEF(name) \
BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF( \ BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF( \
BOOST_PP_CAT(has_, name), name, n, false \ BOOST_PP_CAT(has_, name), name, false \
) \ ) \
/**/ /**/

224
test/has_xxx.cpp
View File

@@ -17,12 +17,8 @@
#include <boost/mpl/aux_/test.hpp> #include <boost/mpl/aux_/test.hpp>
BOOST_MPL_HAS_XXX_TRAIT_DEF(xxx) BOOST_MPL_HAS_XXX_TRAIT_DEF(xxx)
BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF(has_xxx0, xxx, 0, false) BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF(has_xxx_template, xxx, false)
BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF(has_xxx1, xxx, 1, false) BOOST_MPL_HAS_XXX_TEMPLATE_DEF(yyy)
BOOST_MPL_HAS_XXX_TEMPLATE_NAMED_DEF(has_xxx2, xxx, 2, false)
BOOST_MPL_HAS_XXX_TEMPLATE_DEF(yyy0, 0)
BOOST_MPL_HAS_XXX_TEMPLATE_DEF(yyy1, 1)
BOOST_MPL_HAS_XXX_TEMPLATE_DEF(yyy2, 2)
struct a1 {}; struct a1 {};
struct a2 { void xxx(); }; struct a2 { void xxx(); };
@@ -38,12 +34,13 @@ struct b5 { typedef int xxx[10]; };
struct b6 { typedef void (*xxx)(); }; struct b6 { typedef void (*xxx)(); };
struct b7 { typedef void (xxx)(); }; struct b7 { typedef void (xxx)(); };
struct c0 { template< typename T0 = int > struct xxx {}; }; struct c1 { template< typename T > struct xxx {}; };
struct c1 { template< typename T1 > struct xxx {}; };
struct c2 { template< typename T1, typename T2 > struct xxx {}; }; struct c2 { template< typename T1, typename T2 > struct xxx {}; };
struct c3 { template< typename T0 = int > struct yyy0 {}; }; struct c3 { template< typename T1, typename T2, typename T3 > struct xxx {}; };
struct c4 { template< typename T1 > struct yyy1 {}; }; struct c4 { template< typename T1, typename T2, typename T3, typename T4 > struct xxx {}; };
struct c5 { template< typename T1, typename T2 > struct yyy2 {}; }; struct c5 { template< typename T1, typename T2, typename T3, typename T4, typename T5 > struct xxx {}; };
struct c6 { template< typename T > struct yyy {}; };
struct c7 { template< typename T1, typename T2 > struct yyy {}; };
template< typename T > struct outer; template< typename T > struct outer;
template< typename T > struct inner { typedef typename T::type type; }; template< typename T > struct inner { typedef typename T::type type; };
@@ -56,195 +53,80 @@ template< typename T > struct xxx;
MPL_TEST_CASE() MPL_TEST_CASE()
{ {
MPL_ASSERT_NOT(( has_xxx<int> )); MPL_ASSERT_NOT(( has_xxx<int> ));
MPL_ASSERT_NOT(( has_xxx0< int > )); MPL_ASSERT_NOT(( has_xxx_template<int> ));
MPL_ASSERT_NOT(( has_xxx1< int, int > ));
MPL_ASSERT_NOT(( has_xxx2< int, int, int > ));
MPL_ASSERT_NOT(( has_yyy0< int > ));
MPL_ASSERT_NOT(( has_yyy1< int, int > ));
MPL_ASSERT_NOT(( has_yyy2< int, int, int > ));
#if !BOOST_WORKAROUND(BOOST_MSVC, <= 1300) #if !BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
MPL_ASSERT_NOT(( has_xxx<int&> )); MPL_ASSERT_NOT(( has_xxx<int&> ));
MPL_ASSERT_NOT(( has_xxx0< int& > )); MPL_ASSERT_NOT(( has_xxx_template<int&> ));
MPL_ASSERT_NOT(( has_xxx1< int&, int > ));
MPL_ASSERT_NOT(( has_xxx2< int&, int, int > ));
MPL_ASSERT_NOT(( has_yyy0< int& > ));
MPL_ASSERT_NOT(( has_yyy1< int&, int > ));
MPL_ASSERT_NOT(( has_yyy2< int&, int, int > ));
MPL_ASSERT_NOT(( has_xxx<int*> )); MPL_ASSERT_NOT(( has_xxx<int*> ));
MPL_ASSERT_NOT(( has_xxx0< int* > )); MPL_ASSERT_NOT(( has_xxx_template<int*> ));
MPL_ASSERT_NOT(( has_xxx1< int*, int > ));
MPL_ASSERT_NOT(( has_xxx2< int*, int, int > ));
MPL_ASSERT_NOT(( has_yyy0< int* > ));
MPL_ASSERT_NOT(( has_yyy1< int*, int > ));
MPL_ASSERT_NOT(( has_yyy2< int*, int, int > ));
MPL_ASSERT_NOT(( has_xxx<int[]> )); MPL_ASSERT_NOT(( has_xxx<int[]> ));
MPL_ASSERT_NOT(( has_xxx0< int[] > )); MPL_ASSERT_NOT(( has_xxx_template<int[]> ));
MPL_ASSERT_NOT(( has_xxx1< int[], int > ));
MPL_ASSERT_NOT(( has_xxx2< int[], int, int > ));
MPL_ASSERT_NOT(( has_yyy0< int[] > ));
MPL_ASSERT_NOT(( has_yyy1< int[], int > ));
MPL_ASSERT_NOT(( has_yyy2< int[], int, int > ));
MPL_ASSERT_NOT(( has_xxx<int (*)()> )); MPL_ASSERT_NOT(( has_xxx<int (*)()> ));
MPL_ASSERT_NOT(( has_xxx0< int (*)() > )); MPL_ASSERT_NOT(( has_xxx_template<int (*)()> ));
MPL_ASSERT_NOT(( has_xxx1< int (*)(), int > ));
MPL_ASSERT_NOT(( has_xxx2< int (*)(), int, int > ));
MPL_ASSERT_NOT(( has_yyy0< int (*)() > ));
MPL_ASSERT_NOT(( has_yyy1< int (*)(), int > ));
MPL_ASSERT_NOT(( has_yyy2< int (*)(), int, int > ));
MPL_ASSERT_NOT(( has_xxx<a2> )); MPL_ASSERT_NOT(( has_xxx<a2> ));
MPL_ASSERT_NOT(( has_xxx0< a2 > )); MPL_ASSERT_NOT(( has_xxx_template<a2> ));
MPL_ASSERT_NOT(( has_xxx1< a2, int > ));
MPL_ASSERT_NOT(( has_xxx2< a2, int, int > ));
MPL_ASSERT_NOT(( has_yyy0< a2 > ));
MPL_ASSERT_NOT(( has_yyy1< a2, int > ));
MPL_ASSERT_NOT(( has_yyy2< a2, int, int > ));
MPL_ASSERT_NOT(( has_xxx<a3> )); MPL_ASSERT_NOT(( has_xxx<a3> ));
MPL_ASSERT_NOT(( has_xxx0< a3 > )); MPL_ASSERT_NOT(( has_xxx_template<a3> ));
MPL_ASSERT_NOT(( has_xxx1< a3, int > ));
MPL_ASSERT_NOT(( has_xxx2< a3, int, int > ));
MPL_ASSERT_NOT(( has_yyy0< a3 > ));
MPL_ASSERT_NOT(( has_yyy1< a3, int > ));
MPL_ASSERT_NOT(( has_yyy2< a3, int, int > ));
MPL_ASSERT_NOT(( has_xxx<a4> )); MPL_ASSERT_NOT(( has_xxx<a4> ));
MPL_ASSERT_NOT(( has_xxx0< a4 > )); MPL_ASSERT_NOT(( has_xxx_template<a4> ));
MPL_ASSERT_NOT(( has_xxx1< a4, int > ));
MPL_ASSERT_NOT(( has_xxx2< a4, int, int > ));
MPL_ASSERT_NOT(( has_yyy0< a4 > ));
MPL_ASSERT_NOT(( has_yyy1< a4, int > ));
MPL_ASSERT_NOT(( has_yyy2< a4, int, int > ));
#if !BOOST_WORKAROUND(__MWERKS__, BOOST_TESTED_AT(0x3202)) #if !BOOST_WORKAROUND(__MWERKS__, BOOST_TESTED_AT(0x3202))
MPL_ASSERT_NOT(( has_xxx<a5> )); MPL_ASSERT_NOT(( has_xxx<a5> ));
MPL_ASSERT(( has_xxx_template<a5> ));
#endif #endif
MPL_ASSERT_NOT(( has_xxx< enum_ > )); MPL_ASSERT_NOT(( has_xxx< enum_ > ));
MPL_ASSERT_NOT(( has_xxx0< enum_ > )); MPL_ASSERT_NOT(( has_xxx_template< enum_ > ));
MPL_ASSERT_NOT(( has_xxx1< enum_, int > ));
MPL_ASSERT_NOT(( has_xxx2< enum_, int, int > ));
MPL_ASSERT_NOT(( has_yyy0< enum_ > ));
MPL_ASSERT_NOT(( has_yyy1< enum_, int > ));
MPL_ASSERT_NOT(( has_yyy2< enum_, int, int > ));
#endif #endif
MPL_ASSERT_NOT(( has_xxx<a1> )); MPL_ASSERT_NOT(( has_xxx<a1> ));
MPL_ASSERT_NOT(( has_xxx0< a1 > )); MPL_ASSERT_NOT(( has_xxx_template<a1> ));
MPL_ASSERT_NOT(( has_xxx1< a1, int > ));
MPL_ASSERT_NOT(( has_xxx2< a1, int, int > ));
MPL_ASSERT_NOT(( has_yyy0< a1 > ));
MPL_ASSERT_NOT(( has_yyy1< a1, int > ));
MPL_ASSERT_NOT(( has_yyy2< a1, int, int > ));
MPL_ASSERT_NOT(( has_xxx< outer< inner<int> > > )); MPL_ASSERT_NOT(( has_xxx< outer< inner<int> > > ));
MPL_ASSERT_NOT(( has_xxx0< outer< inner<int> > > )); MPL_ASSERT_NOT(( has_xxx_template< outer< inner<int> > > ));
MPL_ASSERT_NOT(( has_xxx1< outer< inner<int> >, int > ));
MPL_ASSERT_NOT(( has_xxx2< outer< inner<int> >, int, int > ));
MPL_ASSERT_NOT(( has_yyy0< outer< inner<int> > > ));
MPL_ASSERT_NOT(( has_yyy1< outer< inner<int> >, int > ));
MPL_ASSERT_NOT(( has_yyy2< outer< inner<int> >, int, int > ));
MPL_ASSERT_NOT(( has_xxx< incomplete > )); MPL_ASSERT_NOT(( has_xxx< incomplete > ));
MPL_ASSERT_NOT(( has_xxx0< incomplete > )); MPL_ASSERT_NOT(( has_xxx_template< incomplete > ));
MPL_ASSERT_NOT(( has_xxx1< incomplete, int > ));
MPL_ASSERT_NOT(( has_xxx2< incomplete, int, int > ));
MPL_ASSERT_NOT(( has_yyy0< incomplete > ));
MPL_ASSERT_NOT(( has_yyy1< incomplete, int > ));
MPL_ASSERT_NOT(( has_yyy2< incomplete, int, int > ));
MPL_ASSERT_NOT(( has_xxx< abstract > )); MPL_ASSERT_NOT(( has_xxx< abstract > ));
MPL_ASSERT_NOT(( has_xxx0< abstract > )); MPL_ASSERT_NOT(( has_xxx_template< abstract > ));
MPL_ASSERT_NOT(( has_xxx1< abstract, int > ));
MPL_ASSERT_NOT(( has_xxx2< abstract, int, int > ));
MPL_ASSERT_NOT(( has_yyy0< abstract > ));
MPL_ASSERT_NOT(( has_yyy1< abstract, int > ));
MPL_ASSERT_NOT(( has_yyy2< abstract, int, int > ));
MPL_ASSERT_NOT(( has_xxx< noncopyable > )); MPL_ASSERT_NOT(( has_xxx< noncopyable > ));
MPL_ASSERT_NOT(( has_xxx0< noncopyable > )); MPL_ASSERT_NOT(( has_xxx_template< noncopyable > ));
MPL_ASSERT_NOT(( has_xxx1< noncopyable, int > ));
MPL_ASSERT_NOT(( has_xxx2< noncopyable, int, int > ));
MPL_ASSERT_NOT(( has_yyy0< noncopyable > ));
MPL_ASSERT_NOT(( has_yyy1< noncopyable, int > ));
MPL_ASSERT_NOT(( has_yyy2< noncopyable, int, int > ));
#if !BOOST_WORKAROUND(__COMO_VERSION__, BOOST_TESTED_AT(4308)) #if !BOOST_WORKAROUND(__COMO_VERSION__, BOOST_TESTED_AT(4308))
MPL_ASSERT_NOT(( has_xxx0< b1 > )); MPL_ASSERT_NOT(( has_xxx_template<b1> ));
MPL_ASSERT_NOT(( has_xxx1< b1, int > )); MPL_ASSERT_NOT(( has_xxx_template<b2> ));
MPL_ASSERT_NOT(( has_xxx2< b1, int, int > )); MPL_ASSERT_NOT(( has_xxx_template<b3> ));
MPL_ASSERT_NOT(( has_yyy0< b1 > )); MPL_ASSERT_NOT(( has_xxx_template<b4> ));
MPL_ASSERT_NOT(( has_yyy1< b1, int > )); MPL_ASSERT_NOT(( has_xxx_template<b5> ));
MPL_ASSERT_NOT(( has_yyy2< b1, int, int > )); MPL_ASSERT_NOT(( has_xxx_template<b6> ));
MPL_ASSERT_NOT(( has_xxx_template<b7> ));
MPL_ASSERT_NOT(( has_xxx0< b2 > ));
MPL_ASSERT_NOT(( has_xxx1< b2, int > ));
MPL_ASSERT_NOT(( has_xxx2< b2, int, int > ));
MPL_ASSERT_NOT(( has_yyy0< b2 > ));
MPL_ASSERT_NOT(( has_yyy1< b2, int > ));
MPL_ASSERT_NOT(( has_yyy2< b2, int, int > ));
MPL_ASSERT_NOT(( has_xxx0< b3 > ));
MPL_ASSERT_NOT(( has_xxx1< b3, int > ));
MPL_ASSERT_NOT(( has_xxx2< b3, int, int > ));
MPL_ASSERT_NOT(( has_yyy0< b3 > ));
MPL_ASSERT_NOT(( has_yyy1< b3, int > ));
MPL_ASSERT_NOT(( has_yyy2< b3, int, int > ));
MPL_ASSERT_NOT(( has_xxx0< b4 > ));
MPL_ASSERT_NOT(( has_xxx1< b4, int > ));
MPL_ASSERT_NOT(( has_xxx2< b4, int, int > ));
MPL_ASSERT_NOT(( has_yyy0< b4 > ));
MPL_ASSERT_NOT(( has_yyy1< b4, int > ));
MPL_ASSERT_NOT(( has_yyy2< b4, int, int > ));
MPL_ASSERT_NOT(( has_xxx0< b5 > ));
MPL_ASSERT_NOT(( has_xxx1< b5, int > ));
MPL_ASSERT_NOT(( has_xxx2< b5, int, int > ));
MPL_ASSERT_NOT(( has_yyy0< b5 > ));
MPL_ASSERT_NOT(( has_yyy1< b5, int > ));
MPL_ASSERT_NOT(( has_yyy2< b5, int, int > ));
MPL_ASSERT_NOT(( has_xxx0< b6 > ));
MPL_ASSERT_NOT(( has_xxx1< b6, int > ));
MPL_ASSERT_NOT(( has_xxx2< b6, int, int > ));
MPL_ASSERT_NOT(( has_yyy0< b6 > ));
MPL_ASSERT_NOT(( has_yyy1< b6, int > ));
MPL_ASSERT_NOT(( has_yyy2< b6, int, int > ));
MPL_ASSERT_NOT(( has_xxx0< b7 > ));
MPL_ASSERT_NOT(( has_xxx1< b7, int > ));
MPL_ASSERT_NOT(( has_xxx2< b7, int, int > ));
MPL_ASSERT_NOT(( has_yyy0< b7 > ));
MPL_ASSERT_NOT(( has_yyy1< b7, int > ));
MPL_ASSERT_NOT(( has_yyy2< b7, int, int > ));
#endif #endif
// Same name, different args. // Same name, different args.
// Note: has_xxx0 is not test here because it's impossible to MPL_ASSERT(( has_xxx_template<c1> ));
// declare a template with no arguments (only no required MPL_ASSERT(( has_xxx_template<c2> ));
// arguments), so there is no zero argument substitute template MPL_ASSERT(( has_xxx_template<c3> ));
// to reject n-ary member templates. MPL_ASSERT(( has_xxx_template<c4> ));
#if (!BOOST_WORKAROUND(BOOST_MPL_CFG_GCC, <= 0x0303) \ MPL_ASSERT(( has_xxx_template<c5> ));
&& !BOOST_WORKAROUND(__COMO_VERSION__, BOOST_TESTED_AT(4308))) MPL_ASSERT(( has_yyy<c6> ));
MPL_ASSERT_NOT(( has_xxx1<c2, int> )); MPL_ASSERT(( has_yyy<c7> ));
MPL_ASSERT_NOT(( has_xxx2<c0, int, int> ));
MPL_ASSERT_NOT(( has_xxx2<c1, int, int> ));
#endif
// Different name, same args.
MPL_ASSERT_NOT(( has_xxx0<c3> ));
MPL_ASSERT_NOT(( has_xxx1<c4, int> ));
MPL_ASSERT_NOT(( has_xxx2<c5, int, int> ));
// Different name, different args. // Different name, different args.
MPL_ASSERT_NOT(( has_xxx0<c4> )); MPL_ASSERT_NOT(( has_xxx_template<c6> ));
MPL_ASSERT_NOT(( has_xxx1<c5, int> )); MPL_ASSERT_NOT(( has_xxx_template<c7> ));
MPL_ASSERT_NOT(( has_xxx2<c3, int, int> )); MPL_ASSERT_NOT(( has_yyy<c1> ));
MPL_ASSERT_NOT(( has_xxx2<c4, int, int> )); MPL_ASSERT_NOT(( has_yyy<c2> ));
MPL_ASSERT_NOT(( has_yyy<c3> ));
MPL_ASSERT_NOT(( has_yyy<c4> ));
MPL_ASSERT_NOT(( has_yyy<c5> ));
MPL_ASSERT(( has_xxx<b1,true_> )); MPL_ASSERT(( has_xxx<b1,true_> ));
MPL_ASSERT(( has_xxx<b2,true_> )); MPL_ASSERT(( has_xxx<b2,true_> ));
@@ -254,14 +136,7 @@ MPL_TEST_CASE()
MPL_ASSERT(( has_xxx<b6,true_> )); MPL_ASSERT(( has_xxx<b6,true_> ));
MPL_ASSERT(( has_xxx<b7,true_> )); MPL_ASSERT(( has_xxx<b7,true_> ));
#if !BOOST_WORKAROUND(__COMO_VERSION__, BOOST_TESTED_AT(4308)) && !BOOST_WORKAROUND(BOOST_MSVC, >= 1500) MPL_ASSERT(( has_xxx_template<c1,true_> ));
MPL_ASSERT(( has_xxx0<c0, true_> ));
MPL_ASSERT(( has_yyy0<c3, true_> ));
#endif
MPL_ASSERT(( has_xxx1<c1, int, true_> ));
MPL_ASSERT(( has_xxx2<c2, int, int, true_> ));
MPL_ASSERT(( has_yyy1<c4, int, true_> ));
MPL_ASSERT(( has_yyy2<c5, int, int, true_> ));
#if !defined(HAS_XXX_ASSERT) #if !defined(HAS_XXX_ASSERT)
# define HAS_XXX_ASSERT(x) MPL_ASSERT(x) # define HAS_XXX_ASSERT(x) MPL_ASSERT(x)
@@ -279,12 +154,5 @@ MPL_TEST_CASE()
# define HAS_XXX_TEMPLATE_ASSERT(x) MPL_ASSERT(x) # define HAS_XXX_TEMPLATE_ASSERT(x) MPL_ASSERT(x)
#endif #endif
#if !BOOST_WORKAROUND(__COMO_VERSION__, BOOST_TESTED_AT(4308)) && !BOOST_WORKAROUND(BOOST_MSVC, >= 1500) HAS_XXX_TEMPLATE_ASSERT(( has_xxx_template<c1> ));
HAS_XXX_TEMPLATE_ASSERT(( has_xxx0<c0> ));
HAS_XXX_TEMPLATE_ASSERT(( has_yyy0<c3> ));
#endif
HAS_XXX_TEMPLATE_ASSERT(( has_xxx1<c1, int> ));
HAS_XXX_TEMPLATE_ASSERT(( has_xxx2<c2, int, int> ));
HAS_XXX_TEMPLATE_ASSERT(( has_yyy1<c4, int> ));
HAS_XXX_TEMPLATE_ASSERT(( has_yyy2<c5, int, int> ));
} }