Как определить std::variant во время компиляции, если зависимые типы также определяются во время компиляции? ⇐ C++

[Гость]

Можно ли использовать макрос или что-то подобное для создания экземпляров класса шаблона и генерации кода, который затем добавляет созданные переменные в std::vector, который использует std::variant ?
Рассмотрим этот пример:

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

#include 
#include 
#include 

template 
class Foo
{
};

int main()
{

// These definitions of Foo shall be produced by the macro
auto foo1 = std::make_shared(Foo());
auto foo2 = std::make_shared(Foo());

// The variants shall be done with respect to the instantiations of Foo
std::vector objects;

return 0;
}

foo1 и foo2 два создают два типа класса Foo, поскольку они используют разные параметры шаблона. Таким образом, объекты std::vector могут содержать два варианта. Если кто-то определит foo3 с типом, отличным от двух предыдущих, он должен иметь три варианта соответственно. Возможно ли это?
Или макросы вообще не способны обрабатывать типы данных в качестве входных данных?

Подробнее здесь: https://stackoverflow.com/questions/781 ... s-are-also