1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374 |
- #ifndef POINTEE_DWA200415_HPP
- # define POINTEE_DWA200415_HPP
- //
- // 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)
- //
- // typename pointee<P>::type provides the pointee type of P.
- //
- // For example, it is T for T* and X for shared_ptr<X>.
- //
- // http://www.boost.org/libs/iterator/doc/pointee.html
- //
- # include <boost/detail/is_incrementable.hpp>
- # include <boost/iterator/iterator_traits.hpp>
- # include <boost/type_traits/add_const.hpp>
- # include <boost/type_traits/remove_cv.hpp>
- # include <boost/mpl/if.hpp>
- # include <boost/mpl/eval_if.hpp>
- namespace boost {
- namespace detail
- {
- template <class P>
- struct smart_ptr_pointee
- {
- typedef typename P::element_type type;
- };
- template <class Iterator>
- struct iterator_pointee
- {
- typedef typename iterator_traits<Iterator>::value_type value_type;
- struct impl
- {
- template <class T>
- static char test(T const&);
- static char (& test(value_type&) )[2];
- static Iterator& x;
- };
- BOOST_STATIC_CONSTANT(bool, is_constant = sizeof(impl::test(*impl::x)) == 1);
- typedef typename mpl::if_c<
- # if BOOST_WORKAROUND(__BORLANDC__, BOOST_TESTED_AT(0x551))
- ::boost::detail::iterator_pointee<Iterator>::is_constant
- # else
- is_constant
- # endif
- , typename add_const<value_type>::type
- , value_type
- >::type type;
- };
- }
- template <class P>
- struct pointee
- : mpl::eval_if<
- detail::is_incrementable<P>
- , detail::iterator_pointee<P>
- , detail::smart_ptr_pointee<P>
- >
- {
- };
- } // namespace boost
- #endif // POINTEE_DWA200415_HPP
|