Chris@16: ///////////////////////////////////////////////////////////////////////////////
Chris@16: /// \file expr.hpp
Chris@16: /// Contains definition of expr\<\> class template.
Chris@16: //
Chris@16: //  Copyright 2008 Eric Niebler. Distributed under the Boost
Chris@16: //  Software License, Version 1.0. (See accompanying file
Chris@16: //  LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
Chris@16: 
Chris@16: #ifndef BOOST_PROTO_EXPR_HPP_EAN_04_01_2005
Chris@16: #define BOOST_PROTO_EXPR_HPP_EAN_04_01_2005
Chris@16: 
Chris@16: #include <boost/preprocessor/cat.hpp>
Chris@16: #include <boost/preprocessor/arithmetic/dec.hpp>
Chris@16: #include <boost/preprocessor/selection/max.hpp>
Chris@16: #include <boost/preprocessor/iteration/iterate.hpp>
Chris@16: #include <boost/preprocessor/facilities/intercept.hpp>
Chris@16: #include <boost/preprocessor/repetition/repeat.hpp>
Chris@16: #include <boost/preprocessor/repetition/repeat_from_to.hpp>
Chris@16: #include <boost/preprocessor/repetition/enum_trailing.hpp>
Chris@16: #include <boost/preprocessor/repetition/enum_params.hpp>
Chris@16: #include <boost/preprocessor/repetition/enum_binary_params.hpp>
Chris@16: #include <boost/preprocessor/repetition/enum_trailing_params.hpp>
Chris@16: #include <boost/preprocessor/repetition/enum_trailing_binary_params.hpp>
Chris@16: #include <boost/utility/addressof.hpp>
Chris@16: #include <boost/proto/proto_fwd.hpp>
Chris@16: #include <boost/proto/args.hpp>
Chris@16: #include <boost/proto/traits.hpp>
Chris@16: 
Chris@101: #if defined(_MSC_VER)
Chris@16: # pragma warning(push)
Chris@16: # pragma warning(disable : 4510) // default constructor could not be generated
Chris@16: # pragma warning(disable : 4512) // assignment operator could not be generated
Chris@16: # pragma warning(disable : 4610) // user defined constructor required
Chris@16: # pragma warning(disable : 4714) // function 'xxx' marked as __forceinline not inlined
Chris@16: #endif
Chris@16: 
Chris@16: namespace boost { namespace proto
Chris@16: {
Chris@16: 
Chris@16:     namespace detail
Chris@16:     {
Chris@16:         struct not_a_valid_type
Chris@16:         {
Chris@16:         private:
Chris@16:             not_a_valid_type()
Chris@16:             {}
Chris@16:         };
Chris@16:         
Chris@16:         template<typename Tag, typename Arg>
Chris@16:         struct address_of_hack
Chris@16:         {
Chris@16:             typedef not_a_valid_type type;
Chris@16:         };
Chris@16: 
Chris@16:         template<typename Expr>
Chris@16:         struct address_of_hack<proto::tag::address_of, Expr &>
Chris@16:         {
Chris@16:             typedef Expr *type;
Chris@16:         };
Chris@16: 
Chris@16:         template<typename T, typename Expr, typename Arg0>
Chris@16:         BOOST_FORCEINLINE
Chris@16:         Expr make_terminal(T &t, Expr *, proto::term<Arg0> *)
Chris@16:         {
Chris@16:             Expr that = {t};
Chris@16:             return that;
Chris@16:         }
Chris@16: 
Chris@16:         template<typename T, typename Expr, typename Arg0, std::size_t N>
Chris@16:         BOOST_FORCEINLINE
Chris@16:         Expr make_terminal(T (&t)[N], Expr *, proto::term<Arg0[N]> *)
Chris@16:         {
Chris@16:             Expr that;
Chris@16:             for(std::size_t i = 0; i < N; ++i)
Chris@16:             {
Chris@16:                 that.child0[i] = t[i];
Chris@16:             }
Chris@16:             return that;
Chris@16:         }
Chris@16: 
Chris@16:         template<typename T, typename Expr, typename Arg0, std::size_t N>
Chris@16:         BOOST_FORCEINLINE
Chris@16:         Expr make_terminal(T const(&t)[N], Expr *, proto::term<Arg0[N]> *)
Chris@16:         {
Chris@16:             Expr that;
Chris@16:             for(std::size_t i = 0; i < N; ++i)
Chris@16:             {
Chris@16:                 that.child0[i] = t[i];
Chris@16:             }
Chris@16:             return that;
Chris@16:         }
Chris@16: 
Chris@16:         // Work-around for:
Chris@16:         // https://connect.microsoft.com/VisualStudio/feedback/details/765449/codegen-stack-corruption-using-runtime-checks-when-aggregate-initializing-struct
Chris@16:     #if BOOST_WORKAROUND(BOOST_MSVC, BOOST_TESTED_AT(1700))
Chris@16:         template<typename T, typename Expr, typename C, typename U>
Chris@16:         BOOST_FORCEINLINE
Chris@16:         Expr make_terminal(T &t, Expr *, proto::term<U C::*> *)
Chris@16:         {
Chris@16:             Expr that;
Chris@16:             that.child0 = t;
Chris@16:             return that;
Chris@16:         }
Chris@16:     #endif
Chris@16: 
Chris@16:         template<typename T, typename U>
Chris@16:         struct same_cv
Chris@16:         {
Chris@16:             typedef U type;
Chris@16:         };
Chris@16: 
Chris@16:         template<typename T, typename U>
Chris@16:         struct same_cv<T const, U>
Chris@16:         {
Chris@16:             typedef U const type;
Chris@16:         };
Chris@16:     }
Chris@16: 
Chris@16:     namespace result_of
Chris@16:     {
Chris@16:         /// \brief A helper metafunction for computing the
Chris@16:         /// return type of \c proto::expr\<\>::operator().
Chris@16:         template<typename Sig, typename This, typename Domain>
Chris@16:         struct funop;
Chris@16: 
Chris@16:         #include <boost/proto/detail/funop.hpp>
Chris@16:     }
Chris@16: 
Chris@16:     namespace exprns_
Chris@16:     {
Chris@16:         // This is where the basic_expr specializations are
Chris@16:         // actually defined:
Chris@16:         #include <boost/proto/detail/basic_expr.hpp>
Chris@16: 
Chris@16:         // This is where the expr specialization are
Chris@16:         // actually defined:
Chris@16:         #include <boost/proto/detail/expr.hpp>
Chris@16:     }
Chris@16: 
Chris@16:     /// \brief Lets you inherit the interface of an expression
Chris@16:     /// while hiding from Proto the fact that the type is a Proto
Chris@16:     /// expression.
Chris@16:     template<typename Expr>
Chris@16:     struct unexpr
Chris@16:       : Expr
Chris@16:     {
Chris@16:         BOOST_PROTO_UNEXPR()
Chris@16: 
Chris@16:         BOOST_FORCEINLINE
Chris@16:         explicit unexpr(Expr const &e)
Chris@16:           : Expr(e)
Chris@16:         {}
Chris@16:         
Chris@16:         using Expr::operator =;
Chris@16:     };
Chris@16: 
Chris@16: }}
Chris@16: 
Chris@101: #if defined(_MSC_VER)
Chris@16: # pragma warning(pop)
Chris@16: #endif
Chris@16: 
Chris@16: #endif // BOOST_PROTO_EXPR_HPP_EAN_04_01_2005