types_vector.hpp

Go to the documentation of this file.

//=======================================================================
// Copyright (c) 2013 Piotr Wygocki
//
// 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 PAAL_TYPES_VECTOR_HPP
#define PAAL_TYPES_VECTOR_HPP

#include <type_traits>

namespace paal {
namespace data_structures {

template <typename... Args> struct TypesVector;

template <typename Vec> struct size;

template <typename... Args> struct size<TypesVector<Args...>> {
    enum {
        value = sizeof...(Args)
    };
};

template <typename Vector, typename StartValue, typename Functor> struct fold;

template <typename StartValue, typename Functor, typename Arg, typename... Args>
struct fold<TypesVector<Arg, Args...>, StartValue, Functor> {
    typedef typename fold<
        TypesVector<Args...>,
        typename Functor::template apply<StartValue, Arg>::type, Functor>::type
        type;
};

template <typename StartValue, typename Functor>
struct fold<TypesVector<>, StartValue, Functor> {
    typedef StartValue type;
};

template <typename Vector, typename Val> struct push_back;

template <typename Val, typename... Args>
struct push_back<TypesVector<Args...>, Val> {
    typedef TypesVector<Args..., Val> type;
};

template <typename Vector, typename Id> struct at;

template <typename C, C i, typename Arg, typename... Args>
struct at<TypesVector<Arg, Args...>, std::integral_constant<C, i>> {
    typedef typename at<Args..., std::integral_constant<C, i - 1>>::type type;
};

template <typename C, typename Arg, typename... Args>
struct at<TypesVector<Arg, Args...>, std::integral_constant<C, 0>> {
    typedef Arg type;
};

template <typename V1, typename V2> struct join;

template <typename... Args1, typename... Args2>
struct join<TypesVector<Args1...>, TypesVector<Args2...>> {
    typedef TypesVector<Args1..., Args2...> type;
};

template <int n, typename V> struct remove_n_first;

template <int n, typename Arg, typename... Args>
struct remove_n_first<n, TypesVector<Arg, Args...>> {
    typedef typename remove_n_first<n - 1, TypesVector<Args...>>::type type;
};

template <typename Arg, typename... Args>
struct remove_n_first<0, TypesVector<Arg, Args...>> {
    typedef TypesVector<Arg, Args...> type;
};

template <> struct remove_n_first<0, TypesVector<>> {
    typedef TypesVector<> type;
};

template <typename Type, typename TypesVector> struct pos;

template <typename Type, typename TypesPrefix, typename... TypesSufix>
struct pos<Type, TypesVector<TypesPrefix, TypesSufix...>> {
    enum {
        value = pos < Type,
        TypesVector<TypesSufix...>> ::value + 1
    };
};

template <typename Type, typename... TypesSufix>
struct pos<Type, TypesVector<Type, TypesSufix...>> {
    enum {
        value = 0
    };
};

template <int pos, typename NewType, typename TypesVector>
struct replace_at_pos;

template <int pos, typename NewType, typename TypesPrefix,
          typename... TypesSufix>
struct replace_at_pos<pos, NewType, TypesVector<TypesPrefix, TypesSufix...>> {
    typedef typename join<
        TypesVector<TypesPrefix>,
        typename replace_at_pos<pos - 1, NewType,
                                TypesVector<TypesSufix...>>::type>::type type;
};

template <typename NewType, typename TypesPrefix, typename... TypesSufix>
struct replace_at_pos<0, NewType, TypesVector<TypesPrefix, TypesSufix...>> {
    typedef TypesVector<NewType, TypesSufix...> type;
};

} // data_structures
} // paal

#endif // PAAL_TYPES_VECTOR_HPP