ct_array.hpp

/*
 * ct_array.hpp
 *
 *  Created on: Aug 21, 2014
 *      Author: Pietro Incardona
 */



#ifndef CT_ARRAY_HPP_
#define CT_ARRAY_HPP_


#include <boost/fusion/mpl.hpp>


template<int ...> struct index_tuple{};

template<class T, int... args> struct ArrayHolder_indexes {
    typedef index_tuple<args ... > type;
};

template<class T,long int N, size_t orig_N, template<size_t,size_t> class F, int... args>
struct generate_indexes_impl {
    typedef typename generate_indexes_impl<T,N-1,orig_N, F, F<N,orig_N>::value, args...>::result result;
};

template<class T, size_t orig_N, template<size_t,size_t> class F, int... args>
struct generate_indexes_impl<T,0,orig_N, F, args...> {
    typedef typename ArrayHolder_indexes<T,F<0,orig_N>::value, args...>::type result;
};

template<class T, size_t orig_N, template<size_t,size_t> class F, int... args>
struct generate_indexes_impl<T,-1,orig_N, F, args...> {
    typedef index_tuple<> result;
};

template<class T, long int N, template<size_t,size_t> class F>
struct generate_indexes {
    typedef typename generate_indexes_impl<T,N-1, N, F>::result result;
};


#ifndef COVERTY_SCAN

template<class T, unsigned long... args> struct ArrayHolder_constexpr {
    constexpr static T data[sizeof...(args)] = { args... };
};


template<class T,size_t N, size_t orig_N, template<size_t,size_t> class F, unsigned... args>
struct generate_array_constexpr_impl {
    typedef typename generate_array_constexpr_impl<T,N-1,orig_N, F, F<N,orig_N>::value, args...>::result result;
};

template<class T, size_t orig_N, template<size_t,size_t> class F, unsigned... args>
struct generate_array_constexpr_impl<T,0,orig_N, F, args...> {
    typedef ArrayHolder_constexpr<T,F<0,orig_N>::value, args...> result;
};

template<class T, size_t N, template<size_t,size_t> class F>
struct generate_array_constexpr {
    typedef typename generate_array_constexpr_impl<T,N-1, N, F>::result result;
};

#endif


template<class T, unsigned long... args> struct ArrayHolder {
    static const T data[sizeof...(args)];
};

template<class T, unsigned long... args>
const T ArrayHolder<T,args...>::data[sizeof...(args)] = { args... };

template<class T,size_t N, size_t orig_N, template<size_t,size_t> class F, unsigned... args>
struct generate_array_impl {
    typedef typename generate_array_impl<T,N-1,orig_N, F, F<N,orig_N>::value, args...>::result result;
};

template<class T, size_t orig_N, template<size_t,size_t> class F, unsigned... args>
struct generate_array_impl<T,0,orig_N, F, args...> {
    typedef ArrayHolder<T,F<0,orig_N>::value, args...> result;
};

template<class T, size_t N, template<size_t,size_t> class F>
struct generate_array {
    typedef typename generate_array_impl<T,N-1, N, F>::result result;
};


template<class T, size_t N ,class F, unsigned... args>
struct generate_array_vector_impl {
    typedef typename generate_array_vector_impl<T,N-1,F, boost::mpl::at<F,boost::mpl::int_<N> >::type::value , args...>::result result;
};

template<class T, class F, unsigned... args>
struct generate_array_vector_impl<T,0, F, args...> {
    typedef ArrayHolder<T,boost::mpl::at<F,boost::mpl::int_<0> >::type::value, args...> result;
};

template<class T, class F>
struct generate_array_vector {
    typedef typename generate_array_vector_impl<T,boost::mpl::size<F>::value-1 , F>::result result;
};

#endif