boostorg/detail
1
0
Fork 1
mirror of https://github.com/boostorg/detail.git synced 2025-07-31 21:04:27 +02:00
Code Issues Packages Projects Releases Wiki Activity

fixed is_named_param_list to handle case when X is a reference type

Browse Source 
[SVN r9572]
This commit is contained in:
Jeremy Siek
2001-03-18 02:17:22 +00:00
parent 66f30e813e
commit cf8fe4f2b1
1 changed files with 17 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
include/boost/detail/named_template_params.hpp
View File

@@ -8,6 +8,7 @@
#define BOOST_DETAIL_NAMED_TEMPLATE_PARAMS_HPP #define BOOST_DETAIL_NAMED_TEMPLATE_PARAMS_HPP
#include <boost/type_traits/conversion_traits.hpp> #include <boost/type_traits/conversion_traits.hpp>
#include <boost/type_traits/composite_traits.hpp> // for is_reference
#if defined(__BORLANDC__) #if defined(__BORLANDC__)
#include <boost/type_traits/ice.hpp> #include <boost/type_traits/ice.hpp>
#endif #endif
@@ -87,9 +88,24 @@ namespace boost {
// we use is_convertible<X, iter_traits_gen_base>. // we use is_convertible<X, iter_traits_gen_base>.
struct named_template_param_base { }; struct named_template_param_base { };
struct is_convertible_to_named_param {
template <class X> struct bind {
enum { value = is_convertible<X*, named_template_param_base*>::value };
};
};
struct not_named_param {
template <class X> struct bind {
enum { value = false };
};
};
template <class X> template <class X>
struct is_named_param_list { struct is_named_param_list {
enum { value = is_convertible<X*, named_template_param_base*>::value }; // If X is a reference type, we can't form a pointer and use is_convertible<X*, ...>,
// but we know that if it is a reference, it isn't a named parameter.
typedef typename ct_if<is_reference<X>::value,
not_named_param, is_convertible_to_named_param>::type IsNamedParam;
enum { value = IsNamedParam::template bind<X>::value };
}; };
struct choose_named_params { struct choose_named_params {