В аргументах шаблона C ++ возможно ли указать тип и количество вхождений этого типа?

Question

У меня есть шаблонный класс с переменным числом символов в C ++ (аналогично std::tuple).При создании экземпляра класса мне нужно набрать много типов, например

MyClass<int, int, double, double, double> my_obj;

. Этот подход работает, когда число типов невелико.Однако, скажем, если у меня есть 10 ints, за которым следует 20 doubles, ввод его будет громоздким и подверженным ошибкам.

Есть ли в C ++ механизм для указания типов, за которыми следует число вхождений вtemplate <> аргумент?Примерно так:

MyClass<some_magic(int,2), some_magic(double, 3)> my_obj;

Answer 1

Это сделает это:

namespace detail{
    template <class T, auto> using always_t = T;

    template <class T, std::size_t... Idx>
    auto repeat_impl(std::index_sequence<Idx...>) -> std::tuple<always_t<T, Idx>...>;

    template <class T, class...>
    struct pack
    {
        using type = T;
    };
    template <class... T, class... R, class... Tuple>
    struct pack<std::tuple<T...>, std::tuple<R...>, Tuple...>
        : pack<std::tuple<T..., R...>, Tuple...>
    { };

    template <class> struct tuple_to_class;
    template <class... T> struct tuple_to_class<std::tuple<T...>>
    {
        using type = MyClass<T...>;
    };
}

template <class T, std::size_t N>
using repeat_t = decltype(detail::repeat_impl<T>(std::make_index_sequence<N>{}));

template <class... Repeats>
using ToMyClass = typename detail::tuple_to_class<typename detail::pack<Repeats...>::type>::type;

---

using C = MyClass<int, int, double, double, double>;

static_assert(std::is_same_v<C,
              ToMyClass<repeat_t<int, 2>, repeat_t<double, 3>>
              >);

Live демо