This commit was manufactured by cvs2svn to create branch

'function_signature_patches_1_31'. [SVN r22633]
Kill off outer cv-stripping of Dereferenceable
2025-12-18 21:12:37 +01:00 · 2004-04-13 12:19:16 +00:00 · 2004-01-13 19:18:42 +00:00 · 2004-01-11 00:03:09 +00:00 · 2004-01-06 17:35:36 +00:00
2 changed files with 110 additions and 0 deletions
--- a/include/boost/detail/is_incrementable.hpp
+++ b/include/boost/detail/is_incrementable.hpp
@@ -0,0 +1,71 @@
+// Copyright David Abrahams 2004. Use, modification and distribution is
+// subject to the Boost Software License, Version 1.0. (See accompanying
+// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+#ifndef IS_INCREMENTABLE_DWA200415_HPP
+# define IS_INCREMENTABLE_DWA200415_HPP
+
+# include <boost/type_traits/remove_cv.hpp>
+# include <boost/mpl/bool.hpp>
+# include <boost/detail/workaround.hpp>
+
+namespace boost { namespace detail { 
+
+// is_incrementable<T> metafunction
+//
+// Requires: Given x of type T&, if the expression ++x is well-formed
+// it must have complete type; otherwise, it must neither be ambiguous
+// nor violate access.
+
+// This namespace ensures that ADL doesn't mess things up.
+namespace is_incrementable_
+{
+  struct tag {};
+
+  // any soaks up implicit conversions and makes the following
+  // operator++ less-preferred than any other such operator which
+  // might be found via ADL.
+  struct any { template <class T> any(T const&); };
+  tag operator++(any const&);
+
+  // two check overloads help us identify which operator++ was picked
+  char (& check(tag) )[2];
+  
+  template <class T>
+  char check(T const&);
+  
+
+  template <class T>
+  struct
+# if BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
+  impl
+# else 
+  is_incrementable
+# endif 
+  {
+      static typename remove_cv<T>::type& x;
+
+      BOOST_STATIC_CONSTANT(
+          bool
+        , value = sizeof(is_incrementable_::check(++x)) == 1
+      );
+
+      typedef mpl::bool_<(
+# if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
+                             ::boost::detail::is_incrementable_::is_incrementable<T>::
+# endif 
+                             value)> type;
+  };
+}
+
+# if BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
+template <class T>
+struct is_incrementable : is_incrementable_::impl<T>
+{
+};
+# else
+using is_incrementable_::is_incrementable;
+# endif 
+
+}} // namespace boost::detail
+
+#endif // IS_INCREMENTABLE_DWA200415_HPP
--- a/include/boost/indirect_reference.hpp
+++ b/include/boost/indirect_reference.hpp
@@ -0,0 +1,39 @@
+// Copyright David Abrahams 2004. Use, modification and distribution is
+// subject to the Boost Software License, Version 1.0. (See accompanying
+// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+#ifndef INDIRECT_REFERENCE_DWA200415_HPP
+# define INDIRECT_REFERENCE_DWA200415_HPP
+
+// dereferenceable_traits provides access to the value_type and
+// reference of a Dereferenceable type.
+
+# include <boost/detail/is_incrementable.hpp>
+# include <boost/iterator/iterator_traits.hpp>
+# include <boost/type_traits/remove_cv.hpp>
+# include <boost/mpl/apply_if.hpp>
+# include <boost/pointee.hpp>
+
+namespace boost { 
+
+namespace detail
+{
+  template <class P>
+  struct smart_ptr_reference
+  {
+      typedef typename boost::pointee<P>::type& type;
+  };
+}
+
+template <class P>
+struct indirect_reference
+  : mpl::apply_if<
+        detail::is_incrementable<P>
+      , iterator_reference<P>
+      , detail::smart_ptr_reference<P>
+    >
+{
+};
+  
+} // namespace boost
+
+#endif // INDIRECT_REFERENCE_DWA200415_HPP
Author	SHA1	Message	Date
nobody	11f2862f05	This commit was manufactured by cvs2svn to create branch 'function_signature_patches_1_31'. [SVN r22633]	2004-04-13 12:19:16 +00:00
Dave Abrahams	2fe7fd95d2	Kill off outer cv-stripping of Dereferenceable [SVN r21696]	2004-01-13 19:18:42 +00:00
Dave Abrahams	0096bf2291	Updated pointee and indirect_reference so that pointee represents the immutability of the pointed-to type via const qualification. The pointee of a proxy-based iterator will be const qualified unless a mutable reference to the value_type can be bound to the returned proxy. Added a test for pointee Fixed iterator_facade so operator[] result type computation didn't cause a problem with abstract types. Updated iterator_facade operator[] docs for accuracy. Allowed Borland to simply fail the indirect_iterator_member_types test because of its lame const-dropping, instead of trying to work around it. [SVN r21579]	2004-01-11 00:03:09 +00:00
Dave Abrahams	9ab05a600a	Added traits: is_incrementable.hpp: checks whether ++x is well-formed pointee.hpp: value_type of iterators or smart pointers indirect_reference.hpp: reference type of iterators or smart pointers indirect_iterator.hpp indirect_iterator_member_types.cpp Use pointee/indirect_reference to select value/reference type. iterator_concepts.hpp: Fixed interoperable test. Hardly tests enough, but it's a start minimum_category.hpp: Better error messages for vc6 indirect_iterator_test.cpp: Workarounds for compilers without SFINAE static_assert_same.hpp: Informative error reports; added a macro. zip_iterator_test.hpp: Added missing #include Jamfile: made zip_iterator test pass with vc6/stlport [SVN r21514]	2004-01-06 17:35:36 +00:00