C++ Compile-time Fixed-Size Array of Types

C++ Type Array.cpp

#include <cstdint>
#include <tuple>
#include <type_traits>
#include <iostream>
using std::size_t;

/** Compile-time Fixed-Size Array of Types */
template<typename... T> struct TypeArray {
  using TupleType = std::tuple<T...>;
  template<size_t i> using At =
    typename std::tuple_element<i, TupleType>::type;
};

/** Example array */
using MyArray = TypeArray<float, const uint64_t, std::string>;
/** Example fetch */
using TypeFromArray = MyArray::At<1>;
/** Verify */
static constexpr bool same = std::is_same<TypeFromArray, const uint64_t>::value;

int main() {
  if(!same)
    std::cout << "not ";
  std::cout << "same" << std::endl;
  return !same;
}