将成员函数指针传递到模板中

如何解决将成员函数指针传递到模板中

首先，对于标题令人困惑，我们深表歉意。这是我的OOP设置。我有基类Base，并且有两个纯虚函数add和multi。然后，我派生了类D1和D2，并实现了add和multi函数。我想要一个模板函数，该模板函数具有可以在D1 D2和调用添加或多功能之间切换的灵活性。我到处搜索，有人说我应该使用函数指针，但其他人则说它不适用于纯虚函数。

class Base
{ double data; //data member
  Base(double d):data(d){}; 
  virtual double add() = 0; 
  virtual double multi() = 0; 
}
class D1::public Base
{ D1(double d): Base(d) {}; //calling base class constructor
  double add() {return data+1;} ;
  double multi() {return data*2;} ;
}
class D2::public Base
{ D2(double d): Base(d) {}; //calling base class constructor
  double add() {return data+3;} ;
  double multi() {return data*4;} ;
}
//now I want to have a template function that give me flexibility to construct D1 or D2 and calling add or multi.
template <typename T,typename F> 
void testFun(double num)
{ T tmp(num); //create object either D1 or D2;
  cout << T->F() << endl; //calling either add or multi;
}
int main()
{ testFun<D1,D1.add()>(double x = 5); 
//i know passing in D1.add() is wrong i don't know how to fix,hopefully you know what I am trying to achieve
  return 0;}

任何帮助将不胜感激。谢谢你们。

解决方法

关于虚拟成员函数的任何事情都无法使指向成员函数的指针不起作用。如果被调用的对象是具有实际实现的对象的指针/引用，则可以调用指向纯虚函数的指针。

您似乎一开始就完全了解如何传递指针到成员函数的语法。

还请注意，由于在编译时就知道了所使用的对象的类型，因此此处甚至不会使用虚拟调度。

template <typename T> 
void testFun(double num,double (T::*fn)())
{
    T tmp(num);
    std::cout << (tmp.*fn)() << std::endl;
}

在这里，fn是指向T成员函数的指针，该成员函数不接受任何参数并返回一个double值。您可以像这样调用它：

testFun<D1>(5,&D1::add);

请注意您提供的示例代码中的其他错误：

• 应在使用::时使用:指定基本类型。例如：class D1 : public Base。
• 您使用class，但从不指定访问修饰符，这意味着所有成员都是隐式private。出于演示目的，将它们更改为struct（默认访问权限为public）可以解决此问题。
• 您需要在类/结构定义后加上分号。

Here is a demo of the working code。

---

仅出于完整性考虑，here is a demo表明您可以使用指向纯虚拟成员函数的指针在对派生类型的引用/指针上进行调用。必须将代码调整为通过引用D1使用D2或Base对象，以便动态分配。此示例如下所示：

template <typename T> 
void testFun(double num,double (Base::*fn)())
{
    T tmpConcrete(num);
    Base & tmp = tmpConcrete;
    std::cout << (tmp.*fn)() << std::endl;
}

int main() {
    testFun<D1>(5,&Base::add);
}

（当然，在通用代码知道Base是什么的情况下，使用指向T成员的指针有点愚蠢，但事实证明这是可能的。）