假如我们实现了这样的一个单向链表:
     class LinkedListNode {   int data_;   LinkedListNode *next_; }; class LinkedList {   public:     void insert(LinkedListNode* &p);     void del(LinkedListNode *p);   private:     LinkedListNode *head_; }; 
其中insert将p插入到head_为头指针的链表中,而p对应的内存由外面分配好,调用的时候类似于这样:
     LinkedList list; LinkedListNode *p = new LinkedListNode(2, NULL); list.insert(p); 
其中,p可能是通过new得到,也可能是malloc出来。好,问题来了:
这个类的del函数应该如何实现呢?如果节点是new出来的,我们得delete;如果是malloc出来的,我们得使用配套的free。否则,行为就是undefined。而且,用户还可能实现了自己的定制的内存分配回收例程。
我们并不知道该内存是如何分配得到的。这就是问题所在。
解决方法是让用户将正确的、对应的、适配的资源释放例程传递进来,然而delete是expression,free是函数,更悲剧的是不同用户实现的资源回收函数原型不尽相同。如何做呢?
函数对象是解决这个问题的利器。我们可以这样:
     template<typename CallBack> class LinkedList {   public:     void insert(LinkedListNode* &p);     void del(LinkedListNode *p);   private:     LinkedListNode *head_; }; 
在del中:
     void del(LinkedListNode *p) {   //...   LinkedListNode *prev = get_prev(p);   prev->next_ = p->next_;   CallBack cb;   cb(p);//调用用户提供的资源回收例程 } 
用户需要实现自己的CallBack类的operator()成员函数。如下所示:
     class MyReclaimRoutine {   public:     void operator() (LinkedListNode *p)     {       delete p; //free(p) ? my_release_func(p) ? all up to you!     } }; 
然后就万事大吉了:
     LinkedList<MyReclaimRoutine> list; LinkedListNode *p = new LinkedListNode(2, NULL); list.insert(p); list.del(p);//ok! delete p will be called