Chris@16: /* Copyright 2003-2013 Joaquin M Lopez Munoz.
Chris@16:  * Distributed under the Boost Software License, Version 1.0.
Chris@16:  * (See accompanying file LICENSE_1_0.txt or copy at
Chris@16:  * http://www.boost.org/LICENSE_1_0.txt)
Chris@16:  *
Chris@16:  * See http://www.boost.org/libs/multi_index for library home page.
Chris@16:  */
Chris@16: 
Chris@16: #ifndef BOOST_MULTI_INDEX_DETAIL_VARTEMPL_SUPPORT_HPP
Chris@16: #define BOOST_MULTI_INDEX_DETAIL_VARTEMPL_SUPPORT_HPP
Chris@16: 
Chris@101: #if defined(_MSC_VER)
Chris@16: #pragma once
Chris@16: #endif
Chris@16: 
Chris@16: /* Utilities for emulation of variadic template functions. Variadic packs are
Chris@16:  * replaced by lists of BOOST_MULTI_INDEX_LIMIT_VARTEMPL_ARGS parameters:
Chris@16:  *
Chris@16:  *   - typename... Args            --> BOOST_MULTI_INDEX_TEMPLATE_PARAM_PACK
Chris@16:  *   - Args&&... args              --> BOOST_MULTI_INDEX_FUNCTION_PARAM_PACK
Chris@16:  *   - std::forward<Args>(args)... --> BOOST_MULTI_INDEX_FORWARD_PARAM_PACK
Chris@16:  *
Chris@16:  * Forwarding emulated with Boost.Move. A template functions foo_imp
Chris@16:  * defined in such way accepts *exactly* BOOST_MULTI_INDEX_LIMIT_VARTEMPL_ARGS
Chris@16:  * arguments: variable number of arguments is emulated by providing a set of
Chris@16:  * overloads foo forwarding to foo_impl with
Chris@16:  * 
Chris@16:  *   BOOST_MULTI_INDEX_OVERLOADS_TO_VARTEMPL
Chris@16:  *   BOOST_MULTI_INDEX_OVERLOADS_TO_VARTEMPL_EXTRA_ARG (initial extra arg)
Chris@16:  *
Chris@16:  * which fill the extra args with boost::multi_index::detail::noarg's.
Chris@16:  * boost::multi_index::detail::vartempl_placement_new works the opposite
Chris@16:  * way: it acceps a full a pointer x to Value and a
Chris@16:  * BOOST_MULTI_INDEX_FUNCTION_PARAM_PACK and forwards to
Chris@16:  * new(x) Value(args) where args is the argument pack after discarding
Chris@16:  * noarg's.
Chris@16:  *
Chris@16:  * Emulation decays to the real thing when the compiler supports variadic
Chris@16:  * templates and move semantics natively.
Chris@16:  */
Chris@16: 
Chris@16: #include <boost/config.hpp>
Chris@16: 
Chris@16: #if defined(BOOST_NO_CXX11_RVALUE_REFERENCES)||\
Chris@16:     defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
Chris@16: 
Chris@16: #include <boost/move/core.hpp>
Chris@16: #include <boost/move/utility.hpp>
Chris@16: #include <boost/preprocessor/arithmetic/add.hpp>
Chris@16: #include <boost/preprocessor/arithmetic/sub.hpp>
Chris@16: #include <boost/preprocessor/cat.hpp>
Chris@16: #include <boost/preprocessor/control/if.hpp>
Chris@16: #include <boost/preprocessor/facilities/empty.hpp>
Chris@16: #include <boost/preprocessor/facilities/intercept.hpp>
Chris@16: #include <boost/preprocessor/logical/and.hpp>
Chris@16: #include <boost/preprocessor/punctuation/comma.hpp>
Chris@16: #include <boost/preprocessor/punctuation/comma_if.hpp>
Chris@16: #include <boost/preprocessor/repetition/enum.hpp>
Chris@16: #include <boost/preprocessor/repetition/enum_params.hpp>
Chris@16: #include <boost/preprocessor/repetition/repeat_from_to.hpp>
Chris@16: #include <boost/preprocessor/seq/elem.hpp>
Chris@16: 
Chris@16: #if !defined(BOOST_MULTI_INDEX_LIMIT_VARTEMPL_ARGS)
Chris@16: #define BOOST_MULTI_INDEX_LIMIT_VARTEMPL_ARGS 5
Chris@16: #endif
Chris@16: 
Chris@16: #define BOOST_MULTI_INDEX_TEMPLATE_PARAM_PACK                        \
Chris@16: BOOST_PP_ENUM_PARAMS(                                                \
Chris@16:   BOOST_MULTI_INDEX_LIMIT_VARTEMPL_ARGS,typename T)
Chris@16: 
Chris@16: #define BOOST_MULTI_INDEX_VARTEMPL_ARG(z,n,_)                        \
Chris@16: BOOST_FWD_REF(BOOST_PP_CAT(T,n)) BOOST_PP_CAT(t,n)
Chris@16: 
Chris@16: #define BOOST_MULTI_INDEX_FUNCTION_PARAM_PACK                        \
Chris@16: BOOST_PP_ENUM(                                                       \
Chris@16:   BOOST_MULTI_INDEX_LIMIT_VARTEMPL_ARGS,                             \
Chris@16:   BOOST_MULTI_INDEX_VARTEMPL_ARG,~)
Chris@16: 
Chris@16: #define BOOST_MULTI_INDEX_VARTEMPL_FORWARD_ARG(z,n,_)                \
Chris@16: boost::forward<BOOST_PP_CAT(T,n)>(BOOST_PP_CAT(t,n))
Chris@16: 
Chris@16: #define BOOST_MULTI_INDEX_FORWARD_PARAM_PACK                         \
Chris@16: BOOST_PP_ENUM(                                                       \
Chris@16:   BOOST_MULTI_INDEX_LIMIT_VARTEMPL_ARGS,                             \
Chris@16:   BOOST_MULTI_INDEX_VARTEMPL_FORWARD_ARG,~)
Chris@16: 
Chris@16: namespace boost{namespace multi_index{namespace detail{
Chris@16: struct noarg{};
Chris@16: }}}
Chris@16: 
Chris@16: /* call vartempl function without args */
Chris@16: 
Chris@16: #define BOOST_MULTI_INDEX_NULL_PARAM_PACK                            \
Chris@16: BOOST_PP_ENUM_PARAMS(                                                \
Chris@16:   BOOST_MULTI_INDEX_LIMIT_VARTEMPL_ARGS,                             \
Chris@16:   boost::multi_index::detail::noarg() BOOST_PP_INTERCEPT)
Chris@16: 
Chris@16: #define BOOST_MULTI_INDEX_TEMPLATE_N(n)                              \
Chris@16: template<BOOST_PP_ENUM_PARAMS(n,typename T)>
Chris@16: 
Chris@16: #define BOOST_MULTI_INDEX_TEMPLATE_0(n)
Chris@16: 
Chris@16: #define BOOST_MULTI_INDEX_OVERLOADS_TO_VARTEMPL_AUX(z,n,data)        \
Chris@16: BOOST_PP_IF(n,                                                       \
Chris@16:   BOOST_MULTI_INDEX_TEMPLATE_N,                                      \
Chris@16:   BOOST_MULTI_INDEX_TEMPLATE_0)(n)                                   \
Chris@16: BOOST_PP_SEQ_ELEM(0,data) /* ret */                                  \
Chris@16: BOOST_PP_SEQ_ELEM(1,data) /* name_from */ (                          \
Chris@16:   BOOST_PP_ENUM(n,BOOST_MULTI_INDEX_VARTEMPL_ARG,~))                 \
Chris@16: {                                                                    \
Chris@16:   return BOOST_PP_SEQ_ELEM(2,data) /* name_to */ (                   \
Chris@16:     BOOST_PP_ENUM(n,BOOST_MULTI_INDEX_VARTEMPL_FORWARD_ARG,~)        \
Chris@16:     BOOST_PP_COMMA_IF(                                               \
Chris@16:       BOOST_PP_AND(                                                  \
Chris@16:         n,BOOST_PP_SUB(BOOST_MULTI_INDEX_LIMIT_VARTEMPL_ARGS,n)))    \
Chris@16:     BOOST_PP_ENUM_PARAMS(                                            \
Chris@16:       BOOST_PP_SUB(BOOST_MULTI_INDEX_LIMIT_VARTEMPL_ARGS,n),         \
Chris@16:       boost::multi_index::detail::noarg() BOOST_PP_INTERCEPT)        \
Chris@16:   );                                                                 \
Chris@16: }
Chris@16: 
Chris@16: #define BOOST_MULTI_INDEX_OVERLOADS_TO_VARTEMPL(                     \
Chris@16:   ret,name_from,name_to)                                             \
Chris@16: BOOST_PP_REPEAT_FROM_TO(                                             \
Chris@16:   0,BOOST_PP_ADD(BOOST_MULTI_INDEX_LIMIT_VARTEMPL_ARGS,1),           \
Chris@16:   BOOST_MULTI_INDEX_OVERLOADS_TO_VARTEMPL_AUX,                       \
Chris@16:   (ret)(name_from)(name_to))
Chris@16: 
Chris@16: #define BOOST_MULTI_INDEX_OVERLOADS_TO_VARTEMPL_EXTRA_ARG_AUX(       \
Chris@16:   z,n,data)                                                          \
Chris@16: BOOST_PP_IF(n,                                                       \
Chris@16:   BOOST_MULTI_INDEX_TEMPLATE_N,                                      \
Chris@16:   BOOST_MULTI_INDEX_TEMPLATE_0)(n)                                   \
Chris@16: BOOST_PP_SEQ_ELEM(0,data) /* ret */                                  \
Chris@16: BOOST_PP_SEQ_ELEM(1,data) /* name_from */ (                          \
Chris@16:   BOOST_PP_SEQ_ELEM(3,data) BOOST_PP_SEQ_ELEM(4,data) /* extra arg */\
Chris@16:   BOOST_PP_COMMA_IF(n)                                               \
Chris@16:   BOOST_PP_ENUM(n,BOOST_MULTI_INDEX_VARTEMPL_ARG,~))                 \
Chris@16: {                                                                    \
Chris@16:   return BOOST_PP_SEQ_ELEM(2,data) /* name_to */ (                   \
Chris@16:     BOOST_PP_SEQ_ELEM(4,data) /* extra_arg_name */                   \
Chris@16:     BOOST_PP_COMMA_IF(n)                                             \
Chris@16:     BOOST_PP_ENUM(n,BOOST_MULTI_INDEX_VARTEMPL_FORWARD_ARG,~)        \
Chris@16:     BOOST_PP_COMMA_IF(                                               \
Chris@16:       BOOST_PP_SUB(BOOST_MULTI_INDEX_LIMIT_VARTEMPL_ARGS,n))         \
Chris@16:     BOOST_PP_ENUM_PARAMS(                                            \
Chris@16:       BOOST_PP_SUB(BOOST_MULTI_INDEX_LIMIT_VARTEMPL_ARGS,n),         \
Chris@16:       boost::multi_index::detail::noarg() BOOST_PP_INTERCEPT)        \
Chris@16:   );                                                                 \
Chris@16: }
Chris@16: 
Chris@16: #define BOOST_MULTI_INDEX_OVERLOADS_TO_VARTEMPL_EXTRA_ARG(           \
Chris@16:   ret,name_from,name_to,extra_arg_type,extra_arg_name)               \
Chris@16: BOOST_PP_REPEAT_FROM_TO(                                             \
Chris@16:   0,BOOST_PP_ADD(BOOST_MULTI_INDEX_LIMIT_VARTEMPL_ARGS,1),           \
Chris@16:   BOOST_MULTI_INDEX_OVERLOADS_TO_VARTEMPL_EXTRA_ARG_AUX,             \
Chris@16:   (ret)(name_from)(name_to)(extra_arg_type)(extra_arg_name))
Chris@16: 
Chris@16: namespace boost{
Chris@16:   
Chris@16: namespace multi_index{
Chris@16:   
Chris@16: namespace detail{
Chris@16: 
Chris@16: #define BOOST_MULTI_INDEX_VARTEMPL_TO_PLACEMENT_NEW_AUX(z,n,name)    \
Chris@16: template<                                                            \
Chris@16:   typename Value                                                     \
Chris@16:   BOOST_PP_COMMA_IF(n)                                               \
Chris@16:   BOOST_PP_ENUM_PARAMS(n,typename T)                                 \
Chris@16: >                                                                    \
Chris@16: Value* name(                                                         \
Chris@16:   Value* x                                                           \
Chris@16:   BOOST_PP_COMMA_IF(n)                                               \
Chris@16:   BOOST_PP_ENUM(n,BOOST_MULTI_INDEX_VARTEMPL_ARG,~)                  \
Chris@16:   BOOST_PP_COMMA_IF(                                                 \
Chris@16:     BOOST_PP_SUB(BOOST_MULTI_INDEX_LIMIT_VARTEMPL_ARGS,n))           \
Chris@16:   BOOST_PP_ENUM_PARAMS(                                              \
Chris@16:     BOOST_PP_SUB(BOOST_MULTI_INDEX_LIMIT_VARTEMPL_ARGS,n),           \
Chris@16:     BOOST_FWD_REF(noarg) BOOST_PP_INTERCEPT))                        \
Chris@16: {                                                                    \
Chris@16:   return new(x) Value(                                               \
Chris@16:     BOOST_PP_ENUM(n,BOOST_MULTI_INDEX_VARTEMPL_FORWARD_ARG,~));      \
Chris@16: }
Chris@16: 
Chris@16: #define BOOST_MULTI_INDEX_VARTEMPL_TO_PLACEMENT_NEW(name)            \
Chris@16: BOOST_PP_REPEAT_FROM_TO(                                             \
Chris@16:   0,BOOST_PP_ADD(BOOST_MULTI_INDEX_LIMIT_VARTEMPL_ARGS,1),           \
Chris@16:   BOOST_MULTI_INDEX_VARTEMPL_TO_PLACEMENT_NEW_AUX,                   \
Chris@16:   name)
Chris@16: 
Chris@16: BOOST_MULTI_INDEX_VARTEMPL_TO_PLACEMENT_NEW(vartempl_placement_new)
Chris@16: 
Chris@16: #undef BOOST_MULTI_INDEX_VARTEMPL_TO_PLACEMENT_NEW_AUX
Chris@16: #undef BOOST_MULTI_INDEX_VARTEMPL_TO_PLACEMENT_NEW
Chris@16: 
Chris@16: } /* namespace multi_index::detail */
Chris@16: 
Chris@16: } /* namespace multi_index */
Chris@16: 
Chris@16: } /* namespace boost */
Chris@16: 
Chris@16: #else
Chris@16: 
Chris@16: /* native variadic templates support */
Chris@16: 
Chris@16: #include <utility>
Chris@16: 
Chris@16: #define BOOST_MULTI_INDEX_TEMPLATE_PARAM_PACK typename... Args
Chris@16: #define BOOST_MULTI_INDEX_FUNCTION_PARAM_PACK Args&&... args
Chris@16: #define BOOST_MULTI_INDEX_FORWARD_PARAM_PACK  std::forward<Args>(args)...
Chris@16: #define BOOST_MULTI_INDEX_NULL_PARAM_PACK
Chris@16: 
Chris@16: #define BOOST_MULTI_INDEX_OVERLOADS_TO_VARTEMPL(                     \
Chris@16:   ret,name_from,name_to)                                             \
Chris@16: template<typename... Args> ret name_from(Args&&... args)             \
Chris@16: {                                                                    \
Chris@16:   return name_to(std::forward<Args>(args)...);                       \
Chris@16: }
Chris@16: 
Chris@16: #define BOOST_MULTI_INDEX_OVERLOADS_TO_VARTEMPL_EXTRA_ARG(           \
Chris@16:   ret,name_from,name_to,extra_arg_type,extra_arg_name)               \
Chris@16: template<typename... Args> ret name_from(                            \
Chris@16:   extra_arg_type extra_arg_name,Args&&... args)                      \
Chris@16: {                                                                    \
Chris@16:   return name_to(extra_arg_name,std::forward<Args>(args)...);        \
Chris@16: }
Chris@16: 
Chris@16: namespace boost{
Chris@16:   
Chris@16: namespace multi_index{
Chris@16:   
Chris@16: namespace detail{
Chris@16: 
Chris@16: template<typename Value,typename... Args>
Chris@16: Value* vartempl_placement_new(Value*x,Args&&... args)
Chris@16: {
Chris@16:   return new(x) Value(std::forward<Args>(args)...);
Chris@16: }
Chris@16: 
Chris@16: } /* namespace multi_index::detail */
Chris@16: 
Chris@16: } /* namespace multi_index */
Chris@16: 
Chris@16: } /* namespace boost */
Chris@16: 
Chris@16: #endif
Chris@16: #endif