extends.hpp File Reference

Macros and a base class for defining end-user expression types. More...

#include <cstddef>
#include <boost/config.hpp>
#include <boost/detail/workaround.hpp>
#include <boost/preprocessor/facilities/empty.hpp>
#include <boost/preprocessor/tuple/elem.hpp>
#include <boost/preprocessor/control/if.hpp>
#include <boost/preprocessor/arithmetic/inc.hpp>
#include <boost/preprocessor/arithmetic/dec.hpp>
#include <boost/preprocessor/iteration/local.hpp>
#include <boost/preprocessor/repetition/enum_params.hpp>
#include <boost/preprocessor/repetition/repeat_from_to.hpp>
#include <boost/preprocessor/repetition/enum_binary_params.hpp>
#include <boost/preprocessor/repetition/enum_trailing_params.hpp>
#include <boost/preprocessor/repetition/enum_trailing_binary_params.hpp>
#include <boost/preprocessor/seq/for_each.hpp>
#include <boost/utility/addressof.hpp>
#include <boost/utility/result_of.hpp>
#include <boost/proto/proto_fwd.hpp>
#include <boost/proto/traits.hpp>
#include <boost/proto/expr.hpp>
#include <boost/proto/args.hpp>
#include <boost/proto/generate.hpp>
#include <boost/proto/detail/remove_typename.hpp>
#include <boost/proto/detail/extends_funop_const.hpp>
#include <boost/proto/detail/extends_funop.hpp>

Include dependency graph for extends.hpp:

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

Classes
struct	boost::proto::exprns_::is_proto_expr
	Empty type to be used as a dummy template parameter of POD expression wrappers. More...
struct	boost::proto::exprns_::extends< Expr, Derived, Domain, Arity >
	extends<> class template for adding behaviors to a Proto expression template More...
struct	boost::proto::exprns_::extends< Expr, Derived, Domain, 0 >
	extends<> class template for adding behaviors to a Proto expression template More...
struct	boost::proto::exprns_::virtual_member< This, Fun, Domain >
	INTERNAL ONLY. More...

Namespaces
	boost
	Duration formatting facet for input.
	boost::proto
	boost::proto::exprns_

Macros
#define	BOOST_PROTO_OFFSETOF   offsetof
	INTERNAL ONLY. More...
#define	BOOST_PROTO_CONST()   const
	INTERNAL ONLY. More...
#define	BOOST_PROTO_TYPENAME()   typename
	INTERNAL ONLY. More...
#define	BOOST_PROTO_TEMPLATE_YES_(Z, N)   template<BOOST_PP_ENUM_PARAMS_Z(Z, N, typename A)>
	INTERNAL ONLY. More...
#define	BOOST_PROTO_TEMPLATE_NO_(Z, N)
	INTERNAL ONLY. More...
#define	BOOST_PROTO_DEFINE_FUN_OP_IMPL_(Z, N, DATA, Const)
	INTERNAL ONLY. More...
#define	BOOST_PROTO_DEFINE_FUN_OP_VARIADIC_IMPL_(Const)
	INTERNAL ONLY. More...
#define	BOOST_PROTO_DEFINE_FUN_OP_CONST(Z, N, DATA)   BOOST_PROTO_DEFINE_FUN_OP_IMPL_(Z, N, DATA, BOOST_PROTO_CONST) \
	INTERNAL ONLY. More...
#define	BOOST_PROTO_DEFINE_FUN_OP_NON_CONST(Z, N, DATA)   BOOST_PROTO_DEFINE_FUN_OP_IMPL_(Z, N, DATA, BOOST_PP_EMPTY) \
	INTERNAL ONLY. More...
#define	BOOST_PROTO_DEFINE_FUN_OP(Z, N, DATA)
	INTERNAL ONLY. More...
#define	BOOST_PROTO_EXTENDS_CHILD(Z, N, DATA)
	INTERNAL ONLY. More...
#define	BOOST_PROTO_BASIC_EXTENDS_(Expr, Derived, Domain)
#define	BOOST_PROTO_BASIC_EXTENDS(Expr, Derived, Domain)
	INTERNAL ONLY. More...
