/////////////////////////////////////////////////////////////////////////////// /// \file args.hpp /// Contains definition of \c term\<\>, \c list1\<\>, \c list2\<\>, ... /// class templates. // // 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_PROTO_ARGS_HPP_EAN_04_01_2005 #define BOOST_PROTO_ARGS_HPP_EAN_04_01_2005 #include <boost/preprocessor/cat.hpp> #include <boost/preprocessor/arithmetic/dec.hpp> #include <boost/preprocessor/iteration/iterate.hpp> #include <boost/preprocessor/repetition/enum_params.hpp> #include <boost/preprocessor/repetition/repeat.hpp> #include <boost/preprocessor/repetition/repeat_from_to.hpp> #include <boost/mpl/if.hpp> #include <boost/mpl/void.hpp> #include <boost/proto/proto_fwd.hpp> #include <boost/proto/detail/is_noncopyable.hpp> #include <boost/mpl/or.hpp> #include <boost/type_traits/is_function.hpp> #include <boost/type_traits/is_abstract.hpp> namespace boost { namespace proto { namespace detail { /// INTERNAL ONLY template<typename Expr> struct expr_traits { typedef Expr value_type; typedef Expr &reference; typedef Expr const &const_reference; }; /// INTERNAL ONLY template<typename Expr> struct expr_traits<Expr &> { typedef Expr value_type; typedef Expr &reference; typedef Expr &const_reference; }; /// INTERNAL ONLY template<typename Expr> struct expr_traits<Expr const &> { typedef Expr value_type; typedef Expr const &reference; typedef Expr const &const_reference; }; /// INTERNAL ONLY template<typename T> struct term_traits { typedef T value_type; typedef T &reference; typedef T const &const_reference; }; /// INTERNAL ONLY template<typename T> struct term_traits<T &> { typedef typename mpl::if_c<is_noncopyable<T>::value, T &, T>::type value_type; typedef T &reference; typedef T &const_reference; }; /// INTERNAL ONLY template<typename T> struct term_traits<T const &> { typedef T value_type; typedef T const &reference; typedef T const &const_reference; }; /// INTERNAL ONLY template<typename T, std::size_t N> struct term_traits<T (&)[N]> { typedef T value_type[N]; typedef T (&reference)[N]; typedef T (&const_reference)[N]; }; /// INTERNAL ONLY template<typename T, std::size_t N> struct term_traits<T const (&)[N]> { typedef T value_type[N]; typedef T const (&reference)[N]; typedef T const (&const_reference)[N]; }; /// INTERNAL ONLY template<typename T, std::size_t N> struct term_traits<T[N]> { typedef T value_type[N]; typedef T (&reference)[N]; typedef T const (&const_reference)[N]; }; /// INTERNAL ONLY template<typename T, std::size_t N> struct term_traits<T const[N]> { typedef T value_type[N]; typedef T const (&reference)[N]; typedef T const (&const_reference)[N]; }; } namespace argsns_ { // This is where term and all the different listN templates are defined #include <boost/proto/detail/args.hpp> } }} #endif