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
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 list;
LinkedListNode *p = new LinkedListNode(2, NULL);
list.insert(p);
list.del(p);//ok! delete p will be called