TypeList.h

// Copyright (c) Stefano Cristiano
// SPDX-License-Identifier: MIT
#pragma once
#include "../Foundation/Compiler.h"
#include "../Foundation/TypeTraits.h"
 
namespace SC
{
namespace TypeTraits
{
 
template <typename... TT>
struct TypeList
{
    static const int size = sizeof...(TT);
};
 
template <typename T, int N, int M = 0>
struct TypeListGet;
 
template <int N, int M, typename T, typename... TT>
struct TypeListGet<TypeList<T, TT...>, N, M>
{
    using type = SC::TypeTraits::ConditionalT<N == M, T, typename TypeListGet<TypeList<TT...>, N, M + 1>::type>;
};
 
template <int N, int M>
struct TypeListGet<TypeList<>, N, M>
{
    using type = void;
};
 
template <int N>
struct TypeListGet<TypeList<>, N, 0>
{
};
 
template <typename T, int N>
using TypeListGetT = typename TypeListGet<T, N>::type;
 
} // namespace TypeTraits
} // namespace SC