C++函数对象的应用

假如我们实现了这样的一个单向链表：

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

关于程序设计基石与实践更多讨论与交流，敬请关注本博客和新浪微博songzi_tea