テンプレートパラメータパックが指すすべてのメソッドを実行する

Question

1. メソッド（=メンバ関数）ポインタのテンプレートパラメータパックを作成できますか？
2. 「はい」の場合は、テンプレートパラメータパックのすべてのメソッドを実行する（テンプレート）関数を作成できますか？

簡略化：

• 尖ったメソッドの実行の順序は重要ではありません。
• すべてのメソッドポインタは、同じシグネチャを持っている（例えばboolを返し、同じ基本クラスを持って、引数を取りません）

Answer 1

template<class T, class...Ms> 
void run_all(T* t, Ms&&... ms) { 
    using discard=int[]; 
    (void)discard{0,(void(
    (t->*ms)() 
),0)...}; 
} 

用途：

struct foo { 
    bool t1() { return true; } 
    bool t2() const { return false; } 
}; 
int main() { 
    foo f; 
    run_all(&f, &foo::t1, &foo::t2); 
} 

run_allが鈍角であるが、それはあります我々はC++を持っていないから17。

ビット単純な、あるいはある

template<class T, class...Ms> 
void run_all(T* t, Ms&&... ms) { 
    ((void)((t->*ms)()),...); 
} 

：

template<class T, class...Ms> 
void run_all(T* t, Ms&&... ms) { 
    ((t->*ms)(),...); 
} 

正気の型を返すt->*msに依存しています。

我々はまた、msを返すブール値とはやるという事実に頼ることができる：0メソッドを渡すこれらの全てが順番に彼らの方法を実行すること

template<class T, class...Ms> 
void run_all(T* t, Ms&&... ms) { 
    (void)std::initializer_list<bool>{(t->*ms)()...}; 
} 

または

template<class T, class...Ms> 
void run_all(T* t, Ms&&... ms) { 
    using discard=bool[]; 
    (void)discard{false,(t->*ms)()...}; 
} 

注意とサポート。

上記のvoidの中には、未使用の値の警告をブロックするものがあります。

その他の点では、コールがoperator,をオーバーロードする型を返す可能性に対処する必要があります。

Answer 2

class MyClass { 

    /* The methods to be executed: */ 

    bool func_1() const { /* ... */ } 
    bool func_2() const { /* ... */ } 
    // ... 


    /* The parameter pack expansion: */ 

    typedef bool (MyClass::*FuncPtr)() const; 

    template<class T = void> 
    void Expand() const {} // Termination version. 

    template<FuncPtr ptr, FuncPtr ... Args> 
    void Expand() const { 
    (this->*ptr)(); 
    Expand<Args...>(); 
    } 


    /* The function that calls them all: */ 

    void RunAll() const { 
    Expand< 
     &MyClass::func_1, // <-- input to parameter pack 
     &MyClass::func_2 
    >(); 
    } 

}; 

---

代替再帰なしのバージョン：

class MyClass { 

    /* The methods to be executed: */ 

    bool func_1() const { /* ... */ } 
    bool func_2() const { /* ... */ } 
    // ... 


    /* The parameter pack expansion: */ 

    typedef bool (MyClass::*FuncPtr)() const; 

    template<typename ... T> void ignore(T && ...) {} 

    template<FuncPtr ... Args> 
    void Expand() const { 
    ignore(((this->*Args)(),0) ...); 
    } 

    /* The function that calls them all: */ 

    void RunAll() const { 
    Expand< 
     &MyClass::func_1, // <-- input to parameter pack 
     &MyClass::func_2 
    >(); 
    } 

}; 

（@Yakkからの寄与）