/////////////////////////////////////////////////////////////////////////////// | |
// funop.hpp | |
// Contains definition of funop[n]\<\> class template. | |
// | |
// Copyright 2008 Eric Niebler. 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) | |
#ifndef BOOST_PP_IS_ITERATING | |
#error Do not include this file directly | |
#endif | |
#define M0(Z, N, DATA) \ | |
typename proto::result_of::as_child<BOOST_PP_CAT(A, N), Domain>::type \ | |
/**/ | |
#define M1(Z, N, DATA) \ | |
proto::as_child<Domain>(BOOST_PP_CAT(a, N)) \ | |
/**/ | |
/// \brief A helper metafunction for computing the | |
/// return type of \c proto::expr\<\>::operator(). | |
template<typename Expr, typename Domain BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(), typename A)> | |
struct BOOST_PP_CAT(funop, BOOST_PP_ITERATION()) | |
{ | |
typedef proto::expr< | |
tag::function | |
, BOOST_PP_CAT(list, BOOST_PP_INC(BOOST_PP_ITERATION()))< | |
Expr & | |
BOOST_PP_ENUM_TRAILING(BOOST_PP_ITERATION(), M0, ~) | |
> | |
, BOOST_PP_INC(BOOST_PP_ITERATION()) | |
> type; | |
static type const call( | |
Expr &e | |
BOOST_PP_ENUM_TRAILING_BINARY_PARAMS(BOOST_PP_ITERATION(), A, &a) | |
) | |
{ | |
type that = { | |
e | |
BOOST_PP_ENUM_TRAILING(BOOST_PP_ITERATION(), M1, ~) | |
}; | |
return that; | |
} | |
}; | |
/// \brief A helper metafunction for computing the | |
/// return type of \c proto::expr\<\>::operator(). | |
template<typename Expr BOOST_PP_ENUM_TRAILING_PARAMS(BOOST_PP_ITERATION(), typename A), typename This, typename Domain> | |
struct funop<Expr(BOOST_PP_ENUM_PARAMS(BOOST_PP_ITERATION(), A)), This, Domain> | |
: BOOST_PP_CAT(funop, BOOST_PP_ITERATION())< | |
typename detail::same_cv<Expr, This>::type | |
, Domain | |
BOOST_PP_ENUM_TRAILING_BINARY_PARAMS( | |
BOOST_PP_ITERATION() | |
, typename remove_reference<A | |
, >::type BOOST_PP_INTERCEPT | |
) | |
> | |
{}; | |
#undef M0 | |
#undef M1 |