将指向成员函数的指针作为模板参数传递。为什么会这样?

我有一些100%适用于我的用例的代码。我只是想知道是否有人能解释它是如何工作的以及为什么工作的。

我有一个模板类,它位于处理线程和网络通信的代码和库用户之间,用于将从服务器接收到的数据传递给用户。

template <class Bar,
          class Baz,
          class BazReturnType,
          void (Bar::*BarSetterFunction)(const BazReturnType &),
          BazReturnType (Baz::*BazGetterFunction)(void) const>
class Foo
{
    Foo( Bar *bar )
        : m_bar(bar)
    {
    }

    void FooMemberFunction( const Baz *baz )
    {
        boost::bind( BarSetterFunction, m_bar,
                     boost::bind( BazGetterFunction, baz )() ) ();
    }

    Bar *m_bar;
};

根据BAR和BAZ的类型,在库中实例化并使用此模板,如下所示:

typedef Foo<MyBar,
            MyBaz,
            ReturnTypeFromBazGetterFunction,
            &MyBar::ActualSetterFunction,
            &MyBaz::ActualGetterFunction >
    MyFoo;

MyBar *bar = new MyBar;
MyBaz *baz = new MyBaz;
MyFoo *f = new MyFoo( bar );
f->FooMemberFunction( baz );

这一切都有效,并且boost::bind调用getter/setter函数将数据传递到需要的地方。 将指针作为模板参数传递给成员函数(如在本例中)的方式和原因是什么?

作为对注释的回应,我没有意识到指向成员函数的指针是有效的模板参数。这不是我以前在野外见过的。我试过了,但没想到会成功。