c ++模板和带有方法指针的继承

Question

如果我声明：

class Avoidance : public Schema<std_msgs::String,prog1::Command>{

我会尝试

    void*(Schema<std_msgs::String,prog1::Command>::*pt)();
    pt=&Avoidance::frontBusy;

编译器报告我

error: cannot convert ‘void* (Avoidance::*)()’ 
to 
‘void* (Schema<std_msgs::String_<std::allocator<void> >, prog1::Command_<std::allocator<void> > >::*)()’ in assignment

为什么？避免继承自

  Schema<std_msgs::String,prog1::Command>

那么避免是模式<.....>

Answer 1

成员函数指针不是这样工作的。如果frontBusy 是基本函数，则需要适当地键入指针。 dispatch 仍将按预期工作！

这是一个基本的例子：

struct A { virtual void f() = 0; };
struct B : A { virtual void f() { } };

void dispatch(void (A::*pf)(), A & a)
{            //    ^^^^^
  (a.*pf)();
}

int main()
{
  B x;
  dispatch(&A::f, x);  // calls x.B::f()
}  //      ^^^^^

所以，在你的情况下，你想要：

void (Schema<std_msgs::String,prog1::Command>::*p)()
                        = &Schema<std_msgs::String,prog1::Command>::frontBusy;

Answer 2

摆脱模板以简化，假设你有

class B {
public:
    void f();
};

class D : public B {
public:
    void g();
};

一开始可能看起来有点倒退，但是您可以将void (B::*)() 转换为void (D::*)()，但您不能将void (D::*)() 转换为void (B::*)()。当您考虑以后如何使用它们时，这是有道理的。

void test() {
    void (D::*p)() = &B::f; // OK!
    void (B::*q)() = &D::g; // ERROR!

    B b;
    D d;

    (d.*p)(); // Calls B::f on `d`.  Okay, `B::f` is an inherited member.
    (b.*q)(); // Calls D::g on `b`?? But that's not a member of `b` at all!
}