list_deal.hpp

Go to the documentation of this file.

/*
Copyright© 2014 Akihiro Nishimura

This software is released under the MIT License.
http://opensource.org/licenses/mit-license.php
*/

#ifndef SIG_UTIL_LIST_DEAL_HPP
#define SIG_UTIL_LIST_DEAL_HPP

#include "../helper/helper_modules.hpp"
#include "../helper/container_helper.hpp"


namespace sig
{

template <class T, class C = std::vector<T>>
auto replicate(uint n, T const& value) ->C
{
    C result = impl::container_traits<C>::make(n);

    for (uint i = 0; i<n; ++i) impl::container_traits<C>::add_element(result, value);

    return result;
}



template <class C>
auto reverse(C&& list) ->typename impl::remove_const_reference<C>::type
{
    auto result = std::forward<C>(list);

    std::reverse(std::begin(result), std::end(result));

    return result;
}



template <class C, class R = typename impl::remove_const_reference<C>::type,
    typename std::enable_if<!impl::static_container_traits<R>::exist>::type*& = enabler
>
auto merge(C&& list1, C&& list2) ->R
{
    const uint length = list1.size() + list2.size();
    R result = impl::container_traits<R>::make(length);

    impl::container_traits<R>::concat(result, std::forward<C>(list1));
    impl::container_traits<R>::concat(result, std::forward<C>(list2));

    return result;
}

namespace impl
{
template <class R, class C1, class C2>
auto merge_impl(C1&& list1, C2&& list2) ->R
{
    const uint length = list1.size() + list2.size();
    R result = impl::container_traits<R>::make(length);

    for (auto it = impl::begin(std::forward<C1>(list1)), end = impl::end(std::forward<C1>(list1)); it != end; ++it){
        impl::container_traits<R>::add_element(result, *it);
    }
    for (auto it = impl::begin(std::forward<C2>(list2)), end = impl::end(std::forward<C2>(list2)); it != end; ++it){
        impl::container_traits<R>::add_element(result, *it);
    }

    return result;
}

}   // impl

// コンテナの結合（異なるコンテナ型）
template <class R = void, class C1, class C2,
    class CR1 = typename impl::remove_const_reference<C1>::type,
    class CR2 = typename impl::remove_const_reference<C2>::type,
    class RT = typename std::common_type<
        typename impl::container_traits<CR1>::value_type,
        typename impl::container_traits<CR2>::value_type
    >::type,
    class RR = typename impl::SameIf<R, void,
        typename impl::remove_const_reference< typename impl::container_traits<CR1>::template rebind<RT>>::type,
        R
    >::type,
    class AT1 = typename impl::forward_element<C1>::type,
    class AT2 = typename impl::forward_element<C2>::type,
    typename std::enable_if<!(impl::static_container_traits<CR1>::exist)>::type*& = enabler
>
auto merge(C1&& list1, C2&& list2) ->RR
{
    return impl::merge_impl<RR>(std::forward<C1>(list1), std::forward<C2>(list2));
}

template <class R = void, class SC, class C,
    class SCR = typename impl::remove_const_reference<SC>::type,
    class CR = typename impl::remove_const_reference<C>::type,
    class RT = typename std::common_type<
        typename impl::static_container_traits<SCR>::value_type,
        typename impl::container_traits<CR>::value_type
    >::type,
    class RR = typename impl::SameIf<R, void,
        typename impl::remove_const_reference< typename impl::container_traits<CR>::template rebind<RT>>::type,
        R
    >::type,
    typename std::enable_if<impl::static_container_traits<SCR>::exist && (!impl::static_container_traits<CR>::exist)>::type*& = enabler
>
auto merge(SC&& list1, C&& list2) ->RR
{
    return impl::merge_impl<RR>(std::forward<SC>(list1), std::forward<C>(list2));
}

template <class R = void, class SC1, class SC2,
    class SCR1 = typename impl::remove_const_reference<SC1>::type,
    class SCR2 = typename impl::remove_const_reference<SC2>::type,
    class RT = typename std::common_type<
        typename impl::static_container_traits<SCR1>::value_type,
        typename impl::static_container_traits<SCR2>::value_type
    >::type,
    class RR = typename impl::SameIf<R, void,
        typename impl::static_container_traits<SCR1>::template rebind_t<RT, impl::plus_t<impl::static_container_traits<SCR1>::size, impl::static_container_traits<SCR2>::size>::value>,
        R
    >::type,
    typename std::enable_if<impl::static_container_traits<SCR1>::exist && impl::static_container_traits<SCR2>::exist>::type*& = enabler
>
auto merge(SC1&& list1, SC2&& list2) ->RR
{
    return impl::merge_impl<RR>(std::forward<SC1>(list1), std::forward<SC2>(list2));
}



template <class C,
    class CR = typename impl::remove_const_reference<C>::type
>
auto take(uint n, C&& list) ->CR
{
    CR result = impl::container_traits<CR>::make(n);
    uint i = 0;

    for (auto it = impl::begin(std::forward<C>(list)); i < n; ++i, ++it) impl::container_traits<CR>::add_element(result, *it);

    return result;
}



template <class C,
    class CR = typename impl::remove_const_reference<C>::type
>
auto drop(uint n, C&& list) ->CR
{
    CR result = impl::container_traits<CR>::make(list.size() - n);
    uint i = 0;
    auto it = impl::begin(list), end = impl::end(list);

    for (; i < n && it != end; ++i, ++it) ;
    for (; it != end; ++i, ++it) impl::container_traits<CR>::add_element(result, *it);

    return result;
}

}
#endif