#if !defined(BOOST_PP_IS_ITERATING) | |
///// header body | |
#ifndef BOOST_MPL_INHERIT_HPP_INCLUDED | |
#define BOOST_MPL_INHERIT_HPP_INCLUDED | |
// Copyright Aleksey Gurtovoy 2001-2004 | |
// | |
// 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) | |
// | |
// See http://www.boost.org/libs/mpl for documentation. | |
// $Id: inherit.hpp 49267 2008-10-11 06:19:02Z agurtovoy $ | |
// $Date: 2008-10-11 02:19:02 -0400 (Sat, 11 Oct 2008) $ | |
// $Revision: 49267 $ | |
#if !defined(BOOST_MPL_PREPROCESSING_MODE) | |
# include <boost/mpl/empty_base.hpp> | |
# include <boost/mpl/aux_/na_spec.hpp> | |
# include <boost/mpl/aux_/lambda_support.hpp> | |
#endif | |
#include <boost/mpl/aux_/config/use_preprocessed.hpp> | |
#if !defined(BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS) \ | |
&& !defined(BOOST_MPL_PREPROCESSING_MODE) | |
# define BOOST_MPL_PREPROCESSED_HEADER inherit.hpp | |
# include <boost/mpl/aux_/include_preprocessed.hpp> | |
#else | |
# include <boost/mpl/limits/arity.hpp> | |
# include <boost/mpl/aux_/preprocessor/params.hpp> | |
# include <boost/mpl/aux_/preprocessor/default_params.hpp> | |
# include <boost/mpl/aux_/preprocessor/enum.hpp> | |
# include <boost/mpl/aux_/config/ctps.hpp> | |
# include <boost/mpl/aux_/config/dtp.hpp> | |
# include <boost/preprocessor/iterate.hpp> | |
# include <boost/preprocessor/dec.hpp> | |
# include <boost/preprocessor/cat.hpp> | |
namespace boost { namespace mpl { | |
// 'inherit<T1,T2,..,Tn>' metafunction; returns an unspecified class type | |
// produced by public derivation from all metafunction's parameters | |
// (T1,T2,..,Tn), except the parameters of 'empty_base' class type; | |
// regardless the position and number of 'empty_base' parameters in the | |
// metafunction's argument list, derivation from them is always a no-op; | |
// for instance: | |
// inherit<her>::type == her | |
// inherit<her,my>::type == struct unspecified : her, my {}; | |
// inherit<empty_base,her>::type == her | |
// inherit<empty_base,her,empty_base,empty_base>::type == her | |
// inherit<her,empty_base,my>::type == struct unspecified : her, my {}; | |
// inherit<empty_base,empty_base>::type == empty_base | |
#if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) | |
template< | |
typename BOOST_MPL_AUX_NA_PARAM(T1) | |
, typename BOOST_MPL_AUX_NA_PARAM(T2) | |
> | |
struct inherit2 | |
: T1, T2 | |
{ | |
typedef inherit2 type; | |
BOOST_MPL_AUX_LAMBDA_SUPPORT(2, inherit2, (T1,T2)) | |
}; | |
template< typename T1 > | |
struct inherit2<T1,empty_base> | |
{ | |
typedef T1 type; | |
BOOST_MPL_AUX_LAMBDA_SUPPORT_SPEC(2, inherit2, (T1,empty_base)) | |
}; | |
template< typename T2 > | |
struct inherit2<empty_base,T2> | |
{ | |
typedef T2 type; | |
BOOST_MPL_AUX_LAMBDA_SUPPORT_SPEC(2, inherit2, (empty_base,T2)) | |
}; | |
// needed to disambiguate the previous two in case when both | |
// T1 and T2 == empty_base | |
template<> | |
struct inherit2<empty_base,empty_base> | |
{ | |
typedef empty_base type; | |
BOOST_MPL_AUX_LAMBDA_SUPPORT_SPEC(2, inherit2, (empty_base,empty_base)) | |
}; | |
#else | |
namespace aux { | |
template< bool C1, bool C2 > | |
struct inherit2_impl | |
{ | |
template< typename Derived, typename T1, typename T2 > struct result_ | |
: T1, T2 | |
{ | |
typedef Derived type_; | |
}; | |
}; | |
template<> | |
struct inherit2_impl<false,true> | |
{ | |
template< typename Derived, typename T1, typename T2 > struct result_ | |
: T1 | |
{ | |
typedef T1 type_; | |
}; | |
}; | |
template<> | |
struct inherit2_impl<true,false> | |
{ | |
template< typename Derived, typename T1, typename T2 > struct result_ | |
: T2 | |
{ | |
typedef T2 type_; | |
}; | |
}; | |
template<> | |
struct inherit2_impl<true,true> | |
{ | |
template< typename Derived, typename T1, typename T2 > struct result_ | |
{ | |
typedef T1 type_; | |
}; | |
}; | |
} // namespace aux | |
template< | |
typename BOOST_MPL_AUX_NA_PARAM(T1) | |
, typename BOOST_MPL_AUX_NA_PARAM(T2) | |
> | |
struct inherit2 | |
: aux::inherit2_impl< | |
is_empty_base<T1>::value | |
, is_empty_base<T2>::value | |
>::template result_< inherit2<T1,T2>,T1,T2 > | |
{ | |
typedef typename inherit2::type_ type; | |
BOOST_MPL_AUX_LAMBDA_SUPPORT(2, inherit2, (T1,T2)) | |
}; | |
#endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION | |
BOOST_MPL_AUX_NA_SPEC(2, inherit2) | |
#define BOOST_PP_ITERATION_PARAMS_1 \ | |
(3,(3, BOOST_MPL_LIMIT_METAFUNCTION_ARITY, <boost/mpl/inherit.hpp>)) | |
#include BOOST_PP_ITERATE() | |
}} | |
#endif // BOOST_MPL_CFG_NO_PREPROCESSED_HEADERS | |
#endif // BOOST_MPL_INHERIT_HPP_INCLUDED | |
///// iteration | |
#else | |
#define n_ BOOST_PP_FRAME_ITERATION(1) | |
template< | |
BOOST_MPL_PP_DEFAULT_PARAMS(n_, typename T, na) | |
> | |
struct BOOST_PP_CAT(inherit,n_) | |
: inherit2< | |
typename BOOST_PP_CAT(inherit,BOOST_PP_DEC(n_))< | |
BOOST_MPL_PP_PARAMS(BOOST_PP_DEC(n_), T) | |
>::type | |
, BOOST_PP_CAT(T,n_) | |
> | |
{ | |
BOOST_MPL_AUX_LAMBDA_SUPPORT( | |
n_ | |
, BOOST_PP_CAT(inherit,n_) | |
, (BOOST_MPL_PP_PARAMS(n_, T)) | |
) | |
}; | |
BOOST_MPL_AUX_NA_SPEC(n_, BOOST_PP_CAT(inherit,n_)) | |
#if n_ == BOOST_MPL_LIMIT_METAFUNCTION_ARITY | |
/// primary template | |
template< | |
BOOST_MPL_PP_DEFAULT_PARAMS(n_, typename T, empty_base) | |
> | |
struct inherit | |
: BOOST_PP_CAT(inherit,n_)<BOOST_MPL_PP_PARAMS(n_, T)> | |
{ | |
}; | |
// 'na' specialization | |
template<> | |
struct inherit< BOOST_MPL_PP_ENUM(5, na) > | |
{ | |
template< | |
#if !defined(BOOST_MPL_CFG_NO_DEFAULT_PARAMETERS_IN_NESTED_TEMPLATES) | |
BOOST_MPL_PP_DEFAULT_PARAMS(n_, typename T, empty_base) | |
#else | |
BOOST_MPL_PP_PARAMS(n_, typename T) | |
#endif | |
> | |
struct apply | |
: inherit< BOOST_MPL_PP_PARAMS(n_, T) > | |
{ | |
}; | |
}; | |
BOOST_MPL_AUX_NA_SPEC_LAMBDA(n_, inherit) | |
BOOST_MPL_AUX_NA_SPEC_ARITY(n_, inherit) | |
BOOST_MPL_AUX_NA_SPEC_TEMPLATE_ARITY(n_, n_, inherit) | |
#endif | |
#undef n_ | |
#endif // BOOST_PP_IS_ITERATING |