Указатель 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;
} 

Вы можете наблюдать код здесь .

Answer 3

Исправлен код Sad_man с некоторой магией C ++ 0x: http://ideone.com/rng6V (вероятно, не сработает для вас, поскольку не многие компиляторы имеют C ++ 0x: - |)

Работает с rvaluesи есть пример, как добиться того, что вы хотите с помощью лямбда-функций.

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

Использование typedef сделает ваш код более удобным для пользователя.Просто typedef указатель на функцию, а затем используйте его как другие типы.