执行模板参数包指向的所有方法

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返回 bool 并执行以下操作：

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)()...};
}

请注意，所有这些方法都按顺序执行其方法，并支持传递 0 方法。

上述某些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提供(