integer_sequence.hpp

浏览该文件的文档.

#ifndef NEFORCE_CORE_UTILITY_INTEGER_SEQUENCE_HPP__
#define NEFORCE_CORE_UTILITY_INTEGER_SEQUENCE_HPP__

 
#include "NeForce/core/typeinfo/type_traits.hpp"
NEFORCE_BEGIN_NAMESPACE__


template <typename T, T... Values>
struct integer_sequence {
    static_assert(is_integral<T>::value, "integer sequence requires integral types.");
 
    using value_type = T; 

    NEFORCE_NODISCARD static constexpr size_t size() noexcept { return sizeof...(Values); }
};

template <typename T, T Size>
using make_integer_sequence =
#if defined(NEFORCE_COMPILER_MSVC) || defined(NEFORCE_COMPILER_CLANG)
        __make_integer_seq<integer_sequence, T, Size>;
#else
        integer_sequence<T, __integer_pack(Size)...>;
#endif

template <size_t... Values>
using index_sequence = integer_sequence<size_t, Values...>;

template <size_t Size>
using make_index_sequence = make_integer_sequence<size_t, Size>;

template <typename... Types>
using index_sequence_for = make_index_sequence<sizeof...(Types)>;
 // IntegerSequence


template <size_t... Values>
struct index_tuple {};

template <size_t Num>
struct build_index_tuple {
private:
    template <size_t... Is>
    static index_tuple<Is...> convert(index_sequence<Is...>);
 
public:
    using type = decltype(build_index_tuple::convert(make_index_sequence<Num>{}));
};

template <size_t Num>
using build_index_tuple_t = typename build_index_tuple<Num>::type;
 // IndexTuple
 
NEFORCE_END_NAMESPACE__
#endif // NEFORCE_CORE_UTILITY_INTEGER_SEQUENCE_HPP__