Variadic template, как перебрать в шаблоне все типы по очереди?

Question

[toster_bodnar]

Есть код:

...

template<typename T>
T get(T value)
{
   return static_cast<T>(this->vec.find(value));
}

...

template<typename ... T>
void some_func(typename identity<std::function<void(T ...)>>::type func)
{
   auto value1 = get< ? >( 1 ); // для Т1
   auto value2 = get< ? >( 2 ); // для Т2
   ...
   auto valueN = get< ? >( N ); // для ТN
   func(value1, value2, ... valueN);
}

Как можно по очереди сделать в функции some_func вызов get для каждого из типов Т ? Что бы потом передать их в func

что бы можно было вызвать это так:

some_func<int, int, int>([](int a, int b, int c){
     std::cout << a << b << c << std::endl;
    })

Comments

[Евгений Шатунов]

toster_bodnar , тебе надо чтобы аргументом get было именно и только порядковое число от 1 до sizeof...( T )?

[toster_bodnar]

Евгений Шатунов, нет, это просто пример. Значения в get в моем случае вообще может отсутствовать. Это просто для упрощения. В действительности я хочу проверить, если в векторе элемент с типом Т, если есть, то вернуть его из get, для вставки в func

[Евгений Шатунов]

toster_bodnar, тебе стоит более точно сформулировать свой вопрос. Сейчас у тебя написан не тот вопрос, ответ на который ты хочешь увидеть. Опиши, что у тебя за вектор такой мудреный, что умеет хранить элементы разного типа, что именно ты хочешь, или не хочешь, передавать в get. Откуда именно ты хочешь брать аргументы для get и как ты отличаешь случаи, когда туда надо передать аргумент, а когда - нет.
В общем смысле перебрать все типы в наборе можно. Но двигаться всегда нужно от задачи.
Еще тебе стоит написать, в рамках какого стандарта ты хочешь решить задачу.

Я могу дать пример для чисел [1..sizeof...( T )], но информации для решения именно твоего вопроса это тебе не даст просто потому что генерация и передача этих чисел будет составлять половину решения.

[toster_bodnar]

Евгений Шатунов,
В общем то я хотел абстрагироваться от конкретной задачи. Но видимо не вышло) Суть в том, что у меня есть класс
Entity:

class Entity
    {
    public:
        template <typename ComponentClass>
        ComponentClass *get()
        {
            auto found = m_components.find(std::type_index(typeid(ComponentClass)));
            if (found != m_components.end())
            {
                return static_cast<ComponentClass *>(found->second.get());
            }
            else
                return nullptr;
        }

    private:
        std::unordered_map<std::type_index, std::unique_ptr<Component>> m_components;
    };

Класс Component в мапе, это просто базовый класс. Для того что бы в мапу можно было добавлять его наследников.

Ну и собственно есть класс EntityManager который хранит entity в векторе
std::vector<std::unique_ptr<Entity>> m_entities;

Для этого класса я хочу реализовать метод:

template <typename... T>
        void each(typename identity<std::function<void(T& ...)>>::type func)
        {
            for(auto &entity: m_entities)
            {
                // тут хочу отобрать только те entity в которых есть каждый из компонентов
                // вызвать для каждого типа 
                auto component = entity.get<тип>();
                ...
                auto componentN = entity.get<типN>();
                // и тут вызвать func(component, ..., componentN)
            }
        }

И все это для того, что бы можно было вот так работать с компонентами и entity

EntityManager entities;

    auto entity = entities.createEntity();
    entity->add<Position>(1, 2);
    entity->add<Color>(color::red);

   entities.each<Position, Color>([](Position &pos, Color &col){
      // тут меняем pos  и сол
   })

[Евгений Шатунов]

toster_bodnar, это у тебя COP или ECS?
Если второе, я тебе сразу скажу что реализовано неправильно.
Топология данных похожа на COP, но для COP не характерно поведение entities.each. Оно характерно как раз для ECS.
Это безотносительно твоего вопроса. По вопросу я тебя понял, ответ дам если его не успеют дать за меня.

[toster_bodnar]

Евгений Шатунов, Спасибо огромное за комментарии, буду ждать ответа по возможности. Да, это у меня кастрированный ecs в целях обучения

Answer 1

[Евгений Шатунов]

Пусть у нас есть некий аксессор:

template< typename TComponent >
TComponent* const QueryComponent();

Пусть у нас есть, для простоты, некоторый обработчик:
void PerformWorkflow( A*, B*, C* );
Тут A, B и C - это типы компонентов.

Чтобы подружить обработчик с аксессором необходимых ему компонентов, понадобится самый простой Parameter pack expansion.

template< typename... TComponents >
void ApplyComponents( void (*workflow)( TComponents*... ) )
{
	workflow( QueryComponent<TComponents>()... );
}

Здесь можно посмотреть как работает пример этого кода.

В комментарии я вижу несоответствие типа параметра функции для each и типа результата get. Стоит напомнить что разыменование nullptr, который может вернуть get, приводит к неопределенному поведению [?].
Поэтому, если распаковку переписать на *QueryComponent<TComponents>()..., т.е. на лету разыменовывать полученные указатели, то перед запуском функции для твоей entity следует убедиться что у нее есть все необходимые компоненты. Такая проверка является необходимой для запуска систем в ECS, т.к. система должна обрабатывать только удовлетворяющие своим фильтрам сущности.

Для этого уже потребуется использовать Fold expression из C++17.

template <typename... T>
void each(typename identity<std::function<void(T& ...)>>::type func)
{
	for(auto &entity: m_entities)
	{
		if( !( (entity.HasComponent<T>() && ...) ) )
		{
			continue;
		}
		
		func( *entity.get<T>()... );
	}
}

Comments

[toster_bodnar]

Спасибо большое! Буду изучать)