#define	BOOST_PROTO_EXTENDS_COPY_ASSIGN_IMPL_(This, Const, Typename)
#define	BOOST_PROTO_EXTENDS_COPY_ASSIGN_(This, Typename)   BOOST_PROTO_EXTENDS_COPY_ASSIGN_IMPL_(This, BOOST_PROTO_CONST, Typename) \
#define	BOOST_PROTO_EXTENDS_ASSIGN_IMPL_(ThisConst, ThatConst)
	INTERNAL ONLY. More...
#define	BOOST_PROTO_EXTENDS_ASSIGN_CONST_()
#define	BOOST_PROTO_EXTENDS_ASSIGN_NON_CONST_()
#define	BOOST_PROTO_EXTENDS_ASSIGN_()
#define	BOOST_PROTO_EXTENDS_ASSIGN_CONST()
#define	BOOST_PROTO_EXTENDS_ASSIGN_NON_CONST()
#define	BOOST_PROTO_EXTENDS_ASSIGN()
#define	BOOST_PROTO_EXTENDS_SUBSCRIPT_IMPL_(ThisConst, ThatConst)
	INTERNAL ONLY. More...
#define	BOOST_PROTO_EXTENDS_SUBSCRIPT_CONST()
#define	BOOST_PROTO_EXTENDS_SUBSCRIPT_NON_CONST()
#define	BOOST_PROTO_EXTENDS_SUBSCRIPT()
#define	BOOST_PROTO_EXTENDS_FUNCTION_()
	INTERNAL ONLY. More...
#define	BOOST_PROTO_EXTENDS_FUNCTION_CONST()
#define	BOOST_PROTO_EXTENDS_FUNCTION_NON_CONST()
#define	BOOST_PROTO_EXTENDS_FUNCTION()
#define	BOOST_PROTO_EXTENDS(Expr, Derived, Domain)
#define	BOOST_PROTO_EXTENDS_USING_ASSIGN(Derived)
#define	BOOST_PROTO_EXTENDS_USING_ASSIGN_NON_DEPENDENT(Derived)
#define	BOOST_PROTO_NO_WAVE_OUTPUT
#define	BOOST_PROTO_EXTENDS_MEMBER_(R, DOMAIN, ELEM)
	INTERNAL ONLY. More...
#define	BOOST_PROTO_EXTENDS_MEMBERS_WITH_DOMAIN(SEQ, DOMAIN)
	For declaring virtual data members in an extension class. More...
#define	BOOST_PROTO_EXTENDS_MEMBERS(SEQ)   BOOST_PROTO_EXTENDS_MEMBERS_WITH_DOMAIN(SEQ, proto_domain) \
	For declaring virtual data members in an extension class. More...

Detailed Description

Macros and a base class for defining end-user expression types.

Macro Definition Documentation

#define BOOST_PROTO_BASIC_EXTENDS	(		Expr,
			Derived,
			Domain
	)

Value:

BOOST_PROTO_BASIC_EXTENDS_(Expr, Derived, Domain)                                           \
        typedef void proto_is_aggregate_;                                                           \

INTERNAL ONLY.

#define BOOST_PROTO_BASIC_EXTENDS_	(		Expr,
			Derived,
			Domain
	)

#define BOOST_PROTO_CONST

(

)

const

INTERNAL ONLY.

#define BOOST_PROTO_DEFINE_FUN_OP	(		Z,
			N,
			DATA
	)

Value:

BOOST_PROTO_DEFINE_FUN_OP_CONST(Z, N, DATA)                                                 \
        BOOST_PROTO_DEFINE_FUN_OP_NON_CONST(Z, N, DATA)                                             \

INTERNAL ONLY.

#define BOOST_PROTO_DEFINE_FUN_OP_CONST	(		Z,
			N,
			DATA
	)		BOOST_PROTO_DEFINE_FUN_OP_IMPL_(Z, N, DATA, BOOST_PROTO_CONST) \

INTERNAL ONLY.

#define BOOST_PROTO_DEFINE_FUN_OP_IMPL_	(		Z,
			N,
			DATA,
			Const
	)

