Sprout/sprout/container/container_transform_traits.hpp
2014-01-08 16:48:12 +09:00

86 lines
2.7 KiB
C++

/*=============================================================================
Copyright (c) 2011-2014 Bolero MURAKAMI
https://github.com/bolero-MURAKAMI/Sprout
Distributed under 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)
=============================================================================*/
#ifndef SPROUT_CONTAINER_CONTAINER_TRANSFORM_TRAITS_HPP
#define SPROUT_CONTAINER_CONTAINER_TRANSFORM_TRAITS_HPP
#include <cstddef>
#include <type_traits>
#include <sprout/config.hpp>
#include <sprout/container/container_traits.hpp>
#include <sprout/container/detail/array_like.hpp>
namespace sprout {
//
// container_transform_traits
//
template<typename Container>
struct container_transform_traits;
namespace detail {
template<typename Container, typename sprout::container_traits<Container>::size_type Size>
struct default_array_rebind_size;
template<
template<typename, std::size_t> class Array,
typename T,
std::size_t N,
typename sprout::container_traits<Array<T, N> >::size_type Size
>
struct default_array_rebind_size<Array<T, N>, Size> {
public:
typedef Array<T, Size> type;
};
template<typename Container, typename = void>
struct inherit_default_rebind_size {};
template<typename Container>
struct inherit_default_rebind_size<
Container,
typename std::enable_if<sprout::detail::is_array_like<Container>::value>::type
> {
public:
template<typename sprout::container_traits<Container>::size_type Size>
struct rebind_size
: public sprout::detail::default_array_rebind_size<Container, Size>
{};
};
} // namespace detail
template<typename Container>
struct container_transform_traits
: public sprout::detail::inherit_default_rebind_size<Container>
{};
template<typename Container>
struct container_transform_traits<Container const> {
public:
template<typename sprout::container_traits<Container>::size_type Size>
struct rebind_size {
typedef typename sprout::container_transform_traits<Container>::template rebind_size<Size>::type const type;
};
};
template<typename T, std::size_t N>
struct container_transform_traits<T[N]> {
public:
template<typename sprout::container_traits<T[N]>::size_type Size>
struct rebind_size {
public:
typedef T type[Size];
};
};
template<typename T, std::size_t N>
struct container_transform_traits<T const[N]> {
public:
template<typename sprout::container_traits<T const[N]>::size_type Size>
struct rebind_size {
public:
typedef T const type[Size];
};
};
} // namespace sprout
#endif // #ifndef SPROUT_CONTAINER_CONTAINER_TRANSFORM_TRAITS_HPP