Chris@16: // Boost.Range library
Chris@16: //
Chris@16: //  Copyright Jonathan Turkanis 2005. Use, modification and
Chris@16: //  distribution is subject to the Boost Software License, Version
Chris@16: //  1.0. (See accompanying file LICENSE_1_0.txt or copy at
Chris@16: //  http://www.boost.org/LICENSE_1_0.txt)
Chris@16: //
Chris@16: // For more information, see http://www.boost.org/libs/range/
Chris@16: //
Chris@16: 
Chris@16: 
Chris@16: #ifndef BOOST_RANGE_DETAIL_REMOVE_BOUNDS_HPP
Chris@16: #define BOOST_RANGE_DETAIL_REMOVE_BOUNDS_HPP
Chris@16: 
Chris@16: #include <boost/config.hpp>  // MSVC, NO_INTRINSIC_WCHAR_T, put size_t in std.
Chris@16: #include <cstddef>
Chris@16: #include <boost/mpl/eval_if.hpp>
Chris@16: #include <boost/mpl/identity.hpp>
Chris@16: #include <boost/type_traits/is_same.hpp>
Chris@16: 
Chris@16: namespace boost 
Chris@16: {
Chris@16:     namespace range_detail
Chris@16:     {
Chris@16:         
Chris@16:         template< typename Case1 = mpl::true_,
Chris@16:                   typename Type1 = mpl::void_,
Chris@16:                   typename Case2 = mpl::true_,
Chris@16:                   typename Type2 = mpl::void_,
Chris@16:                   typename Case3 = mpl::true_,
Chris@16:                   typename Type3 = mpl::void_,
Chris@16:                   typename Case4 = mpl::true_,
Chris@16:                   typename Type4 = mpl::void_,
Chris@16:                   typename Case5 = mpl::true_,
Chris@16:                   typename Type5 = mpl::void_,
Chris@16:                   typename Case6 = mpl::true_,
Chris@16:                   typename Type6 = mpl::void_,
Chris@16:                   typename Case7 = mpl::true_,
Chris@16:                   typename Type7 = mpl::void_,
Chris@16:                   typename Case8 = mpl::true_,
Chris@16:                   typename Type8 = mpl::void_,
Chris@16:                   typename Case9 = mpl::true_,
Chris@16:                   typename Type9 = mpl::void_,
Chris@16:                   typename Case10 = mpl::true_,
Chris@16:                   typename Type10 = mpl::void_,
Chris@16:                   typename Case11 = mpl::true_,
Chris@16:                   typename Type11 = mpl::void_,
Chris@16:                   typename Case12 = mpl::true_,
Chris@16:                   typename Type12 = mpl::void_,
Chris@16:                   typename Case13 = mpl::true_,
Chris@16:                   typename Type13 = mpl::void_,
Chris@16:                   typename Case14 = mpl::true_,
Chris@16:                   typename Type14 = mpl::void_,
Chris@16:                   typename Case15 = mpl::true_,
Chris@16:                   typename Type15 = mpl::void_,
Chris@16:                   typename Case16 = mpl::true_,
Chris@16:                   typename Type16 = mpl::void_,
Chris@16:                   typename Case17 = mpl::true_,
Chris@16:                   typename Type17 = mpl::void_,
Chris@16:                   typename Case18 = mpl::true_,
Chris@16:                   typename Type18 = mpl::void_,
Chris@16:                   typename Case19 = mpl::true_,
Chris@16:                   typename Type19 = mpl::void_,
Chris@16:                   typename Case20 = mpl::true_,
Chris@16:                   typename Type20 = mpl::void_>
Chris@16:         struct select {
Chris@16:             typedef typename
Chris@16:                     mpl::eval_if<
Chris@16:                         Case1, mpl::identity<Type1>, mpl::eval_if<
Chris@16:                         Case2, mpl::identity<Type2>, mpl::eval_if<
Chris@16:                         Case3, mpl::identity<Type3>, mpl::eval_if<
Chris@16:                         Case4, mpl::identity<Type4>, mpl::eval_if<
Chris@16:                         Case5, mpl::identity<Type5>, mpl::eval_if<
Chris@16:                         Case6, mpl::identity<Type6>, mpl::eval_if<
Chris@16:                         Case7, mpl::identity<Type7>, mpl::eval_if<
Chris@16:                         Case8, mpl::identity<Type8>, mpl::eval_if<
Chris@16:                         Case9, mpl::identity<Type9>, mpl::if_<
Chris@16:                         Case10, Type10, mpl::void_ > > > > > > > > >
Chris@16:                     >::type result1;
Chris@16:             typedef typename
Chris@16:                     mpl::eval_if<
Chris@16:                         Case11, mpl::identity<Type11>, mpl::eval_if<
Chris@16:                         Case12, mpl::identity<Type12>, mpl::eval_if<
Chris@16:                         Case13, mpl::identity<Type13>, mpl::eval_if<
Chris@16:                         Case14, mpl::identity<Type14>, mpl::eval_if<
Chris@16:                         Case15, mpl::identity<Type15>, mpl::eval_if<
Chris@16:                         Case16, mpl::identity<Type16>, mpl::eval_if<
Chris@16:                         Case17, mpl::identity<Type17>, mpl::eval_if<
Chris@16:                         Case18, mpl::identity<Type18>, mpl::eval_if<
Chris@16:                         Case19, mpl::identity<Type19>, mpl::if_<
Chris@16:                         Case20, Type20, mpl::void_ > > > > > > > > >
Chris@16:                     > result2;
Chris@16:             typedef typename    
Chris@16:                     mpl::eval_if<
Chris@16:                         is_same<result1, mpl::void_>,
Chris@16:                         result2,
Chris@16:                         mpl::identity<result1>
Chris@16:                     >::type type;
Chris@16:         };
Chris@16: 
Chris@16:         template<typename T>
Chris@16:         struct remove_extent {
Chris@16:             static T* ar;
Chris@16:             BOOST_STATIC_CONSTANT(std::size_t, size = sizeof(*ar) / sizeof((*ar)[0]));
Chris@16: 
Chris@16:             typedef typename
Chris@16:                     select<
Chris@16:                         is_same<T, bool[size]>,                  bool,
Chris@16:                         is_same<T, char[size]>,                  char,
Chris@16:                         is_same<T, signed char[size]>,           signed char,
Chris@16:                         is_same<T, unsigned char[size]>,         unsigned char,
Chris@16:                     #ifndef BOOST_NO_INTRINSIC_WCHAR_T
Chris@16:                         is_same<T, wchar_t[size]>,               wchar_t,
Chris@16:                     #endif
Chris@16:                         is_same<T, short[size]>,                 short,
Chris@16:                         is_same<T, unsigned short[size]>,        unsigned short,
Chris@16:                         is_same<T, int[size]>,                   int,
Chris@16:                         is_same<T, unsigned int[size]>,          unsigned int,
Chris@16:                         is_same<T, long[size]>,                  long,
Chris@16:                         is_same<T, unsigned long[size]>,         unsigned long,
Chris@16:                         is_same<T, float[size]>,                 float,
Chris@16:                         is_same<T, double[size]>,                double,
Chris@16:                         is_same<T, long double[size]>,           long double
Chris@16:                     >::type result1;
Chris@16:             typedef typename
Chris@16:                     select<
Chris@16:                         is_same<T, const bool[size]>,            const bool,
Chris@16:                         is_same<T, const char[size]>,            const char,
Chris@16:                         is_same<T, const signed char[size]>,     const signed char,
Chris@16:                         is_same<T, const unsigned char[size]>,   const unsigned char,
Chris@16:                     #ifndef BOOST_NO_INTRINSIC_WCHAR_T
Chris@16:                         is_same<T, const wchar_t[size]>,         const wchar_t,
Chris@16:                     #endif
Chris@16:                         is_same<T, const short[size]>,           const short,
Chris@16:                         is_same<T, const unsigned short[size]>,  const unsigned short,
Chris@16:                         is_same<T, const int[size]>,             const int,
Chris@16:                         is_same<T, const unsigned int[size]>,    const unsigned int,
Chris@16:                         is_same<T, const long[size]>,            const long,
Chris@16:                         is_same<T, const unsigned long[size]>,   const unsigned long,
Chris@16:                         is_same<T, const float[size]>,           const float,
Chris@16:                         is_same<T, const double[size]>,          const double,
Chris@16:                         is_same<T, const long double[size]>,     const long double
Chris@16:                     > result2;
Chris@16:             typedef typename
Chris@16:                     mpl::eval_if<
Chris@16:                         is_same<result1, mpl::void_>,
Chris@16:                         result2,
Chris@16:                         mpl::identity<result1>
Chris@16:                     >::type type;
Chris@16:         };
Chris@16: 
Chris@16:     } // namespace 'range_detail'
Chris@16: 
Chris@16: } // namespace 'boost'
Chris@16: 
Chris@16: 
Chris@16: #endif