Question

我可以制作方法（=成员函数）指针的模板参数包吗？
如果是，是否可以创建一个（模板）函数来执行其模板参数包中的所有方法？

及其简化：

指定方法的执行顺序无关紧要。
所有方法指针都具有相同的签名（例如，返回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的贡献）

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

2 个答案: