Динамический список типов во время компиляции ⇐ C++

[Anonymous]

Я ищу способ «динамического» хранения типа в использовании (или конкретной реализации), который можно было бы модифицировать и использовать во время компиляции.
Мне хотелось бы что-то вроде:

Код: Выделить всё

struct ServiceBuilder
{
using MyDynamicTuple = std::tuple;

template
consteval void AddSingleton()
{
std::vector args = template_arguments_of(^^MyDynamicTuple);

new_args.push_back(^^T);
MyDynamicTuple = [: substitute(^std::tuple, new_args) :]; // something like this (ofc it doesn't work).
}
}

В настоящее время я использую компилятор Bloomberg/clang-p2996 для отражения C++26

Я также открыт для других способов сделать это, например метапрограммирование или код, сгенерированный макросом...

Подробнее здесь: https://stackoverflow.com/questions/798 ... mpile-time