Объединение параметров шаблона с переменным числом вариантов ⇐ C++

[Anonymous]

При наличии вариативного списка типов Ts..., можем ли мы создать объект объединения, содержащий именно объединение этих типов (и без дополнительных данных)?
Конечно, это возможно с помощью std::variant. Однако критическим моментом здесь является то, что для каждого экземпляра этого объединения я всегда буду знать, какой тип оно содержит, поэтому кажется расточительным тратить пространство на тег std::variant.
Чтобы подробнее рассказать о данном варианте использования, я пытаюсь создать unique_tuple (т. е. кортеж, из которого я могу получать элементы по типу), из которого я могу перемещаться. Существует миллион способов создать такой unique_tuple, но поскольку я буду часто от него отходить,
Я хочу, чтобы основной способ хранения моих типов находился в один контейнер, чтобы я мог эффективно перемещать конструкцию (это может привести к потере некоторого места, но в целом я ожидаю, что мои типы будут одинаковыми по размеру и будут часто перемещаться), и для этого требуется объединяющий тип для них.

Подробнее здесь: https://stackoverflow.com/questions/786 ... parameters