boost::mem_fn является обобщением стандартных функций std::mem_fun и std::mem_fun_ref. Он поддерживает указатели функций-членов с более чем одним аргументом, и возвращенный объект функции может принять указатель, ссылку или интеллектуальный указатель на экземпляр объекта в качестве своего первого аргумента. mem_fn также поддерживает указатели на членов данных, рассматривая их как функции, не принимающие аргументов и возвращающие (const) ссылку на члена.

Назначение mem_fn двоякое. Во-первых, он позволяет пользователям вызывать функцию участника в контейнере со знакомой функцией

std::for_each(v.begin(), v.end(), boost::mem_fn(&Shape::draw));

синтаксис, даже когда контейнер хранит умные указатели.

Во-вторых, он может быть использован в качестве строительного блока разработчиками библиотек, которые хотят рассматривать указатель на функцию члена как объект функции. Библиотека может определить расширенный алгоритм для каждого с перегрузкой формы:

template<class It, class R, class T> void for_each(It first, It last, R (T::*pmf) ())
{
    std::for_each(first, last, boost::mem_fn(pmf));
}

это позволит создать удобный синтаксис:

for_each(v.begin(), v.end(), &Shape::draw);

При документировании функции автор библиотеки просто скажет:

template<class It, class R, class T> void for_each(It first, It last, R (T::*pmf) ());

где boost::mem_fn может быть ссылкой на эту страницу. В качестве примера см. документацию bind.

mem_fn берет один аргумент, указатель на участник, и возвращает объект функции, пригодный для использования со стандартными или определяемыми пользователем алгоритмами:

struct X
{
    void f();
};
void g(std::vector<X> & v)
{
    std::for_each(v.begin(), v.end(), boost::mem_fn(&X::f));
};
void h(std::vector<X *> const & v)
{
    std::for_each(v.begin(), v.end(), boost::mem_fn(&X::f));
};
void k(std::vector<boost::shared_ptr<X> > const & v)
{
    std::for_each(v.begin(), v.end(), boost::mem_fn(&X::f));
};

Возвращенный объект функции принимает те же аргументы, что и функция входного элемента плюс «гибкий» первый аргумент, который представляет экземпляр объекта.

Когда объект функции вызывается первым аргументом x, который не является ни указателем, ни ссылкой на соответствующий класс (X в примере выше), он использует get_pointer(x) для получения указателя от x. Авторы библиотеки могут «регистрировать» свои классы умных указателей, предоставляя соответствующий get_pointer перегрузка, позволяя mem_fn распознавать и поддерживать их.

[Примечание: get_pointer не ограничивается возвратом указателя. Любой объект, который может быть использован в функции члена вызова выражения (x->*pmf)(...) будет работать.]

[Примечание: библиотека использует неквалифицированный вызов get_pointer. Таким образом, с помощью поиска, зависящего от аргументов, он найдет get_pointer перегрузки, которые определяются в том же пространстве имен, что и соответствующий класс интеллектуальных указателей, в дополнение к любому boost::get_pointer перегрузки.

Все объекты функций, возвращаемые mem_fn, выставляют result_type typedef, который представляет тип возврата функции-члена. Для членов данных result_type определяется как тип члена.