成员函数返回指向成员函数的指针

Question

我想要一个带有返回成员函数指针的成员函数的类。

也就是说，类似：

class Foo {
// typedef ????(Foo::* func)????
public:
   Func s1();
   Func s2();
   Func s3();
}

Func Foo::s1() {
  // do stuff
  return &Foo::s2;
}

Func Foo::s2() {
  // do stuff
  return &Foo::s3;
}

Func Foo::s3() {
  // do stuff
  return 0;
}

基本上，我尝试做的是实现一个状态机，其中每个状态现在都是下一个状态，并通过函数指针返回它。

注意：我对实现状态机的其他方法不感兴趣。我真的很想知道它是否可以以上面这样的方式实现。

背景：我受到这个演讲的启发：http://www.youtube.com/watch?v =HxaD_trXwRE，并想知道是否可以在 C++ 中使用类似的模式。

Answer 1

公然抄袭GotW的解决方案并将其改编为成员函数：

class Foo {
  public:
    struct FuncPtrRet;
    typedef FuncPtrRet(Foo::*FuncPtr)();
    struct FuncPtrRet {
        FuncPtrRet(FuncPtr pp) : p(pp) { }
        operator FuncPtr() { return p; }
        FuncPtr p;
    };
    FuncPtrRet s1() { return &Foo::s2; }
    FuncPtrRet s2() { return &Foo::s3; }
    FuncPtrRet s3() { return &Foo::s3; }
};

int main() {
    Foo test;
    Foo::FuncPtr state = test.s1();
    state = (test.*state)();
    state = (test.*state)();
    state = (test.*state)();
    state = (test.*state)();
    state = (test.*state)();
    return 0;
}

这似乎适用于 Clang 3.3。我不认为返回 0 对于空闲状态（这里是 s3）来说是一个好的选择，但我可能是错的。对我来说，拥有自动返回的空闲状态似乎更直观。