Value:

BOOST_PP_IF(N, BOOST_PROTO_TEMPLATE_YES_, BOOST_PROTO_TEMPLATE_NO_)(Z, N)                   \
        BOOST_PROTO_DISABLE_MSVC_C4714 BOOST_FORCEINLINE                                            \
        typename BOOST_PROTO_RESULT_OF<                                                             \
            proto_generator(                                                                        \
                typename boost::proto::result_of::BOOST_PP_CAT(funop, N)<                           \
                    proto_derived_expr Const()                                                      \
                  , proto_domain                                                                    \
                    BOOST_PP_ENUM_TRAILING_PARAMS_Z(Z, N, const A)                                  \
                >::type                                                                             \
            )                                                                                       \
        >::type const                                                                               \
        operator ()(BOOST_PP_ENUM_BINARY_PARAMS_Z(Z, N, A, const &a)) Const()                       \
        {                                                                                           \
            typedef boost::proto::result_of::BOOST_PP_CAT(funop, N)<                                \
                proto_derived_expr Const()                                                          \
              , proto_domain                                                                        \
                BOOST_PP_ENUM_TRAILING_PARAMS_Z(Z, N, const A)                                      \
            > funop;                                                                                \
            return proto_generator()(                                                               \
                funop::call(                                                                        \
                    *static_cast<proto_derived_expr Const() *>(this)                                \
                    BOOST_PP_ENUM_TRAILING_PARAMS_Z(Z, N, a)                                        \
                )                                                                                   \
            );                                                                                      \
        }                                                                                           \

INTERNAL ONLY.

#define BOOST_PROTO_DEFINE_FUN_OP_NON_CONST	(		Z,
			N,
			DATA
	)		BOOST_PROTO_DEFINE_FUN_OP_IMPL_(Z, N, DATA, BOOST_PP_EMPTY) \

INTERNAL ONLY.

#define BOOST_PROTO_DEFINE_FUN_OP_VARIADIC_IMPL_

(

Const

)

Value:

template<typename... A>                                                                     \
        BOOST_PROTO_DISABLE_MSVC_C4714 BOOST_FORCEINLINE                                            \
        typename BOOST_PROTO_RESULT_OF<                                                             \
            proto_generator(                                                                        \
                typename boost::proto::result_of::funop<                                            \
                    proto_derived_expr Const()(A const &...)                                        \
                  , proto_derived_expr                                                              \
                  , proto_domain                                                                    \
                >::type                                                                             \
            )                                                                                       \
        >::type const                                                                               \
        operator ()(A const &...a) Const()                                                          \
        {                                                                                           \
            typedef boost::proto::result_of::funop<                                                 \
                proto_derived_expr Const()(A const &...)                                            \
              , proto_derived_expr                                                                  \
              , proto_domain                                                                        \
            > funop;                                                                                \
            return proto_generator()(                                                               \
                funop::call(                                                                        \
                    *static_cast<proto_derived_expr Const() *>(this)                                \
                  , a...                                                                            \
                )                                                                                   \
            );                                                                                      \
        }                                                                                           \

INTERNAL ONLY.

#define BOOST_PROTO_EXTENDS	(		Expr,
			Derived,
			Domain
	)

Value:

BOOST_PROTO_BASIC_EXTENDS(Expr, Derived, Domain)                                            \
        BOOST_PROTO_EXTENDS_ASSIGN()                                                                \
        BOOST_PROTO_EXTENDS_SUBSCRIPT()                                                             \
        BOOST_PROTO_EXTENDS_FUNCTION()                                                              \

#define BOOST_PROTO_EXTENDS_ASSIGN

(

)

Value:

BOOST_PROTO_EXTENDS_COPY_ASSIGN_(proto_derived_expr, BOOST_PROTO_TYPENAME)                  \
        BOOST_PROTO_EXTENDS_ASSIGN_()                                                               \

#define BOOST_PROTO_EXTENDS_ASSIGN_

(

)

Value:

