How to define std::tuple<...> with number of arguments

I am not aware of some std facility that does what you want directly.

The tricky part is to have a variadic template with mixed non-type and type parameters. The issue can be avoided by using a helper:

template <typename T,size_t reps>
struct repeated_type {
    using type = T;
    static const size_t N = reps;

Usage can look like this:

int main() {
    using two_ints = repeated_type<int,2>;
    using three_doubles = repeated_type<double,3>;
    using my_tuple = n_tuple<two_ints,three_doubles>;

Using a std::index_sequence we can get a std::tuple<T,T,T,...T> via std::make_tuple

template <typename T,std::size_t...n>
auto n_tuple_impl(std::index_sequence<n...>){ 
    return std::make_tuple( (n,T{})...); 

template <typename repT>
using n_tuple_single = decltype( 
                           n_tuple_impl<typename repT::type>(

Concatenetating several of them can be done via std::tuple_cat:

template <typename...repT>
using n_tuple = decltype( 
                        ( n_tuple_single<repT>() )... 

Live Demo.

In two places I require default construction. If needed this could be circumvented via std::declval. No instances are actually created.

For the interested reader, here is a rather messy C++11 implementation that is based on recursion instead of std::index_sequence and fold expressions to achieve the same.

Here is a short solution using Boost.MP11 and can work with any type list holder (e.g. std::tuple, boost::mp11::mp_list, etc).

#include <boost/mp11/algorithm.hpp>

#include <cstddef>
#include <tuple>
#include <type_traits>

template<class T, std::size_t N, template<class...> class THolder = std::tuple>
struct repeater {
    using type = boost::mp11::mp_repeat_c<THolder<T>, N>;

template<class T, std::size_t N>
using repeater_t = typename repeater<T, N>::type;

int main() {
    using expected_t = std::tuple<double, double, double, double, int, int, int, int>;
    using actual_t = boost::mp11::mp_append<repeater_t<double, 4>, repeater_t<int, 4>>;
    static_assert(std::is_same_v<actual_t, expected_t>);

Here, we leverage boost::mp11::mp_repeat_c to build the type holder holding N types of type T. The type list we default to is std::tuple as requested. Then, at the call site, it's just a matter of appending the tuples together via boost::mp11::mp_append to get down to one tuple.

Wandbox link