133 lines
		
	
	
		
			3.7 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
		
		
			
		
	
	
			133 lines
		
	
	
		
			3.7 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
|   | ///////////////////////////////////////////////////////////////////////////////
 | ||
|  | /// \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
 | ||
|  | 
 |