在这个模板函数中，S代表返回值，T代表类，例如mem_fun(&(A::Add));当然现在Add函数是没有参数的Add。

S代表int，T代表A，f代表Add。把这个指针传给了mem_fun_t.

template  mem_fun_t mem_fun (S (T::*f)())
{ return mem_fun_t(f); }

 mem_fun_t定义了一个成员pmem的成员函数指针。在构造函数中对pmem进行赋值，并且这个类重载了操作符().接受一个T *的参数。  template <class S, class T> class mem_fun_t : public unary_function 
{
  S (T::*pmem)(); public: explicit mem_fun_t ( S (T::*p)() ) : pmem (p) {}
  
S operator() (T* p) const { return (p->*pmem)(); }
};
一个transform的的原型算法。可以讲UnaryOperator Op看做mem_fun_t的一个对象。  
template 
  OutputIterator transform (InputIterator first1, InputIterator last1,
                            OutputIterator result, UnaryOperator op)
{ while (first1 != last1) {
    *result = op(*first1); // or: *result=binary_op(*first1,*first2++); ++result; ++first1;
  } return result;
}