sl@0: // (C) Copyright Jonathan Turkanis 2003.
sl@0: // Distributed under the Boost Software License, Version 1.0. (See accompanying
sl@0: // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt.)
sl@0: 
sl@0: // See http://www.boost.org/libs/iostreams for documentation.
sl@0: 
sl@0: #ifndef BOOST_IOSTREAMS_DETAIL_RESOLVE_HPP_INCLUDED
sl@0: #define BOOST_IOSTREAMS_DETAIL_RESOLVE_HPP_INCLUDED
sl@0: 
sl@0: #if defined(_MSC_VER) && (_MSC_VER >= 1020)
sl@0: # pragma once
sl@0: #endif              
sl@0: 
sl@0: #include <boost/config.hpp> // partial spec, put size_t in std.
sl@0: #include <cstddef>          // std::size_t.
sl@0: #include <boost/detail/is_incrementable.hpp>
sl@0: #include <boost/detail/workaround.hpp>
sl@0: #include <boost/iostreams/detail/adapter/mode_adapter.hpp>
sl@0: #include <boost/iostreams/detail/adapter/output_iterator_adapter.hpp>
sl@0: #include <boost/iostreams/detail/adapter/range_adapter.hpp>
sl@0: #include <boost/iostreams/detail/config/gcc.hpp>
sl@0: #include <boost/iostreams/detail/config/overload_resolution.hpp>
sl@0: #include <boost/iostreams/detail/config/wide_streams.hpp>
sl@0: #include <boost/iostreams/detail/enable_if_stream.hpp>
sl@0: #include <boost/iostreams/detail/is_dereferenceable.hpp>
sl@0: #include <boost/iostreams/detail/is_iterator_range.hpp>
sl@0: #include <boost/iostreams/detail/select.hpp>
sl@0: #include <boost/iostreams/detail/wrap_unwrap.hpp>
sl@0: #include <boost/iostreams/device/array.hpp>
sl@0: #include <boost/iostreams/traits.hpp>
sl@0: #include <boost/mpl/and.hpp>
sl@0: #include <boost/mpl/bool.hpp> // true_.
sl@0: #include <boost/mpl/if.hpp>
sl@0: #include <boost/range/iterator_range.hpp>
sl@0: #include <boost/type_traits/is_array.hpp>
sl@0: 
sl@0: // Must come last.
sl@0: #include <boost/iostreams/detail/config/disable_warnings.hpp> // VC7.1 C4224.
sl@0: 
sl@0: namespace boost { namespace iostreams { namespace detail {
sl@0: 
sl@0: //------------------Definition of resolve-------------------------------------//
sl@0: 
sl@0: #ifndef BOOST_IOSTREAMS_BROKEN_OVERLOAD_RESOLUTION //-------------------------//
sl@0: 
sl@0: template<typename Mode, typename Ch, typename T>
sl@0: struct resolve_traits {
sl@0:     typedef typename 
sl@0:             mpl::if_<
sl@0:                 mpl::and_<
sl@0:                     boost::detail::is_incrementable<T>, // Must come first
sl@0:                     is_dereferenceable<T>               // for CW 9.[0-4]
sl@0:                 >,
sl@0:                 output_iterator_adapter<Mode, Ch, T>,
sl@0:                 const T&
sl@0:             >::type type;
sl@0: };
sl@0: 
sl@0: # ifndef BOOST_IOSTREAMS_NO_STREAM_TEMPLATES //-------------------------------//
sl@0: 
sl@0: template<typename Mode, typename Ch, typename T>
sl@0: typename resolve_traits<Mode, Ch, T>::type
sl@0: resolve( const T& t 
sl@0:          BOOST_IOSTREAMS_DISABLE_IF_STREAM(T)
sl@0: 
sl@0:          // I suspect that the compilers which require this workaround may
sl@0:          // be correct, but I'm not sure why :(
sl@0:          #if BOOST_WORKAROUND(BOOST_INTEL_CXX_VERSION, BOOST_TESTED_AT(810)) ||\
sl@0:              BOOST_WORKAROUND(__MWERKS__, BOOST_TESTED_AT(0x3205)) || \
sl@0:              BOOST_WORKAROUND(BOOST_IOSTREAMS_GCC, BOOST_TESTED_AT(400)) \
sl@0:              /**/
sl@0:          , typename disable_if< is_iterator_range<T> >::type* = 0
sl@0:          #endif
sl@0:          )
sl@0: {
sl@0:     typedef typename resolve_traits<Mode, Ch, T>::type return_type;
sl@0:     return return_type(t);
sl@0: }
sl@0: 
sl@0: template<typename Mode, typename Ch, typename Tr>
sl@0: mode_adapter< Mode, std::basic_streambuf<Ch, Tr> > 
sl@0: resolve(std::basic_streambuf<Ch, Tr>& sb)
sl@0: { return mode_adapter< Mode, std::basic_streambuf<Ch, Tr> >(wrap(sb)); }
sl@0: 
sl@0: template<typename Mode, typename Ch, typename Tr>
sl@0: mode_adapter< Mode, std::basic_istream<Ch, Tr> > 
sl@0: resolve(std::basic_istream<Ch, Tr>& is)
sl@0: { return mode_adapter< Mode, std::basic_istream<Ch, Tr> >(wrap(is)); }
sl@0: 
sl@0: template<typename Mode, typename Ch, typename Tr>
sl@0: mode_adapter< Mode, std::basic_ostream<Ch, Tr> > 
sl@0: resolve(std::basic_ostream<Ch, Tr>& os)
sl@0: { return mode_adapter< Mode, std::basic_ostream<Ch, Tr> >(wrap(os)); }
sl@0: 
sl@0: template<typename Mode, typename Ch, typename Tr>
sl@0: mode_adapter< Mode, std::basic_iostream<Ch, Tr> > 
sl@0: resolve(std::basic_iostream<Ch, Tr>& io)
sl@0: { return mode_adapter< Mode, std::basic_iostream<Ch, Tr> >(wrap(io)); }
sl@0: 
sl@0: template<typename Mode, typename Ch, std::size_t N>
sl@0: array_adapter<Mode, Ch> resolve(Ch (&array)[N])
sl@0: { return array_adapter<Mode, Ch>(array); }
sl@0: 
sl@0: template<typename Mode, typename Ch, typename Iter>
sl@0: range_adapter< Mode, boost::iterator_range<Iter> > 
sl@0: resolve(const boost::iterator_range<Iter>& rng)
sl@0: { return range_adapter< Mode, boost::iterator_range<Iter> >(rng); }
sl@0: 
sl@0: # else // # ifndef BOOST_IOSTREAMS_NO_STREAM_TEMPLATES //---------------------//
sl@0: 
sl@0: template<typename Mode, typename Ch, typename T>
sl@0: typename resolve_traits<Mode, Ch, T>::type
sl@0: resolve( const T& t 
sl@0:          BOOST_IOSTREAMS_DISABLE_IF_STREAM(T)
sl@0:          #if defined(__GNUC__)
sl@0:          , typename disable_if< is_iterator_range<T> >::type* = 0
sl@0:          #endif
sl@0:          )
sl@0: {
sl@0:     typedef typename resolve_traits<Mode, Ch, T>::type return_type;
sl@0:     return return_type(t);
sl@0: }
sl@0: 
sl@0: template<typename Mode, typename Ch>
sl@0: mode_adapter<Mode, std::streambuf> 
sl@0: resolve(std::streambuf& sb) 
sl@0: { return mode_adapter<Mode, std::streambuf>(wrap(sb)); }
sl@0: 
sl@0: template<typename Mode, typename Ch>
sl@0: mode_adapter<Mode, std::istream> 
sl@0: resolve(std::istream& is)
sl@0: { return mode_adapter<Mode, std::istream>(wrap(is)); }
sl@0: 
sl@0: template<typename Mode, typename Ch>
sl@0: mode_adapter<Mode, std::ostream> 
sl@0: resolve(std::ostream& os)
sl@0: { return mode_adapter<Mode, std::ostream>(wrap(os)); }
sl@0: 
sl@0: template<typename Mode, typename Ch>
sl@0: mode_adapter<Mode, std::iostream> 
sl@0: resolve(std::iostream& io)
sl@0: { return mode_adapter<Mode, std::iostream>(wrap(io)); }
sl@0: 
sl@0: template<typename Mode, typename Ch, std::size_t N>
sl@0: array_adapter<Mode, Ch> resolve(Ch (&array)[N])
sl@0: { return array_adapter<Mode, Ch>(array); }
sl@0: 
sl@0: template<typename Mode, typename Ch, typename Iter>
sl@0: range_adapter< Mode, boost::iterator_range<Iter> > 
sl@0: resolve(const boost::iterator_range<Iter>& rng)
sl@0: { return range_adapter< Mode, boost::iterator_range<Iter> >(rng); }
sl@0: 
sl@0: # endif // # ifndef BOOST_IOSTREAMS_NO_STREAM_TEMPLATES //--------------------//
sl@0: #else // #ifndef BOOST_IOSTREAMS_BROKEN_OVERLOAD_RESOLUTION //----------------//
sl@0: 
sl@0: template<typename Mode, typename Ch, typename T>
sl@0: struct resolve_traits {
sl@0:     // Note: test for is_iterator_range must come before test for output
sl@0:     // iterator.
sl@0:     typedef typename 
sl@0:             iostreams::select<  // Disambiguation for Tru64.
sl@0:                 is_std_io<T>,
sl@0:                 mode_adapter<Mode, T>,
sl@0:                 is_iterator_range<T>,
sl@0:                 range_adapter<Mode, T>,
sl@0:                 mpl::and_<
sl@0:                     is_dereferenceable<T>,
sl@0:                     boost::detail::is_incrementable<T>
sl@0:                 >,
sl@0:                 output_iterator_adapter<Mode, Ch, T>,
sl@0:                 is_array<T>,
sl@0:                 array_adapter<Mode, T>,
sl@0:                 else_,
sl@0:                 #if !BOOST_WORKAROUND(__BORLANDC__, < 0x600)
sl@0:                     const T&
sl@0:                 #else
sl@0:                     T
sl@0:                 #endif
sl@0:             >::type type;
sl@0: };
sl@0: 
sl@0: template<typename Mode, typename Ch, typename T>
sl@0: typename resolve_traits<Mode, Ch, T>::type 
sl@0: resolve(const T& t, mpl::true_)
sl@0: {   // Bad overload resolution.
sl@0:     typedef typename resolve_traits<Mode, Ch, T>::type return_type;
sl@0:     return return_type(wrap(const_cast<T&>(t)));
sl@0: }
sl@0: 
sl@0: template<typename Mode, typename Ch, typename T>
sl@0: typename resolve_traits<Mode, Ch, T>::type 
sl@0: resolve(const T& t, mpl::false_)
sl@0: { 
sl@0:     typedef typename resolve_traits<Mode, Ch, T>::type return_type;
sl@0:     return return_type(t);
sl@0: }
sl@0: 
sl@0: template<typename Mode, typename Ch, typename T>
sl@0: typename resolve_traits<Mode, Ch, T>::type 
sl@0: resolve(const T& t BOOST_IOSTREAMS_DISABLE_IF_STREAM(T))
sl@0: { return resolve<Mode, Ch>(t, is_std_io<T>()); }
sl@0: 
sl@0: # if !BOOST_WORKAROUND(__BORLANDC__, < 0x600) && \
sl@0:      !BOOST_WORKAROUND(BOOST_MSVC, <= 1300) && \
sl@0:      !defined(__GNUC__) // ---------------------------------------------------//
sl@0: 
sl@0: template<typename Mode, typename Ch, typename T>
sl@0: typename resolve_traits<Mode, Ch, T>::type 
sl@0: resolve(T& t, mpl::true_)
sl@0: { 
sl@0:     typedef typename resolve_traits<Mode, Ch, T>::type return_type;
sl@0:     return return_type(wrap(t));
sl@0: }
sl@0: 
sl@0: template<typename Mode, typename Ch, typename T>
sl@0: typename resolve_traits<Mode, Ch, T>::type 
sl@0: resolve(T& t, mpl::false_)
sl@0: { 
sl@0:     typedef typename resolve_traits<Mode, Ch, T>::type return_type;
sl@0:     return return_type(t);
sl@0: }
sl@0: 
sl@0: template<typename Mode, typename Ch, typename T>
sl@0: typename resolve_traits<Mode, Ch, T>::type 
sl@0: resolve(T& t BOOST_IOSTREAMS_ENABLE_IF_STREAM(T))
sl@0: { return resolve<Mode, Ch>(t, is_std_io<T>()); }
sl@0: 
sl@0: # endif // Borland 5.x, VC6-7.0 or GCC 2.9x //--------------------------------//
sl@0: #endif // #ifndef BOOST_IOSTREAMS_BROKEN_OVERLOAD_RESOLUTION //---------------//
sl@0: 
sl@0: } } } // End namespaces detail, iostreams, boost.
sl@0: 
sl@0: #include <boost/iostreams/detail/config/enable_warnings.hpp> // VC7.1 4224.
sl@0: 
sl@0: #endif // BOOST_IOSTREAMS_DETAIL_RESOLVE_HPP_INCLUDED