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{});