Home | Libraries | People | FAQ | More |
BOOST_TTI_TRAIT_HAS_STATIC_MEMBER_FUNCTION_TEMPLATE — A macro which expands to a metafunction which tests whether an inner static member function template with a particular name exists.
// In header: <boost/tti/has_static_member_function_template.hpp>
BOOST_TTI_TRAIT_HAS_STATIC_MEMBER_FUNCTION_TEMPLATE(trait, name, ...)
BOOST_TTI_TRAIT_HAS_STATIC_MEMBER_FUNCTION_TEMPLATE is a macro which expands to a metafunction. The metafunction tests whether an inner static member function template with a particular name exists. The macro takes the form of BOOST_TTI_TRAIT_HAS_STATIC_MEMBER_FUNCTION_TEMPLATE(trait,name,...) where
trait = the name of the metafunction
name = inner static member function template name
... = variadic parameters.
The variadic parameter(s) are either:
A sequence of valid instantiations for the static member function template parameters ie. 'int,long,double' etc.
or
A single variadic parameter which is a Boost PP array whose elements are a sequence of valid instantiations for the static member function template parameters ie. '(3,(int,long,double))' etc. This form is allowed in order to be compatible with using the non-variadic form of this macro.
BOOST_TTI_TRAIT_HAS_STATIC_MEMBER_FUNCTION_TEMPLATE generates a metafunction called "trait" where 'trait' is the first macro parameter.
template<class BOOST_TTI_TP_T,class BOOST_TTI_R,class BOOST_TTI_FS,class BOOST_TTI_TAG> 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'. The enclosing type can be a class, struct, or union. BOOST_TTI_TP_R = the return type of the static member function template in a single instantiation of the static member function template OR a pointer to function as a single type which encapsulates a single instantiation of the static member function template. BOOST_TTI_TP_FS = (optional) the parameters of the static member function template as a boost::mpl forward sequence if the second parameter is the enclosing type and the static member function template parameters are not empty. These parameters are a single instantiation of the static member function template. BOOST_TTI_TP_TAG = (optional) a boost::function_types tag to apply to the static member function template if the second parameter is the enclosing type and a tag is needed. returns = 'value' is true if the 'name' exists, with the appropriate static member function template type, otherwise 'value' is false.