12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576 |
- #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>
- #include <iterator>
- 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 std::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
|