boost/yap/user_macros.hpp
// Copyright (C) 2016-2018 T. Zachary Laine // // 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_YAP_USER_MACROS_HPP_INCLUDED #define BOOST_YAP_USER_MACROS_HPP_INCLUDED #include <boost/preprocessor/cat.hpp> #include <boost/preprocessor/repetition/enum_params.hpp> #include <boost/preprocessor/repetition/enum_binary_params.hpp> #include <boost/preprocessor/repetition/enum.hpp> #ifndef BOOST_YAP_DOXYGEN // unary #define BOOST_YAP_OPERATOR_unary_plus(...) +(__VA_ARGS__) #define BOOST_YAP_OPERATOR_negate(...) -(__VA_ARGS__) #define BOOST_YAP_OPERATOR_dereference(...) *(__VA_ARGS__) #define BOOST_YAP_OPERATOR_complement(...) ~(__VA_ARGS__) #define BOOST_YAP_OPERATOR_address_of(...) &(__VA_ARGS__) #define BOOST_YAP_OPERATOR_logical_not(...) !(__VA_ARGS__) #define BOOST_YAP_OPERATOR_pre_inc(...) ++(__VA_ARGS__) #define BOOST_YAP_OPERATOR_pre_dec(...) --(__VA_ARGS__) #define BOOST_YAP_OPERATOR_post_inc(...) ++(__VA_ARGS__, int) #define BOOST_YAP_OPERATOR_post_dec(...) --(__VA_ARGS__, int) // binary #define BOOST_YAP_OPERATOR_shift_left(...) <<(__VA_ARGS__) #define BOOST_YAP_OPERATOR_shift_right(...) >>(__VA_ARGS__) #define BOOST_YAP_OPERATOR_multiplies(...) *(__VA_ARGS__) #define BOOST_YAP_OPERATOR_divides(...) /(__VA_ARGS__) #define BOOST_YAP_OPERATOR_modulus(...) %(__VA_ARGS__) #define BOOST_YAP_OPERATOR_plus(...) +(__VA_ARGS__) #define BOOST_YAP_OPERATOR_minus(...) -(__VA_ARGS__) #define BOOST_YAP_OPERATOR_less(...) <(__VA_ARGS__) #define BOOST_YAP_OPERATOR_greater(...) >(__VA_ARGS__) #define BOOST_YAP_OPERATOR_less_equal(...) <=(__VA_ARGS__) #define BOOST_YAP_OPERATOR_greater_equal(...) >=(__VA_ARGS__) #define BOOST_YAP_OPERATOR_equal_to(...) ==(__VA_ARGS__) #define BOOST_YAP_OPERATOR_not_equal_to(...) !=(__VA_ARGS__) #define BOOST_YAP_OPERATOR_logical_or(...) ||(__VA_ARGS__) #define BOOST_YAP_OPERATOR_logical_and(...) &&(__VA_ARGS__) #define BOOST_YAP_OPERATOR_bitwise_and(...) &(__VA_ARGS__) #define BOOST_YAP_OPERATOR_bitwise_or(...) |(__VA_ARGS__) #define BOOST_YAP_OPERATOR_bitwise_xor(...) ^(__VA_ARGS__) #define BOOST_YAP_OPERATOR_comma(...) ,(__VA_ARGS__) #define BOOST_YAP_OPERATOR_mem_ptr(...) ->*(__VA_ARGS__) #define BOOST_YAP_OPERATOR_assign(...) =(__VA_ARGS__) #define BOOST_YAP_OPERATOR_shift_left_assign(...) <<=(__VA_ARGS__) #define BOOST_YAP_OPERATOR_shift_right_assign(...) >>=(__VA_ARGS__) #define BOOST_YAP_OPERATOR_multiplies_assign(...) *=(__VA_ARGS__) #define BOOST_YAP_OPERATOR_divides_assign(...) /=(__VA_ARGS__) #define BOOST_YAP_OPERATOR_modulus_assign(...) %=(__VA_ARGS__) #define BOOST_YAP_OPERATOR_plus_assign(...) +=(__VA_ARGS__) #define BOOST_YAP_OPERATOR_minus_assign(...) -=(__VA_ARGS__) #define BOOST_YAP_OPERATOR_bitwise_and_assign(...) &=(__VA_ARGS__) #define BOOST_YAP_OPERATOR_bitwise_or_assign(...) |=(__VA_ARGS__) #define BOOST_YAP_OPERATOR_bitwise_xor_assign(...) ^=(__VA_ARGS__) #define BOOST_YAP_OPERATOR_subscript(...) [](__VA_ARGS__) #define BOOST_YAP_INDIRECT_CALL(macro) BOOST_PP_CAT(BOOST_YAP_OPERATOR_, macro) #endif // BOOST_YAP_DOXYGEN /** Defines operator overloads for unary operator \a op_name that each take an expression instantiated from \a expr_template and return an expression instantiated from the \a result_expr_template expression template. One overload is defined for each of the qualifiers <code>const &</code>, <code>&</code>, and <code>&&</code>. For the lvalue reference overloads, the argument is captured by reference into the resulting expression. For the rvalue reference overload, the argument is moved into the resulting expression. Example: \snippet user_macros_snippets.cpp USER_UNARY_OPERATOR \param op_name The operator to be overloaded; this must be one of the \b unary enumerators in <code>expr_kind</code>, without the <code>expr_kind::</code> qualification. \param expr_template The expression template to which the overloads apply. \a expr_template must be an \ref ExpressionTemplate. \param result_expr_template The expression template to use to instantiate the result expression. \a result_expr_template must be an \ref ExpressionTemplate. */ #define BOOST_YAP_USER_UNARY_OPERATOR( \ op_name, expr_template, result_expr_template) \ template<::boost::yap::expr_kind Kind, typename Tuple> \ auto operator BOOST_YAP_INDIRECT_CALL(op_name)( \ expr_template<Kind, Tuple> const & x) \ { \ using lhs_type = ::boost::yap::detail::operand_type_t< \ result_expr_template, \ expr_template<Kind, Tuple> const &>; \ using tuple_type = ::boost::hana::tuple<lhs_type>; \ return result_expr_template< \ ::boost::yap::expr_kind::op_name, \ tuple_type>{ \ tuple_type{::boost::yap::detail::make_operand<lhs_type>{}(x)}}; \ } \ template<::boost::yap::expr_kind Kind, typename Tuple> \ auto operator BOOST_YAP_INDIRECT_CALL(op_name)( \ expr_template<Kind, Tuple> & x) \ { \ using lhs_type = ::boost::yap::detail::operand_type_t< \ result_expr_template, \ expr_template<Kind, Tuple> &>; \ using tuple_type = ::boost::hana::tuple<lhs_type>; \ return result_expr_template< \ ::boost::yap::expr_kind::op_name, \ tuple_type>{ \ tuple_type{::boost::yap::detail::make_operand<lhs_type>{}(x)}}; \ } \ template<::boost::yap::expr_kind Kind, typename Tuple> \ auto operator BOOST_YAP_INDIRECT_CALL(op_name)( \ expr_template<Kind, Tuple> && x) \ { \ using tuple_type = ::boost::hana::tuple<expr_template<Kind, Tuple>>; \ return result_expr_template< \ ::boost::yap::expr_kind::op_name, \ tuple_type>{tuple_type{std::move(x)}}; \ } /** Defines operator overloads for binary operator \a op_name that each produce an expression instantiated from the \a expr_template expression template. One overload is defined for each of the qualifiers <code>const &</code>, <code>&</code>, and <code>&&</code>. For the lvalue reference overloads, <code>*this</code> is captured by reference into the resulting expression. For the rvalue reference overload, <code>*this</code> is moved into the resulting expression. Note that this does not work for yap::expr_kinds assign, subscript, or call. Use BOOST_YAP_USER_ASSIGN_OPERATOR, BOOST_YAP_USER_SUBSCRIPT_OPERATOR, or BOOST_YAP_USER_CALL_OPERATOR for those, respectively. Example: \snippet user_macros_snippets.cpp USER_BINARY_OPERATOR \param op_name The operator to be overloaded; this must be one of the \b binary enumerators in <code>expr_kind</code>, except assign, subscript, or call, without the <code>expr_kind::</code> qualification. \param expr_template The expression template to which the overloads apply. \a expr_template must be an \ref ExpressionTemplate. \param result_expr_template The expression template to use to instantiate the result expression. \a result_expr_template must be an \ref ExpressionTemplate. */ #define BOOST_YAP_USER_BINARY_OPERATOR( \ op_name, expr_template, result_expr_template) \ template<::boost::yap::expr_kind Kind, typename Tuple, typename Expr> \ constexpr auto operator BOOST_YAP_INDIRECT_CALL(op_name)( \ expr_template<Kind, Tuple> const & lhs, Expr && rhs) \ { \ using lhs_type = ::boost::yap::detail::operand_type_t< \ result_expr_template, \ expr_template<Kind, Tuple> const &>; \ using rhs_type = \ ::boost::yap::detail::operand_type_t<result_expr_template, Expr>; \ using tuple_type = ::boost::hana::tuple<lhs_type, rhs_type>; \ return result_expr_template< \ ::boost::yap::expr_kind::op_name, \ tuple_type>{ \ tuple_type{::boost::yap::detail::make_operand<lhs_type>{}(lhs), \ ::boost::yap::detail::make_operand<rhs_type>{}( \ static_cast<Expr &&>(rhs))}}; \ } \ template<::boost::yap::expr_kind Kind, typename Tuple, typename Expr> \ constexpr auto operator BOOST_YAP_INDIRECT_CALL(op_name)( \ expr_template<Kind, Tuple> & lhs, Expr && rhs) \ { \ using lhs_type = ::boost::yap::detail::operand_type_t< \ result_expr_template, \ expr_template<Kind, Tuple> &>; \ using rhs_type = \ ::boost::yap::detail::operand_type_t<result_expr_template, Expr>; \ using tuple_type = ::boost::hana::tuple<lhs_type, rhs_type>; \ return result_expr_template< \ ::boost::yap::expr_kind::op_name, \ tuple_type>{ \ tuple_type{::boost::yap::detail::make_operand<lhs_type>{}(lhs), \ ::boost::yap::detail::make_operand<rhs_type>{}( \ static_cast<Expr &&>(rhs))}}; \ } \ template<::boost::yap::expr_kind Kind, typename Tuple, typename Expr> \ constexpr auto operator BOOST_YAP_INDIRECT_CALL(op_name)( \ expr_template<Kind, Tuple> && lhs, Expr && rhs) \ { \ using lhs_type = ::boost::yap::detail::remove_cv_ref_t< \ expr_template<Kind, Tuple> &&>; \ using rhs_type = \ ::boost::yap::detail::operand_type_t<result_expr_template, Expr>; \ using tuple_type = ::boost::hana::tuple<lhs_type, rhs_type>; \ return result_expr_template< \ ::boost::yap::expr_kind::op_name, \ tuple_type>{ \ tuple_type{std::move(lhs), \ ::boost::yap::detail::make_operand<rhs_type>{}( \ static_cast<Expr &&>(rhs))}}; \ } \ template<typename T, ::boost::yap::expr_kind Kind, typename Tuple> \ constexpr auto operator BOOST_YAP_INDIRECT_CALL(op_name)( \ T && lhs, expr_template<Kind, Tuple> && rhs) \ ->::boost::yap::detail::free_binary_op_result_t< \ result_expr_template, \ ::boost::yap::expr_kind::op_name, \ T, \ expr_template<Kind, Tuple> &&> \ { \ using result_types = ::boost::yap::detail::free_binary_op_result< \ result_expr_template, \ ::boost::yap::expr_kind::op_name, \ T, \ expr_template<Kind, Tuple> &&>; \ using lhs_type = typename result_types::lhs_type; \ using rhs_type = typename result_types::rhs_type; \ using tuple_type = ::boost::hana::tuple<lhs_type, rhs_type>; \ return {tuple_type{lhs_type{static_cast<T &&>(lhs)}, std::move(rhs)}}; \ } \ template<typename T, ::boost::yap::expr_kind Kind, typename Tuple> \ constexpr auto operator BOOST_YAP_INDIRECT_CALL(op_name)( \ T && lhs, expr_template<Kind, Tuple> const & rhs) \ ->::boost::yap::detail::free_binary_op_result_t< \ result_expr_template, \ ::boost::yap::expr_kind::op_name, \ T, \ expr_template<Kind, Tuple> const &> \ { \ using result_types = ::boost::yap::detail::free_binary_op_result< \ result_expr_template, \ ::boost::yap::expr_kind::op_name, \ T, \ expr_template<Kind, Tuple> const &>; \ using lhs_type = typename result_types::lhs_type; \ using rhs_type = typename result_types::rhs_type; \ using tuple_type = ::boost::hana::tuple<lhs_type, rhs_type>; \ using rhs_tuple_type = typename result_types::rhs_tuple_type; \ return {tuple_type{lhs_type{static_cast<T &&>(lhs)}, \ rhs_type{rhs_tuple_type{std::addressof(rhs)}}}}; \ } \ template<typename T, ::boost::yap::expr_kind Kind, typename Tuple> \ constexpr auto operator BOOST_YAP_INDIRECT_CALL(op_name)( \ T && lhs, expr_template<Kind, Tuple> & rhs) \ ->::boost::yap::detail::free_binary_op_result_t< \ result_expr_template, \ ::boost::yap::expr_kind::op_name, \ T, \ expr_template<Kind, Tuple> &> \ { \ using result_types = ::boost::yap::detail::free_binary_op_result< \ result_expr_template, \ ::boost::yap::expr_kind::op_name, \ T, \ expr_template<Kind, Tuple> &>; \ using lhs_type = typename result_types::lhs_type; \ using rhs_type = typename result_types::rhs_type; \ using tuple_type = ::boost::hana::tuple<lhs_type, rhs_type>; \ using rhs_tuple_type = typename result_types::rhs_tuple_type; \ return {tuple_type{lhs_type{static_cast<T &&>(lhs)}, \ rhs_type{rhs_tuple_type{std::addressof(rhs)}}}}; \ } /** Defines operator overloads for \a operator=() that each produce an expression instantiated from the \a expr_template expression template. One overload is defined for each of the qualifiers <code>const &</code>, <code>&</code>, and <code>&&</code>. For the lvalue reference overloads, <code>*this</code> is captured by reference into the resulting expression. For the rvalue reference overload, <code>*this</code> is moved into the resulting expression. The \a rhs parameter to each of the defined overloads may be any type, including an expression, except that the overloads are cosntrained by std::enable_if<> not to conflict with the assignment and move assignement operators. If \a rhs is a non-expression, it is wrapped in a terminal expression. Example: \snippet user_macros_snippets.cpp USER_ASSIGN_OPERATOR \param this_type The type of the class the operator is a member of; this is required to avoid clashing with the assignment and move assignement operators. \param expr_template The expression template to use to instantiate the result expression. \a expr_template must be an \ref ExpressionTemplate. */ #define BOOST_YAP_USER_ASSIGN_OPERATOR(this_type, expr_template) \ template< \ typename Expr, \ typename = std::enable_if_t< \ !::boost::yap::detail::copy_or_move<this_type, Expr &&>::value>> \ constexpr auto operator=(Expr && rhs) const & \ { \ using lhs_type = ::boost::yap::detail:: \ operand_type_t<expr_template, this_type const &>; \ using rhs_type = \ ::boost::yap::detail::operand_type_t<expr_template, Expr>; \ using tuple_type = ::boost::hana::tuple<lhs_type, rhs_type>; \ return expr_template<::boost::yap::expr_kind::assign, tuple_type>{ \ tuple_type{::boost::yap::detail::make_operand<lhs_type>{}(*this), \ ::boost::yap::detail::make_operand<rhs_type>{}( \ static_cast<Expr &&>(rhs))}}; \ } \ template< \ typename Expr, \ typename = std::enable_if_t< \ !::boost::yap::detail::copy_or_move<this_type, Expr &&>::value>> \ constexpr auto operator=(Expr && rhs) & \ { \ using lhs_type = ::boost::yap::detail:: \ operand_type_t<expr_template, decltype(*this)>; \ using rhs_type = \ ::boost::yap::detail::operand_type_t<expr_template, Expr>; \ using tuple_type = ::boost::hana::tuple<lhs_type, rhs_type>; \ return expr_template<::boost::yap::expr_kind::assign, tuple_type>{ \ tuple_type{::boost::yap::detail::make_operand<lhs_type>{}(*this), \ ::boost::yap::detail::make_operand<rhs_type>{}( \ static_cast<Expr &&>(rhs))}}; \ } \ template< \ typename Expr, \ typename = std::enable_if_t< \ !::boost::yap::detail::copy_or_move<this_type, Expr &&>::value>> \ constexpr auto operator=(Expr && rhs) && \ { \ using rhs_type = \ ::boost::yap::detail::operand_type_t<expr_template, Expr>; \ using tuple_type = ::boost::hana::tuple<this_type, rhs_type>; \ return expr_template<::boost::yap::expr_kind::assign, tuple_type>{ \ tuple_type{std::move(*this), \ ::boost::yap::detail::make_operand<rhs_type>{}( \ static_cast<Expr &&>(rhs))}}; \ } /** Defines operator overloads for \a operator[]() that each produce an expression instantiated from the \a expr_template expression template. One overload is defined for each of the qualifiers <code>const &</code>, <code>&</code>, and <code>&&</code>. For the lvalue reference overloads, <code>*this</code> is captured by reference into the resulting expression. For the rvalue reference overload, <code>*this</code> is moved into the resulting expression. The \a rhs parameter to each of the defined overloads may be any type, including an expression, except that the overloads are cosntrained by std::enable_if<> not to conflict with the assignment and move assignement operators. If \a rhs is a non-expression, it is wrapped in a terminal expression. Example: \snippet user_macros_snippets.cpp USER_SUBSCRIPT_OPERATOR \param expr_template The expression template to use to instantiate the result expression. \a expr_template must be an \ref ExpressionTemplate. */ #define BOOST_YAP_USER_SUBSCRIPT_OPERATOR(expr_template) \ template<typename Expr> \ constexpr auto operator[](Expr && rhs) const & \ { \ using lhs_type = ::boost::yap::detail:: \ operand_type_t<expr_template, decltype(*this)>; \ using rhs_type = \ ::boost::yap::detail::operand_type_t<expr_template, Expr>; \ using tuple_type = ::boost::hana::tuple<lhs_type, rhs_type>; \ return expr_template<::boost::yap::expr_kind::subscript, tuple_type>{ \ tuple_type{::boost::yap::detail::make_operand<lhs_type>{}(*this), \ ::boost::yap::detail::make_operand<rhs_type>{}( \ static_cast<Expr &&>(rhs))}}; \ } \ template<typename Expr> \ constexpr auto operator[](Expr && rhs) & \ { \ using lhs_type = ::boost::yap::detail:: \ operand_type_t<expr_template, decltype(*this)>; \ using rhs_type = \ ::boost::yap::detail::operand_type_t<expr_template, Expr>; \ using tuple_type = ::boost::hana::tuple<lhs_type, rhs_type>; \ return expr_template<::boost::yap::expr_kind::subscript, tuple_type>{ \ tuple_type{::boost::yap::detail::make_operand<lhs_type>{}(*this), \ ::boost::yap::detail::make_operand<rhs_type>{}( \ static_cast<Expr &&>(rhs))}}; \ } \ template<typename Expr> \ constexpr auto operator[](Expr && rhs) && \ { \ using lhs_type = \ ::boost::yap::detail::remove_cv_ref_t<decltype(*this)>; \ using rhs_type = \ ::boost::yap::detail::operand_type_t<expr_template, Expr>; \ using tuple_type = ::boost::hana::tuple<lhs_type, rhs_type>; \ return expr_template<::boost::yap::expr_kind::subscript, tuple_type>{ \ tuple_type{std::move(*this), \ ::boost::yap::detail::make_operand<rhs_type>{}( \ static_cast<Expr &&>(rhs))}}; \ } /** Defines operator overloads for the call operator taking any number of parameters ("operator()") that each produce an expression instantiated from the \a expr_template expression template. One overload is defined for each of the qualifiers <code>const &</code>, <code>&</code>, and <code>&&</code>. For the lvalue reference overloads, <code>*this</code> is captured by reference into the resulting expression. For the rvalue reference overload, <code>*this</code> is moved into the resulting expression. The \a u parameters to each of the defined overloads may be any type, including an expression. Each non-expression is wrapped in a terminal expression. Example: \snippet user_macros_snippets.cpp USER_CALL_OPERATOR \param expr_template The expression template to use to instantiate the result expression. \a expr_template must be an \ref ExpressionTemplate. */ #define BOOST_YAP_USER_CALL_OPERATOR(expr_template) \ template<typename... U> \ constexpr auto operator()(U &&... u) const & \ { \ using lhs_type = ::boost::yap::detail:: \ operand_type_t<expr_template, decltype(*this)>; \ using tuple_type = ::boost::hana::tuple< \ lhs_type, \ ::boost::yap::detail::operand_type_t<expr_template, U>...>; \ return expr_template<::boost::yap::expr_kind::call, tuple_type>{ \ tuple_type{ \ ::boost::yap::detail::make_operand<lhs_type>{}(*this), \ ::boost::yap::detail::make_operand< \ ::boost::yap::detail::operand_type_t<expr_template, U>>{}( \ static_cast<U &&>(u))...}}; \ } \ template<typename... U> \ constexpr auto operator()(U &&... u) & \ { \ using lhs_type = ::boost::yap::detail:: \ operand_type_t<expr_template, decltype(*this)>; \ using tuple_type = ::boost::hana::tuple< \ lhs_type, \ ::boost::yap::detail::operand_type_t<expr_template, U>...>; \ return expr_template<::boost::yap::expr_kind::call, tuple_type>{ \ tuple_type{ \ ::boost::yap::detail::make_operand<lhs_type>{}(*this), \ ::boost::yap::detail::make_operand< \ ::boost::yap::detail::operand_type_t<expr_template, U>>{}( \ static_cast<U &&>(u))...}}; \ } \ template<typename... U> \ constexpr auto operator()(U &&... u) && \ { \ using this_type = \ ::boost::yap::detail::remove_cv_ref_t<decltype(*this)>; \ using tuple_type = ::boost::hana::tuple< \ this_type, \ ::boost::yap::detail::operand_type_t<expr_template, U>...>; \ return expr_template<::boost::yap::expr_kind::call, tuple_type>{ \ tuple_type{ \ std::move(*this), \ ::boost::yap::detail::make_operand< \ ::boost::yap::detail::operand_type_t<expr_template, U>>{}( \ static_cast<U &&>(u))...}}; \ } #ifndef BOOST_YAP_DOXYGEN #define BOOST_YAP_USER_CALL_OPERATOR_OPERAND_T(z, n, expr_template) \ ::boost::yap::detail::operand_type_t<expr_template, BOOST_PP_CAT(U, n)> #define BOOST_YAP_USER_CALL_OPERATOR_MAKE_OPERAND(z, n, expr_template) \ ::boost::yap::detail::make_operand<::boost::yap::detail::operand_type_t< \ expr_template, \ BOOST_PP_CAT(U, n)>>{}( \ static_cast<BOOST_PP_CAT(U, n) &&>(BOOST_PP_CAT(u, n))) #endif /** Defines operator overloads for the call operator taking N parameters ("operator()(t0, t1, ... tn-1)") that each produce an expression instantiated from the \a expr_template expression template. One overload is defined for each of the qualifiers <code>const &</code>, <code>&</code>, and <code>&&</code>. For the lvalue reference overloads, <code>*this</code> is captured by reference into the resulting expression. For the rvalue reference overload, <code>*this</code> is moved into the resulting expression. The \a u parameters to each of the defined overloads may be any type, including an expression. Each non-expression is wrapped in a terminal expression. Example: \snippet user_macros_snippets.cpp USER_CALL_OPERATOR \param expr_template The expression template to use to instantiate the result expression. \a expr_template must be an \ref ExpressionTemplate. \param n The number of parameters accepted by the operator() overloads. n must be <= BOOST_PP_LIMIT_REPEAT. */ #define BOOST_YAP_USER_CALL_OPERATOR_N(expr_template, n) \ template<BOOST_PP_ENUM_PARAMS(n, typename U)> \ constexpr auto operator()(BOOST_PP_ENUM_BINARY_PARAMS(n, U, &&u)) const & \ { \ using lhs_type = ::boost::yap::detail:: \ operand_type_t<expr_template, decltype(*this)>; \ using tuple_type = ::boost::hana::tuple< \ lhs_type, \ BOOST_PP_ENUM( \ n, BOOST_YAP_USER_CALL_OPERATOR_OPERAND_T, expr_template)>; \ return expr_template<::boost::yap::expr_kind::call, tuple_type>{ \ tuple_type{::boost::yap::detail::make_operand<lhs_type>{}(*this), \ BOOST_PP_ENUM( \ n, \ BOOST_YAP_USER_CALL_OPERATOR_MAKE_OPERAND, \ expr_template)}}; \ } \ template<BOOST_PP_ENUM_PARAMS(n, typename U)> \ constexpr auto operator()(BOOST_PP_ENUM_BINARY_PARAMS(n, U, &&u)) & \ { \ using lhs_type = ::boost::yap::detail:: \ operand_type_t<expr_template, decltype(*this)>; \ using tuple_type = ::boost::hana::tuple< \ lhs_type, \ BOOST_PP_ENUM( \ n, BOOST_YAP_USER_CALL_OPERATOR_OPERAND_T, expr_template)>; \ return expr_template<::boost::yap::expr_kind::call, tuple_type>{ \ tuple_type{::boost::yap::detail::make_operand<lhs_type>{}(*this), \ BOOST_PP_ENUM( \ n, \ BOOST_YAP_USER_CALL_OPERATOR_MAKE_OPERAND, \ expr_template)}}; \ } \ template<BOOST_PP_ENUM_PARAMS(n, typename U)> \ constexpr auto operator()(BOOST_PP_ENUM_BINARY_PARAMS(n, U, &&u)) && \ { \ using this_type = \ ::boost::yap::detail::remove_cv_ref_t<decltype(*this)>; \ using tuple_type = ::boost::hana::tuple< \ this_type, \ BOOST_PP_ENUM( \ n, BOOST_YAP_USER_CALL_OPERATOR_OPERAND_T, expr_template)>; \ return expr_template<::boost::yap::expr_kind::call, tuple_type>{ \ tuple_type{std::move(*this), \ BOOST_PP_ENUM( \ n, \ BOOST_YAP_USER_CALL_OPERATOR_MAKE_OPERAND, \ expr_template)}}; \ } /** Defines a 3-parameter function <code>if_else()</code> that acts as an analogue to the ternary operator (<code>?:</code>), since the ternary operator is not user-overloadable. The return type of <code>if_else()</code> is an expression instantiated from the \a expr_template expression template. At least one parameter to <code>if_else()</code> must be an expression. For each parameter E passed to <code>if_else()</code>, if E is an rvalue, E is moved into the result, and otherwise E is captured by reference into the result. Example: \snippet user_macros_snippets.cpp USER_EXPR_IF_ELSE \param expr_template The expression template to use to instantiate the result expression. \a expr_template must be an \ref ExpressionTemplate. */ #define BOOST_YAP_USER_EXPR_IF_ELSE(expr_template) \ template<typename Expr1, typename Expr2, typename Expr3> \ constexpr auto if_else(Expr1 && expr1, Expr2 && expr2, Expr3 && expr3) \ ->::boost::yap::detail:: \ ternary_op_result_t<expr_template, Expr1, Expr2, Expr3> \ { \ using result_types = ::boost::yap::detail:: \ ternary_op_result<expr_template, Expr1, Expr2, Expr3>; \ using cond_type = typename result_types::cond_type; \ using then_type = typename result_types::then_type; \ using else_type = typename result_types::else_type; \ using tuple_type = \ ::boost::hana::tuple<cond_type, then_type, else_type>; \ return {tuple_type{::boost::yap::detail::make_operand<cond_type>{}( \ static_cast<Expr1 &&>(expr1)), \ ::boost::yap::detail::make_operand<then_type>{}( \ static_cast<Expr2 &&>(expr2)), \ ::boost::yap::detail::make_operand<else_type>{}( \ static_cast<Expr3 &&>(expr3))}}; \ } /** Defines a function <code>if_else()</code> that acts as an analogue to the ternary operator (<code>?:</code>), since the ternary operator is not user-overloadable. The return type of <code>if_else()</code> is an expression instantiated from the \a expr_template expression template. Each parameter to <code>if_else()</code> may be any type that is \b not an expression. At least on parameter must be a type <code>T</code> for which \code udt_trait<std::remove_cv_t<std::remove_reference_t<T>>>::value \endcode is true. Each parameter is wrapped in a terminal expression. Example: \snippet user_macros_snippets.cpp USER_UDT_ANY_IF_ELSE \param expr_template The expression template to use to instantiate the result expression. \a expr_template must be an \ref ExpressionTemplate. \param udt_trait A trait template to use to constrain which types are accepted as template parameters to <code>if_else()</code>. */ #define BOOST_YAP_USER_UDT_ANY_IF_ELSE(expr_template, udt_trait) \ template<typename Expr1, typename Expr2, typename Expr3> \ constexpr auto if_else(Expr1 && expr1, Expr2 && expr2, Expr3 && expr3) \ ->::boost::yap::detail::udt_any_ternary_op_result_t< \ expr_template, \ Expr1, \ Expr2, \ Expr3, \ udt_trait> \ { \ using result_types = ::boost::yap::detail::udt_any_ternary_op_result< \ expr_template, \ Expr1, \ Expr2, \ Expr3, \ udt_trait>; \ using cond_type = typename result_types::cond_type; \ using then_type = typename result_types::then_type; \ using else_type = typename result_types::else_type; \ using tuple_type = \ ::boost::hana::tuple<cond_type, then_type, else_type>; \ return {tuple_type{::boost::yap::detail::make_operand<cond_type>{}( \ static_cast<Expr1 &&>(expr1)), \ ::boost::yap::detail::make_operand<then_type>{}( \ static_cast<Expr2 &&>(expr2)), \ ::boost::yap::detail::make_operand<else_type>{}( \ static_cast<Expr3 &&>(expr3))}}; \ } /** Defines a free/non-member operator overload for unary operator \a op_name that produces an expression instantiated from the \a expr_template expression template. The parameter to the defined operator overload may be any type that is \b not an expression and for which \code udt_trait<std::remove_cv_t<std::remove_reference_t<T>>>::value \endcode is true. The parameter is wrapped in a terminal expression. Example: \snippet user_macros_snippets.cpp USER_UDT_UNARY_OPERATOR \param op_name The operator to be overloaded; this must be one of the \b unary enumerators in <code>expr_kind</code>, without the <code>expr_kind::</code> qualification. \param expr_template The expression template to use to instantiate the result expression. \a expr_template must be an \ref ExpressionTemplate. \param udt_trait A trait template to use to constrain which types are accepted as template parameters to the defined operator overload. */ #define BOOST_YAP_USER_UDT_UNARY_OPERATOR(op_name, expr_template, udt_trait) \ template<typename T> \ constexpr auto operator BOOST_YAP_INDIRECT_CALL(op_name)(T && x) \ ->::boost::yap::detail::udt_unary_op_result_t< \ expr_template, \ ::boost::yap::expr_kind::op_name, \ T, \ udt_trait> \ { \ using result_types = ::boost::yap::detail::udt_unary_op_result< \ expr_template, \ ::boost::yap::expr_kind::op_name, \ T, \ udt_trait>; \ using x_type = typename result_types::x_type; \ using tuple_type = ::boost::hana::tuple<x_type>; \ return {tuple_type{x_type{static_cast<T &&>(x)}}}; \ } /** Defines a free/non-member operator overload for binary operator \a op_name that produces an expression instantiated from the \a expr_template expression template. The \a lhs parameter to the defined operator overload may be any type that is \b not an expression and for which \code t_udt_trait<std::remove_cv_t<std::remove_reference_t<T>>>::value \endcode is true. The parameter is wrapped in a terminal expression. The \a rhs parameter to the defined operator overload may be any type that is \b not an expression and for which \code u_udt_trait<std::remove_cv_t<std::remove_reference_t<U>>>::value \endcode is true. The parameter is wrapped in a terminal expression. Example: \snippet user_macros_snippets.cpp USER_UDT_UDT_BINARY_OPERATOR \param op_name The operator to be overloaded; this must be one of the \b binary enumerators in <code>expr_kind</code>, without the <code>expr_kind::</code> qualification. \param expr_template The expression template to use to instantiate the result expression. \a expr_template must be an \ref ExpressionTemplate. \param t_udt_trait A trait template to use to constrain which types are accepted as \a T template parameters to the defined operator overload. \param u_udt_trait A trait template to use to constrain which types are accepted as \a U template parameters to the defined operator overload. */ #define BOOST_YAP_USER_UDT_UDT_BINARY_OPERATOR( \ op_name, expr_template, t_udt_trait, u_udt_trait) \ template<typename T, typename U> \ constexpr auto operator BOOST_YAP_INDIRECT_CALL(op_name)(T && lhs, U && rhs) \ ->::boost::yap::detail::udt_udt_binary_op_result_t< \ expr_template, \ ::boost::yap::expr_kind::op_name, \ T, \ U, \ t_udt_trait, \ u_udt_trait> \ { \ using result_types = ::boost::yap::detail::udt_udt_binary_op_result< \ expr_template, \ ::boost::yap::expr_kind::op_name, \ T, \ U, \ t_udt_trait, \ u_udt_trait>; \ using lhs_type = typename result_types::lhs_type; \ using rhs_type = typename result_types::rhs_type; \ using tuple_type = ::boost::hana::tuple<lhs_type, rhs_type>; \ return {tuple_type{ \ lhs_type{static_cast<T &&>(lhs)}, \ rhs_type{static_cast<U &&>(rhs)}, \ }}; \ } /** Defines a free/non-member operator overload for binary operator \a op_name that produces an expression instantiated from the \a expr_template expression template. The \a lhs and \a rhs parameters to the defined operator overload may be any types that are \b not expressions. Each parameter is wrapped in a terminal expression. At least one of the parameters to the defined operator overload must be a type \c T for which \code udt_trait<std::remove_cv_t<std::remove_reference_t<T>>>::value \endcode is true. Example: \snippet user_macros_snippets.cpp USER_UDT_ANY_BINARY_OPERATOR \param op_name The operator to be overloaded; this must be one of the \b binary enumerators in <code>expr_kind</code>, without the <code>expr_kind::</code> qualification. \param expr_template The expression template to use to instantiate the result expression. \a expr_template must be an \ref ExpressionTemplate. \param udt_trait A trait template to use to constrain which types are accepted as template parameters to the defined operator overload. */ #define BOOST_YAP_USER_UDT_ANY_BINARY_OPERATOR( \ op_name, expr_template, udt_trait) \ template<typename T, typename U> \ constexpr auto operator BOOST_YAP_INDIRECT_CALL(op_name)(T && lhs, U && rhs) \ ->::boost::yap::detail::udt_any_binary_op_result_t< \ expr_template, \ ::boost::yap::expr_kind::op_name, \ T, \ U, \ udt_trait> \ { \ using result_types = ::boost::yap::detail::udt_any_binary_op_result< \ expr_template, \ ::boost::yap::expr_kind::op_name, \ T, \ U, \ udt_trait>; \ using lhs_type = typename result_types::lhs_type; \ using rhs_type = typename result_types::rhs_type; \ using tuple_type = ::boost::hana::tuple<lhs_type, rhs_type>; \ return {tuple_type{lhs_type{static_cast<T &&>(lhs)}, \ rhs_type{static_cast<U &&>(rhs)}}}; \ } /** Defines user defined literal template that creates literal placeholders instantiated from the \a expr_template expression template. It is recommended that you put this in its own namespace. \param expr_template The expression template to use to instantiate the result expression. \a expr_template must be an \ref ExpressionTemplate. */ #define BOOST_YAP_USER_LITERAL_PLACEHOLDER_OPERATOR(expr_template) \ template<char... c> \ constexpr auto operator"" _p() \ { \ using i = ::boost::hana::llong< \ ::boost::hana::ic_detail::parse<sizeof...(c)>({c...})>; \ static_assert(1 <= i::value, "Placeholders must be >= 1."); \ return expr_template< \ ::boost::yap::expr_kind::terminal, \ ::boost::hana::tuple<::boost::yap::placeholder<i::value>>>{}; \ } #endif