将指向泛型方法的指针传递给模板类

Question

我想创建一个模板类，它的构造函数接受一个对象指针和一个指向对象方法之一的指针。模板类必须接受带有任何参数的方法，所以我认为方法的类型应该是模板参数。我也更愿意接受具有任何返回类型的方法，但可以将其限制为返回 void。下面的代码无法编译。什么是正确的语法？

template <typename Obj, typename Method>
class Foo
{
public:
  Foo(Obj *obj, Obj::*Method method)
    :mObj(obj), mMethod(method)
  {}

  void callMethod()
  {
    mObj->mMethod();
  }

private:
  Obj* mObj;
  Obj::*Method mMethod;
};

class Bar
{
public:
  // I want it to work no matter what arguments this method takes.
  void method() {}
};

Bar bar;
Foo <Bar, void(Bar::*)()> foo(&bar, &Bar::method);

我在 Foo 构造函数中收到此错误：

error C2059: syntax error: '<tag>::*'

我在这个主题上的previous question 被标记为重复，但引用的示例指定了可以传递的方法的确切类型，我需要它是通用的。

Answer 1

首先，您的代码中有几个语法问题。此外，您根本不需要 Method 作为模板参数，因为您总是希望传递 Object 类型的成员函数。

要在callMethod 中获取可变数量的参数，只需向Foo 提供可变参数包。也可以推导出callMethod函数的返回类型。

把所有这些放在一起，你可以得到：

template <typename Obj, typename Ret, typename ...Args>
class Foo
{
public:
  Foo(Obj *obj, Ret (Obj::*method)(Args...))
    : mObj(obj), mMethod(method)
  {}

  Ret callMethod(Args... args)
  {
    return (mObj->*mMethod)(args...);
  }

private:
  Obj* mObj;
  Ret (Obj::*mMethod)(Args...);  // this is essentially 'Method'
};

现在，如果你有一个特定函数的参数数量可变的类，它可以正常工作：

class Bar
{
public:
  void method() { std::cout << "bar"; }
};

class Car
{
public:
  int method2(int, double) { 
    std::cout << "car"; 
    return 42;
   }
};

int main()
{
Bar bar;
Car car;
Foo a (&bar, &Bar::method);
Foo b (&car, &Car::method2);
a.callMethod();  // prints 'bar'
b.callMethod(5, 3.2);  // prints 'car'
}

这是一个有效的demo。

请注意，在实际解决方案中，您可能希望完美转发参数，但这应该会让您走上正确的轨道。

另外，在c++17之前，没有CTAD（类模板参数推导），所以在构造Foo对象时必须指定模板参数，像这样：

Foo <Bar, void> a(&bar, &Bar::method);
Foo <Car, int, int, double> b(&car, &Car::method2);