types_problem.hpp

#include <iostream>
#include <regex>

template<size_t ...values>
struct values_container
{};

namespace details
{
    template <typename value_type, typename Is>
    struct create_impl;

    template <typename value_type, auto ...tmps>
    struct create_impl<value_type, std::integer_sequence<size_t, tmps...>>
    {
        using result = values_container<static_cast<value_type>(tmps^tmps)...>;
    };
}

template <typename value_type, size_t size>
using create_container = typename details::create_impl<value_type,
                                                       std::make_index_sequence<size>>::result;

template <size_t N>
struct add
{
    using container = create_container<size_t, N>;
    static constexpr size_t result = add<N-1>::result + N;
};

template <>
struct add<1>
{
    static constexpr size_t result = 0;
};


int main()
{
    return add<88888>::result;
}