"Вариации на тему STL. Адаптер обобщенного указателя на функцию-член класса" - читать интересную книгу автора (Гусаров Михаил)

Реализация gen_mem_fun_t

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

templatelt;class R, class Tgt;

struct mem_fun_t {

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

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

private:

 R (T::*pm)();

};

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

templatelt;class R, class Tgt;

struct gen_mem_fun_t {

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

 templatelt;class TTgt; R operator()(TT p) {return (p.operator-gt;()-gt;*pm)();}

private:

 R (T::*pm)();

};

Правда, возникает другая одна проблема – если теперь мы захотим использовать наш адаптер с обычным указателем, то потерпим поражение: обычные указатели не понимают operator-gt;(). Таким образом, нам необходимо специализировать нашу функцию operator() для работы с обычными указателями:

templatelt;gt;

R operator()(T* p) {

 return (p-gt;*pm)();

}