Dynamische Typliste zur Kompilierungszeit ⇐ C++

[Anonymous]

Ich suche nach einer Möglichkeit, den Typ „dynamisch“ in einer Verwendung (oder konkreten Implementierung) zu speichern, die zur Kompilierzeit änderbar und zugänglich wäre.
Ich hätte gerne so etwas wie:

Code: Select all

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).
}
}

Ich verwende derzeit den Compiler von Bloomberg/clang-p2996 für die C++26-Reflexion

Ich bin auch offen für andere Möglichkeiten, dies zu tun, wie Metaprogrammierung oder makrogenerierten Code...