template<class TT, class R, class T>

struct gen_mem_fun_t {

 explicit gen_mem_fun_t(R (T::*pm)());

 R operator()(TT p);

};

Сразу видна пара недостатков – во-первых, теперь адаптер может работать только с одним типом обобщенных указателей, а во-вторых, этот тип придется задавать при создании адаптера. Эти соображения должны натолкнуть нас на мысль воспользоваться шаблонными функциями-членами классов.

template<class R, class T>

struct gen_mem_fun_t {

 explicit gen_mem_fun_t(R (T::*pm)());

 template<class TT> R operator()(TT p);

};

Теперь все хорошо – при необходимости вызвать operator() для специфичного обобщенного указателя сгенерируется своя функция operator().

Реализация gen_mem_fun_t

Рассмотрим реализацию mem_fun_t:

template<class R, class T>

struct mem_fun_t {

 explicit mem_fun_t(R (T::*pm_)()): pm(pm_) {}

 R operator()(T *p) const {return ((p->*pm)());}

private:

 R (T::*pm)();

};

Все кажется идеальным для работы с указателями, но ведь обобщенный указатель – это не указатель, он не знает, что такое operator->*! Нужно явно узнать, на какой объект он ссылается и потом уже выполнять операцию ->*

template<class R, class T>

struct gen_mem_fun_t {