[857] | 1 | // -- select_functions.hpp -- Boost Lambda Library --------------------------
|
---|
| 2 |
|
---|
| 3 | // Copyright (C) 1999, 2000 Jaakko Järvi (jaakko.jarvi@cs.utu.fi)
|
---|
| 4 | //
|
---|
| 5 | // Distributed under the Boost Software License, Version 1.0. (See
|
---|
| 6 | // accompanying file LICENSE_1_0.txt or copy at
|
---|
| 7 | // http://www.boost.org/LICENSE_1_0.txt)
|
---|
| 8 | //
|
---|
| 9 | // For more information, see http://www.boost.org
|
---|
| 10 |
|
---|
| 11 |
|
---|
| 12 | #ifndef BOOST_LAMBDA_SELECT_FUNCTIONS_HPP
|
---|
| 13 | #define BOOST_LAMBDA_SELECT_FUNCTIONS_HPP
|
---|
| 14 |
|
---|
| 15 | namespace boost {
|
---|
| 16 | namespace lambda {
|
---|
| 17 | namespace detail {
|
---|
| 18 |
|
---|
| 19 |
|
---|
| 20 | // select functions -------------------------------
|
---|
| 21 | template<class Any, CALL_TEMPLATE_ARGS>
|
---|
| 22 | inline Any& select(Any& any, CALL_FORMAL_ARGS) { CALL_USE_ARGS; return any; }
|
---|
| 23 |
|
---|
| 24 |
|
---|
| 25 | template<class Arg, CALL_TEMPLATE_ARGS>
|
---|
| 26 | inline typename Arg::template sig<tuple<CALL_REFERENCE_TYPES> >::type
|
---|
| 27 | select ( const lambda_functor<Arg>& op, CALL_FORMAL_ARGS ) {
|
---|
| 28 | return op.template call<
|
---|
| 29 | typename Arg::template sig<tuple<CALL_REFERENCE_TYPES> >::type
|
---|
| 30 | >(CALL_ACTUAL_ARGS);
|
---|
| 31 | }
|
---|
| 32 | template<class Arg, CALL_TEMPLATE_ARGS>
|
---|
| 33 | inline typename Arg::template sig<tuple<CALL_REFERENCE_TYPES> >::type
|
---|
| 34 | select ( lambda_functor<Arg>& op, CALL_FORMAL_ARGS) {
|
---|
| 35 | return op.template call<
|
---|
| 36 | typename Arg::template sig<tuple<CALL_REFERENCE_TYPES> >::type
|
---|
| 37 | >(CALL_ACTUAL_ARGS);
|
---|
| 38 | }
|
---|
| 39 |
|
---|
| 40 | // ------------------------------------------------------------------------
|
---|
| 41 | // select functions where the return type is explicitly given
|
---|
| 42 | // Note: on many functions, this return type is just discarded.
|
---|
| 43 | // The select functions are inside a class template, and the return type
|
---|
| 44 | // is a class template argument.
|
---|
| 45 | // The first implementation used function templates with an explicitly
|
---|
| 46 | // specified template parameter.
|
---|
| 47 | // However, this resulted in ambiguous calls (at least with gcc 2.95.2
|
---|
| 48 | // and edg 2.44). Not sure whether the compilers were right or wrong.
|
---|
| 49 |
|
---|
| 50 | template<class RET> struct r_select {
|
---|
| 51 |
|
---|
| 52 | // Any == RET
|
---|
| 53 | template<class Any, CALL_TEMPLATE_ARGS>
|
---|
| 54 | static
|
---|
| 55 | inline RET go (Any& any, CALL_FORMAL_ARGS) { CALL_USE_ARGS; return any; }
|
---|
| 56 |
|
---|
| 57 |
|
---|
| 58 | template<class Arg, CALL_TEMPLATE_ARGS>
|
---|
| 59 | static
|
---|
| 60 | inline RET go (const lambda_functor<Arg>& op, CALL_FORMAL_ARGS ) {
|
---|
| 61 | return op.template call<RET>(CALL_ACTUAL_ARGS);
|
---|
| 62 | }
|
---|
| 63 | template<class Arg, CALL_TEMPLATE_ARGS>
|
---|
| 64 | static
|
---|
| 65 | inline RET go (lambda_functor<Arg>& op, CALL_FORMAL_ARGS ) {
|
---|
| 66 | return op.template call<RET>(CALL_ACTUAL_ARGS);
|
---|
| 67 | }
|
---|
| 68 | };
|
---|
| 69 |
|
---|
| 70 | } // namespace detail
|
---|
| 71 | } // namespace lambda
|
---|
| 72 | } // namespace boost
|
---|
| 73 |
|
---|
| 74 | #endif
|
---|