C ++ Инициализировать унаследованные шаблоны базовых классов

Question

Я пытаюсь передать произвольные параметры во время построения классам, унаследованным через пакеты параметров шаблона.Рассмотрим следующий пример:

struct Zero {
    Zero() {}
};

struct Two {
    Two(int, int) {}
};

template <class... Pack>
struct User : Pack... {
    template <class... Params>
    User(Params... p) : Pack(p)... {} // How to do this correctly?
};

auto test = User<Zero, Two>(1,2);

Если я сейчас попытаюсь создать объект типа User<Zero, Two> , как я могу передать Params в правильный конструктор?

Самый очевидный обходной путь - иметь конструктор кортежей, принимающий ровно один кортеж для каждого типа, который может принять User, но для этого требуется изменить Zero и Two, что очень сложно в моем случае использования.

Возможно ли это?Также возможны обходные пути.

Answer 1

Необходимо, чтобы конструктор User принимал последовательность кортежей, а затем передавал аргументы от каждого отдельного кортежа в соответствующий базовый класс.

template <class... Tuples>
User(Tuples&&... t) : Pack(std::make_from_tuple<Pack>(std::forward<Tuples>(t)))... {}

Обратите внимание, что из-за гарантированного исключения копирования временные объекты типа Pack... не будут созданы.

Live on Coliru