Итерация по списку типов вариативных шаблонов C ++ [дубликат]

Question

Предположим, я использую вариативный шаблон в качестве списка типов:

template <typename ... Types> struct tl {};
using my_list = tl<MyTypeA, MyTypeB, MyTypeC>;

Теперь я хочу вызвать функцию шаблона для каждого типа, например:

myFunc<MyTypeA>();
myFunc<MyTypeB>();

Как бы я этого добился?

Answer 1

В c ++ 17 вы можете использовать выражения свёртки .

template <typename ... Types>
void callMyFunc(my_list<Types...>) {
    (myFunc<Types>(), ...);
}

Answer 2

В C ++ 17 вы можете использовать выражение свёртки

template <typename ...Ts>
void call_my_func(my_list<Ts...> )
{
    (myFunc<Ts>(), ...);
}

Answer 3

Версия C ++ 11:

template <typename ... Types>
void forEachMyFunc(tl<Types...>)
{
    int dummy[] = {
        (myFunc<Types>(), 0)...
    };
    (void)dummy;
}

https://godbolt.org/z/4nK67M

Вот более коварная версия :

template<typename T>
class MyFunc {
public:
    void operator()() const {
        myFunc<T>();
    }
};

template <template<typename> class F, typename ... Types>
void forEachTypeDo(tl<Types...>)
{
    int dummy[] {
        (F<Types>{}(), 0)...
    };
    (void)dummy;
}
...
forEachTypeDo<MyFunc>(my_list{});