BOOST_PROTO_EXTENDS_ASSIGN_CONST_()                                                         \
        BOOST_PROTO_EXTENDS_ASSIGN_NON_CONST_()                                                     \

#define BOOST_PROTO_EXTENDS_ASSIGN_CONST

(

)

Value:

BOOST_PROTO_EXTENDS_COPY_ASSIGN_(proto_derived_expr, BOOST_PROTO_TYPENAME)                  \
        BOOST_PROTO_EXTENDS_ASSIGN_CONST_()                                                         \

#define BOOST_PROTO_EXTENDS_ASSIGN_CONST_

(

)

Value:

BOOST_PROTO_EXTENDS_ASSIGN_IMPL_(BOOST_PROTO_CONST, BOOST_PP_EMPTY)                         \
        BOOST_PROTO_EXTENDS_ASSIGN_IMPL_(BOOST_PROTO_CONST, BOOST_PROTO_CONST)                      \

#define BOOST_PROTO_EXTENDS_ASSIGN_IMPL_	(		ThisConst,
			ThatConst
	)

INTERNAL ONLY.

#define BOOST_PROTO_EXTENDS_ASSIGN_NON_CONST

(

)

Value:

BOOST_PROTO_EXTENDS_COPY_ASSIGN_(proto_derived_expr, BOOST_PROTO_TYPENAME)                  \
        BOOST_PROTO_EXTENDS_ASSIGN_NON_CONST_()                                                     \

#define BOOST_PROTO_EXTENDS_ASSIGN_NON_CONST_

(

)

Value:

BOOST_PROTO_EXTENDS_ASSIGN_IMPL_(BOOST_PP_EMPTY, BOOST_PP_EMPTY)                            \
        BOOST_PROTO_EXTENDS_ASSIGN_IMPL_(BOOST_PP_EMPTY, BOOST_PROTO_CONST)                         \

#define BOOST_PROTO_EXTENDS_CHILD	(		Z,
			N,
			DATA
	)

Value:

typedef                                                                                     \
            typename proto_base_expr::BOOST_PP_CAT(proto_child, N)                                  \
        BOOST_PP_CAT(proto_child, N);                                                               \

INTERNAL ONLY.

#define BOOST_PROTO_EXTENDS_COPY_ASSIGN_	(		This,
			Typename
	)		BOOST_PROTO_EXTENDS_COPY_ASSIGN_IMPL_(This, BOOST_PROTO_CONST, Typename) \

#define BOOST_PROTO_EXTENDS_COPY_ASSIGN_IMPL_	(		This,
			Const,
			Typename
	)

#define BOOST_PROTO_EXTENDS_FUNCTION

(

)

Value:

BOOST_PROTO_EXTENDS_FUNCTION_()                                                         \
            BOOST_PROTO_DEFINE_FUN_OP_VARIADIC_IMPL_(BOOST_PP_EMPTY)                                \
            BOOST_PROTO_DEFINE_FUN_OP_VARIADIC_IMPL_(BOOST_PROTO_CONST)                             \

#define BOOST_PROTO_EXTENDS_FUNCTION_

(

)

Value:

template<typename Sig>                                                                      \
        struct result                                                                               \
        {                                                                                           \
            typedef                                                                                 \
                typename BOOST_PROTO_RESULT_OF<                                                     \
                    proto_generator(                                                                \
                        typename boost::proto::result_of::funop<                                    \
                            Sig                                                                     \
                          , proto_derived_expr                                                      \
                          , proto_domain                                                            \
                        >::type                                                                     \
                    )                                                                               \
                >::type const                                                                       \
            type;                                                                                   \
        };                                                                                          \

INTERNAL ONLY.

#define BOOST_PROTO_EXTENDS_FUNCTION_CONST

(

)

Value:

BOOST_PROTO_EXTENDS_FUNCTION_()                                                         \
            BOOST_PROTO_DEFINE_FUN_OP_VARIADIC_IMPL_(BOOST_PROTO_CONST)                             \

#define BOOST_PROTO_EXTENDS_FUNCTION_NON_CONST

(

)

Value:

