aboutsummaryrefslogtreecommitdiff
path: root/cutl/details/boost/type_traits/msvc/remove_bounds.hpp
blob: 9aeb9f4eb29c89b2014353d51d4e0cdc75d32a5e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
// Copyright (C) 2004 Peder Holt
// Use, modification and distribution is subject to the Boost Software
// License, Version 1.0. (http://www.boost.org/LICENSE_1_0.txt)

#ifndef BOOST_TYPE_TRAITS_MSVC_REMOVE_BOUNDS_HOLT_2004_0827
#define BOOST_TYPE_TRAITS_MSVC_REMOVE_BOUNDS_HOLT_2004_0827

#include <cutl/details/boost/type_traits/msvc/typeof.hpp>
#include <cutl/details/boost/type_traits/is_array.hpp>

namespace cutl_details_boost {
    namespace detail {
        template<bool IsArray>
        struct remove_bounds_impl_typeof {
            template<typename T,typename ID>
            struct inner {
                typedef T type;
            };
        };
        template<>
        struct remove_bounds_impl_typeof<true> {
            template<typename T,typename ID>
            struct inner {
                template<typename U>
                static msvc_register_type<U,ID> test(U[]);
                static msvc_register_type<T,ID> test(...);
                BOOST_STATIC_CONSTANT(unsigned,register_test=sizeof(test( *((T*)NULL) ) ));
                typedef typename msvc_extract_type<ID>::id2type::type type;
            };
        };
    } //namespace detail

    template<typename T>
    struct remove_bounds {
        typedef typename cutl_details_boost::detail::remove_bounds_impl_typeof<
            cutl_details_boost::is_array<T>::value                
        >::template inner<T,remove_bounds<T> >::type type;
        BOOST_MPL_AUX_LAMBDA_SUPPORT(1,remove_bounds,T)
    };
} //namespace cutl_details_boost

#endif //BOOST_TYPE_TRAITS_MSVC_REMOVE_BOUNDS_HOLT_2004_0827