131 lines
4.9 KiB
Plaintext
131 lines
4.9 KiB
Plaintext
[/
|
|
(C) Copyright Edward Diener 2011,2012
|
|
Distributed under the Boost Software License, Version 1.0.
|
|
(See accompanying file LICENSE_1_0.txt or copy at
|
|
http://www.boost.org/LICENSE_1_0.txt).
|
|
]
|
|
|
|
[section:tti_detail_has_static_member_function Introspecting static member function]
|
|
|
|
The TTI macro [macroref BOOST_TTI_HAS_STATIC_MEMBER_FUNCTION] introspects
|
|
a static member function of a class.
|
|
|
|
BOOST_TTI_HAS_STATIC_MEMBER_FUNCTION takes a single
|
|
parameter which is the name of an inner static member function whose existence
|
|
the programmer wants to check. The macro generates a metafunction
|
|
called "has_static_member_function_'name_of_inner_static_member_function'".
|
|
|
|
The metafunction can be invoked in two different ways.
|
|
|
|
The first way is by passing it the enclosing type to introspect and a
|
|
signature for the static member function as separate template
|
|
arguments. The signature for the static member function consists of a return
|
|
type, optional parameter types in the form of a boost::mpl forward
|
|
sequence of types, and an optional Boost FunctionTypes tag type. A
|
|
typical boost::mpl forward sequence of types is a boost::mpl::vector<>.
|
|
|
|
The second way is by passing it the enclosing type to introspect and a
|
|
signature for the static member function as a function. The function
|
|
has the form of:
|
|
|
|
Return_Type ( Parameter_Types )
|
|
|
|
where the Parameter_Types may be empty, or a comma-separated
|
|
list of parameter types if there are more than one parameter type.
|
|
|
|
The metafunction returns a single type called 'type', which is a
|
|
boost::mpl::bool_. As a convenience the metafunction
|
|
returns the value of this type directly as a compile time bool constant
|
|
called 'value'. This is true or false depending on whether the inner
|
|
static member function, of the specified signature, exists or not.
|
|
|
|
[heading Generating the metafunction]
|
|
|
|
You generate the metafunction by invoking the macro with the name
|
|
of an inner static member function:
|
|
|
|
BOOST_TTI_HAS_STATIC_MEMBER_FUNCTION(AStaticMemberFunction)
|
|
|
|
generates a metafunction called 'has_static_member_function_AStaticMemberFunction' in the current scope.
|
|
|
|
[heading Invoking the metafunction]
|
|
|
|
You invoke the metafunction by instantiating the template with an enclosing
|
|
type to introspect and the signature of the static member function as a series of template
|
|
parameters. Alternatively you can invoke the metafunction by passing it an enclosing type
|
|
and the signature of the static member function as a single function type.
|
|
|
|
A return value called 'value' is a compile time bool constant.
|
|
|
|
has_static_member_function_AStaticMemberFunction
|
|
<
|
|
Enclosing_Type,
|
|
StaticMemberFunction_ReturnType,
|
|
boost::mpl::vector<StaticMemberFunction_ParameterTypes>, // optional, can be any mpl forward sequence
|
|
boost::function_types::SomeTagType // optional, can be any FunctionTypes tag type
|
|
>::value
|
|
|
|
OR
|
|
|
|
has_static_member_function_AStaticMemberFunction
|
|
<
|
|
Enclosing_Type,
|
|
Return_Type ( Parameter_Types )
|
|
>::value
|
|
|
|
[heading Examples]
|
|
|
|
First we generate metafunctions for various inner static member function names:
|
|
|
|
#include <boost/tti/has_static_member_function.hpp>
|
|
|
|
BOOST_TTI_HAS_STATIC_MEMBER_FUNCTION(function1)
|
|
BOOST_TTI_HAS_STATIC_MEMBER_FUNCTION(function2)
|
|
BOOST_TTI_HAS_STATIC_MEMBER_FUNCTION(function3)
|
|
|
|
Next let us create some user-defined types we want to introspect.
|
|
|
|
struct AClass { };
|
|
struct Top
|
|
{
|
|
static int function1();
|
|
static AClass function2(double,short *);
|
|
};
|
|
struct Top2
|
|
{
|
|
static long function2(Top &,int,bool,short,float);
|
|
static Top * function3(long,int,AClass &);
|
|
};
|
|
|
|
Finally we invoke our metafunction and return our value.
|
|
This all happens at compile time, and can be used by
|
|
programmers doing compile time template metaprogramming.
|
|
|
|
We will show both forms in the following examples.
|
|
Both forms are completely interchangeable as to the result
|
|
desired.
|
|
|
|
has_static_member_function_function1<Top,int>::value; // true
|
|
has_static_member_function_function1<Top,int ()>::value; // true
|
|
has_static_member_function_function1<Top2,int>::value; // false
|
|
|
|
has_static_member_function_function2<Top,AClass,boost::mpl::vector<double,short *> >::value; // true
|
|
has_static_member_function_function2<Top2,AClass,boost::mpl::vector<double,short *> >::value; // false
|
|
has_static_member_function_function2<Top2,long (Top &,int,bool,short,float)>::value; // true
|
|
|
|
has_static_member_function_function3<Top2,int ()>::value; // false
|
|
has_static_member_function_function3<Top2,Top * (long,int,AClass &)>::value; // true;
|
|
|
|
[heading Metafunction re-use]
|
|
|
|
The macro encodes only the name of the static member function
|
|
for which we are searching and the fact that we are
|
|
introspecting for a static member function within an enclosing type.
|
|
|
|
Because of this, once we create our metafunction for
|
|
introspecting a static member function by name, we can reuse the
|
|
metafunction for introspecting any enclosing type, having any
|
|
static member function, for that name.
|
|
|
|
[endsect]
|