BOOST_PROTO_EXTENDS_FUNCTION_()                                                         \
            BOOST_PROTO_DEFINE_FUN_OP_VARIADIC_IMPL_(BOOST_PP_EMPTY)                                \

#define BOOST_PROTO_EXTENDS_MEMBER_	(		R,
			DOMAIN,
			ELEM
	)

Value:

boost::proto::exprns_::virtual_member<                                                      \
                proto_derived_expr                                                                      \
              , BOOST_PP_TUPLE_ELEM(2, 0, ELEM)                                                         \
              , DOMAIN                                                                                  \
            > BOOST_PP_TUPLE_ELEM(2, 1, ELEM);                                                          \

INTERNAL ONLY.

#define BOOST_PROTO_EXTENDS_MEMBERS

(

SEQ

)

BOOST_PROTO_EXTENDS_MEMBERS_WITH_DOMAIN(SEQ, proto_domain) \

For declaring virtual data members in an extension class.

#define BOOST_PROTO_EXTENDS_MEMBERS_WITH_DOMAIN	(		SEQ,
			DOMAIN
	)

Value:

union                                                                                       \
            {                                                                                           \
                char proto_member_union_start_;                                                         \
                BOOST_PP_SEQ_FOR_EACH(BOOST_PROTO_EXTENDS_MEMBER_, DOMAIN, SEQ)                         \
            };                                                                                          \

For declaring virtual data members in an extension class.

#define BOOST_PROTO_EXTENDS_SUBSCRIPT

(

)

Value:

BOOST_PROTO_EXTENDS_SUBSCRIPT_CONST()                                                       \
        BOOST_PROTO_EXTENDS_SUBSCRIPT_NON_CONST()                                                   \

#define BOOST_PROTO_EXTENDS_SUBSCRIPT_CONST

(

)

Value:

BOOST_PROTO_EXTENDS_SUBSCRIPT_IMPL_(BOOST_PROTO_CONST, BOOST_PP_EMPTY)                      \
        BOOST_PROTO_EXTENDS_SUBSCRIPT_IMPL_(BOOST_PROTO_CONST, BOOST_PROTO_CONST)                   \

#define BOOST_PROTO_EXTENDS_SUBSCRIPT_IMPL_	(		ThisConst,
			ThatConst
	)

INTERNAL ONLY.

#define BOOST_PROTO_EXTENDS_SUBSCRIPT_NON_CONST

(

)

Value:

BOOST_PROTO_EXTENDS_SUBSCRIPT_IMPL_(BOOST_PP_EMPTY, BOOST_PP_EMPTY)                         \
        BOOST_PROTO_EXTENDS_SUBSCRIPT_IMPL_(BOOST_PP_EMPTY, BOOST_PROTO_CONST)                      \

#define BOOST_PROTO_EXTENDS_USING_ASSIGN

(

Derived

)

Value:

typedef typename Derived::proto_extends proto_extends;                                      \
        using proto_extends::operator =;                                                            \
        BOOST_PROTO_EXTENDS_COPY_ASSIGN_(Derived, BOOST_PROTO_TYPENAME)                             \

#define BOOST_PROTO_EXTENDS_USING_ASSIGN_NON_DEPENDENT

(

Derived

)

Value:

typedef Derived::proto_extends proto_extends;                                               \
        using proto_extends::operator =;                                                            \
        BOOST_PROTO_EXTENDS_COPY_ASSIGN_(Derived, BOOST_PP_EMPTY)                                   \

#define BOOST_PROTO_NO_WAVE_OUTPUT

#define BOOST_PROTO_OFFSETOF   offsetof

INTERNAL ONLY.

Referenced by boost::proto::exprns_::virtual_member< This, Fun, Domain >::child1().

#define BOOST_PROTO_TEMPLATE_NO_	(		Z,
			N
	)

INTERNAL ONLY.

#define BOOST_PROTO_TEMPLATE_YES_	(		Z,
			N
	)		template<BOOST_PP_ENUM_PARAMS_Z(Z, N, typename A)>

INTERNAL ONLY.

#define BOOST_PROTO_TYPENAME

(

)

typename

INTERNAL ONLY.