#include <boost/config.hpp>
#include <boost/tti/gen/has_template_gen.hpp>
#include <boost/preprocessor/config/config.hpp>
#include <boost/preprocessor/control/iif.hpp>
#include <boost/preprocessor/detail/is_binary.hpp>
#include <boost/tti/detail/dtemplate.hpp>
#include <boost/tti/detail/dtemplate_params.hpp>

Include dependency graph for has_template.hpp:

This graph shows which files directly or indirectly include this file:

Macros
#define	BOOST_TTI_TRAIT_HAS_TEMPLATE(trait, name, params)
	Expands to a metafunction which tests whether an inner class template with a particular name exists. More...

#define	BOOST_TTI_HAS_TEMPLATE(name, params)
	Expands to a metafunction which tests whether an inner class template with a particular name exists. More...

Macro Definition Documentation

#define BOOST_TTI_HAS_TEMPLATE	(	name,
		params
	)

Value:

BOOST_TTI_TRAIT_HAS_TEMPLATE \
  ( \
  BOOST_TTI_HAS_TEMPLATE_GEN(name), \
  name, \
  params \
  ) \

Expands to a metafunction which tests whether an inner class template with a particular name exists.

name = the inner class template name. params = If the parameter is BOOST_PP_NIL the inner class template being introspected must be all template type parameters ( template parameters starting with class or typename ) and any number of template type parameters can occur.

If the parameter is a Boost preprocessor library array, then the inner class template must have its template parameters matching the sequence in the tuple portion of the Boost PP array.

Otherwise a compiler error occurs.

generates a metafunction called "has_template_'name'" where 'name' is the first macro parameter.

      template<class BOOST_TTI_TP_T>
      struct trait
        {
        static const value = unspecified;
        typedef mpl::bool_<true-or-false> type;
        };

      The metafunction types and return:

        BOOST_TTI_TP_T = the enclosing type in which to look for our 'name'.

        returns = 'value' is true if the 'name' template exists within the enclosing type,
                  otherwise 'value' is false.

Examples:

1) Search for an inner class template called 'MyTemplate', with all template type parameters, nested within the class 'MyClass'.

BOOST_TTI_HAS_TEMPLATE(MyTemplate,BOOST_PP_NIL)

has_template_MyTemplate<MyClass>::value

is a compile time boolean constant which is either 'true' or 'false' if the nested template exists.

2) Search for an inner class template called 'MyTemplate' with template parameters of 'class T,int x,template<class> class U' nested within the class 'MyClass'.

BOOST_TTI_HAS_TEMPLATE(MyTemplate,(3,(class,int,template<class> class)))

has_template_MyTemplate<MyClass>::value

is a compile time boolean constant which is either 'true' or 'false' if the nested template exists.

#define BOOST_TTI_TRAIT_HAS_TEMPLATE	(	trait,
		name,
		params
	)

Value:

BOOST_PP_IIF \
    ( \
    BOOST_PP_IS_BINARY(params), \
    BOOST_TTI_DETAIL_TRAIT_HAS_TEMPLATE_CHECK_PARAMS, \
    BOOST_TTI_DETAIL_TRAIT_CHECK_IS_NIL \
    ) \
    (trait,name,params) \

Expands to a metafunction which tests whether an inner class template with a particular name exists.

trait = the name of the metafunction. name = the inner class template name. params = If the parameter is BOOST_PP_NIL the inner class template being introspected must be all template type parameters ( template parameters starting with class or typename ) and any number of template type parameters can occur.

If the parameter is a Boost preprocessor library array, then the inner class template must have its template parameters matching the sequence in the tuple portion of the Boost PP array.

Otherwise a compiler error occurs.

generates a metafunction called "trait" where 'trait' is the first macro parameter.

      template<class BOOST_TTI_TP_T>
      struct trait
        {
        static const value = unspecified;
        typedef mpl::bool_<true-or-false> type;
        };

      The metafunction types and return:

        BOOST_TTI_TP_T = the enclosing type in which to look for our 'name'.

        returns = 'value' is true if the 'name' template exists within the enclosing type,
                  otherwise 'value' is false.

Examples:

1) Search for an inner class template called 'MyTemplate', with all template type parameters, nested within the class 'MyClass' using a metafunction name of 'MyMeta'.

BOOST_TTI_TRAIT_HAS_TEMPLATE(MyMeta,MyTemplate,BOOST_PP_NIL)

MyMeta<MyClass>::value

is a compile time boolean constant which is either 'true' or 'false' if the nested template exists.

2) Search for an inner class template called 'MyTemplate', with template parameters of 'class T,int x,template<class> class U', nested within the class 'MyClass' using a metafunction name of 'MyMeta'.

BOOST_TTI_TRAIT_HAS_TEMPLATE(MyMeta,MyTemplate,(3,(class,int,template<class> class)))

MyMeta<MyClass>::value

is a compile time boolean constant which is either 'true' or 'false' if the nested template exists.

Macros

Macro Definition Documentation