boost/lambda
2
0
Fork 0
mirror of https://github.com/boostorg/lambda.git synced 2026-01-22 05:12:51 +00:00
Code Issues Projects Releases Wiki Activity

helper templates for bind lambda functors

Browse Source 
[SVN r12014]
This commit is contained in:
Jaakko Järvi
2001-12-11 22:02:29 +00:00
parent 183b3a6445
commit 072cd1d47c
1 changed files with 25 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

34
include/boost/lambda/detail/lambda_traits.hpp
View File

@@ -348,16 +348,38 @@ struct array_to_pointer <T (&) [N]> {
// from template<class T> foo(T& t) : bind_traits<T>::type
// Conversions:
// T -> T,
// T -> const T,
// cv T -> cv T,
// T& -> T&
// reference_wrapper<T> -> T&
// const reference_wrapper<T> -> T&
// array -> const ref array
// make bound arguments const, this is a deliberate design choice, the
// purpose is to prevent side effects to bound arguments that are stored
// as copies
template<class T>
struct bind_traits {
typedef T type;
typedef const T type;
};
template<class T>
struct bind_traits<T&> {
typedef T& type;
};
// null_types are an exception, we always want to store them as non const
// so that other templates can assume that null_type is always without const
template<>
struct bind_traits<null_type> {
typedef null_type type;
};
// the bind_tuple_mapper, bind_type_generators may
// introduce const to null_type
template<>
struct bind_traits<const null_type> {
typedef null_type type;
};
// Arrays can't be stored as plain types; convert them to references.
@@ -392,12 +414,6 @@ struct bind_traits<const reference_wrapper<T> >{
typedef T& type;
};
// the bind_tuple_mapper, bind_type_generators may
// cause const null_type values to appear in tuples
template<>
struct bind_traits<const null_type> {
typedef null_type type;
};
template <
@@ -460,7 +476,7 @@ public:
} // detail
template <class T> inline const T& make_const(const T& t) { return t; }
.
} // end of namespace lambda
} // end of namespace boost