Chris@16: // (C) Copyright David Abrahams 2002.
Chris@16: // (C) Copyright Jeremy Siek    2002.
Chris@16: // (C) Copyright Thomas Witt    2002.
Chris@16: // Distributed under the Boost Software License, Version 1.0. (See
Chris@16: // accompanying file LICENSE_1_0.txt or copy at
Chris@16: // http://www.boost.org/LICENSE_1_0.txt)
Chris@16: 
Chris@16: // no include guard multiple inclusion intended
Chris@16: 
Chris@16: //
Chris@16: // This is a temporary workaround until the bulk of this is
Chris@16: // available in boost config.
Chris@16: // 23/02/03 thw
Chris@16: //
Chris@16: 
Chris@16: #include <boost/config.hpp> // for prior
Chris@16: #include <boost/detail/workaround.hpp>
Chris@16: 
Chris@16: #ifdef BOOST_ITERATOR_CONFIG_DEF
Chris@16: # error you have nested config_def #inclusion.
Chris@16: #else 
Chris@16: # define BOOST_ITERATOR_CONFIG_DEF
Chris@16: #endif 
Chris@16: 
Chris@16: // We enable this always now.  Otherwise, the simple case in
Chris@16: // libs/iterator/test/constant_iterator_arrow.cpp fails to compile
Chris@16: // because the operator-> return is improperly deduced as a non-const
Chris@16: // pointer.
Chris@16: #if 1 || defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)           \
Chris@16:     || BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x531))
Chris@16: 
Chris@16: // Recall that in general, compilers without partial specialization
Chris@16: // can't strip constness.  Consider counting_iterator, which normally
Chris@16: // passes a const Value to iterator_facade.  As a result, any code
Chris@16: // which makes a std::vector of the iterator's value_type will fail
Chris@16: // when its allocator declares functions overloaded on reference and
Chris@16: // const_reference (the same type).
Chris@16: //
Chris@16: // Furthermore, Borland 5.5.1 drops constness in enough ways that we
Chris@16: // end up using a proxy for operator[] when we otherwise shouldn't.
Chris@16: // Using reference constness gives it an extra hint that it can
Chris@16: // return the value_type from operator[] directly, but is not
Chris@16: // strictly necessary.  Not sure how best to resolve this one.
Chris@16: 
Chris@16: # define BOOST_ITERATOR_REF_CONSTNESS_KILLS_WRITABILITY 1
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@101: #if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x5A0))                      \
Chris@16:     || (BOOST_WORKAROUND(BOOST_INTEL_CXX_VERSION, <= 700) && defined(_MSC_VER)) \
Chris@16:     || BOOST_WORKAROUND(__DECCXX_VER, BOOST_TESTED_AT(60590042))                \
Chris@16:     || BOOST_WORKAROUND(__SUNPRO_CC, BOOST_TESTED_AT(0x590))
Chris@16:     
Chris@16: # define BOOST_NO_LVALUE_RETURN_DETECTION
Chris@16: 
Chris@16: # if 0 // test code
Chris@16:   struct v  {};
Chris@16: 
Chris@16:   typedef  char (&no)[3];
Chris@16: 
Chris@16:   template <class T>
Chris@16:   no foo(T const&, ...);
Chris@16: 
Chris@16:   template <class T>
Chris@16:   char foo(T&, int);
Chris@16: 
Chris@16: 
Chris@16:   struct value_iterator
Chris@16:   {
Chris@16:       v operator*() const;
Chris@16:   };
Chris@16: 
Chris@16:   template <class T>
Chris@16:   struct lvalue_deref_helper
Chris@16:   {
Chris@16:       static T& x;
Chris@16:       enum { value = (sizeof(foo(*x,0)) == 1) };
Chris@16:   };
Chris@16: 
Chris@16:   int z2[(lvalue_deref_helper<v*>::value == 1) ? 1 : -1];
Chris@16:   int z[(lvalue_deref_helper<value_iterator>::value) == 1 ? -1 : 1 ];
Chris@16: # endif 
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16: #if BOOST_WORKAROUND(__MWERKS__, <=0x2407)
Chris@16: #  define BOOST_NO_IS_CONVERTIBLE // "is_convertible doesn't work for simple types"
Chris@16: #endif
Chris@16: 
Chris@101: #if BOOST_WORKAROUND(__GNUC__, == 3) && BOOST_WORKAROUND(__GNUC_MINOR__, < 4) && !defined(__EDG_VERSION__)   \
Chris@16:     || BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x551))
Chris@16: #  define BOOST_NO_IS_CONVERTIBLE_TEMPLATE // The following program fails to compile:
Chris@16: 
Chris@16: #  if 0 // test code
Chris@16:     #include <boost/type_traits/is_convertible.hpp>
Chris@16:     template <class T>
Chris@16:     struct foo
Chris@16:     {
Chris@16:         foo(T);
Chris@16: 
Chris@16:         template <class U>
Chris@16:         foo(foo<U> const& other) : p(other.p) { }
Chris@16: 
Chris@16:         T p;
Chris@16:     };
Chris@16: 
Chris@16:     bool x = boost::is_convertible<foo<int const*>, foo<int*> >::value;
Chris@16: #  endif
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16: 
Chris@16: #if !defined(BOOST_MSVC) && (defined(BOOST_NO_SFINAE) || defined(BOOST_NO_IS_CONVERTIBLE) || defined(BOOST_NO_IS_CONVERTIBLE_TEMPLATE))
Chris@16: # define BOOST_NO_STRICT_ITERATOR_INTEROPERABILITY
Chris@16: #endif 
Chris@16: 
Chris@101: # if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x564))
Chris@16: 
Chris@101: // GCC-2.95 (obsolete) eagerly instantiates templated constructors and conversion
Chris@16: // operators in convertibility checks, causing premature errors.
Chris@16: //
Chris@16: // Borland's problems are harder to diagnose due to lack of an
Chris@16: // instantiation stack backtrace.  They may be due in part to the fact
Chris@16: // that it drops cv-qualification willy-nilly in templates.
Chris@16: #  define BOOST_NO_ONE_WAY_ITERATOR_INTEROP
Chris@16: # endif 
Chris@16: 
Chris@16: // no include guard; multiple inclusion intended