Check *implicit* convertibility from reference to value

[SVN r20925]
This commit is contained in:
Dave Abrahams
2003-11-23 17:07:04 +00:00
parent dfc09c4b26
commit b63814d3f2

View File

@ -21,6 +21,7 @@
#include <boost/type_traits/is_same.hpp> #include <boost/type_traits/is_same.hpp>
#include <boost/type_traits/is_integral.hpp> #include <boost/type_traits/is_integral.hpp>
#include <boost/type_traits/is_convertible.hpp>
#include <boost/mpl/bool.hpp> #include <boost/mpl/bool.hpp>
#include <boost/mpl/if.hpp> #include <boost/mpl/if.hpp>
@ -68,7 +69,8 @@ namespace boost_concepts {
boost::DefaultConstructibleConcept<Iterator> >(); boost::DefaultConstructibleConcept<Iterator> >();
reference r = *i; // or perhaps read(x) reference r = *i; // or perhaps read(x)
value_type v(r); value_type v = r;
value_type v2 = *i;
boost::ignore_unused_variable_warning(v); boost::ignore_unused_variable_warning(v);
} }
Iterator i; Iterator i;