C ++指向成员函数的指针作为模板默认参数

Question

是否可能，如下：

template< typename C,
          typename R,
          typename A,
          typename F=R (C::*)(A) >
class MemberFuncPtr { ...

Answer 1

是的，它完全有效。

class X {
public:
    void Y() {
    }
};

int main() {
    MemberFuncPtr<X, void, void> func;
}

构建成功。

Answer 2

实际上，对我来说似乎很合适，我对这段代码没有任何错误：

template< typename C, 
          typename R, 
          typename A, 
          typename F=R (C::*)(A) > 
class MemberFuncPtr
{
        C & Cmember;
        F f;
public:
        MemberFuncPtr(C & c, F func):Cmember(c), f(func) {}
        R DoIt(A & a)
        {
                return (Cmember.*f)(a);
        }
};
class classA
{
public:
        int toInt(double aa)
        {
                return int(aa);
        }
};
int main()
{
        classA aInstance;
        MemberFuncPtr<classA,int,double> xx(aInstance,&classA::toInt); 
        return 0;
} 

您可以观察代码here。

Answer 3

使用typedef将使您的代码更加用户友好。只需typedef指向函数的指针，然后将其用作其他类型。

Answer 4

首先，您可以编写模板包装器：

template < typename C >
class CWrapper
{
 typedef R(C::func*)(A);
 C* realC;
 Cwrapper(C* c):realC(c){}
};

然后用这种方式写你的课：

template < typename C,
           typename R,
           typename F = C::func >
class MemberFuncPtr{...

然后制作MemberFuncPtr< CWrapper <C>, R> memFuncPtr;

Answer 5

用一些C ++ 0x魔法纠正了Sad_man的代码：http://ideone.com/rng6V（可能不适合你，因为没有多少编译器有C ++ 0x： - |）

使用rvalues，并举例说明如何使用lambda函数实现所需。