??? 這里僅翻譯第五個：

明白Boost的shared_ptr里deleter是如何工作的，2004

Boost的引用計數智能指針shared_ptr有一個有趣的特性，你可以傳入一個函數或者一個函數體，并且當引
用計數為零時，它會對指向的對象調用這個deleter。讓人臉紅的是，這看起來很平凡，但是請看這段代碼：

template<typename??T>
class??shared_ptr?{
public:
????template<typename?U,?typename?D>
????explicit??shared_ptr(U*?ptr,?D?deleter);
????
};

要注意的是在析構的期間shared_ptr<T>必須為類型為D的deleter做些安排，以確保它的調用，然而shared_ptr<T>并不知道類型D到底是什么。此對象不能包含類型為D的數據成員，當然也不能有一個指向類型為D的對象的指針，因為當對象成員數據聲明的時候對于D好不知情。那么shared_ptr對象如何在構造期deleter被傳入時保存它的蹤跡，并且在稍后的析構期使用它的吶？更一般的說法，在一個對象的構造期間構造函數如何獲得未知類型的信息，并把類型的信息傳給此對象，而對象不能保存關于此類型任何提示。

答案很簡單：此對象包含一個已知類型的基類指針（Boost管它叫做 sp_counted_base ），指向一個已經構造實例化的模板，此模板繼承自前面的基類，并使用D作為實例化參數（Boost使用模板 sp_counted_impl_p 和 sp_counted_impl_pd ），使用一個在基類里聲明，繼承類中定義的虛函數來調用 deleter （Boost使用 dispose ）。稍微簡化了，它看起來像下面這樣：
??????????????????????????? ?
它是很明顯的，只要你看過它一次。但是只要你看過它一次，你就會體會到它可以被用到很多種類的地方，它打開了模板設計的新視野，模板化類使用相對較少的模板參數（shared_ptr 只是其中一個）可以引用不受數量限制的當前不知名類型的信息。當我意識到我接近的東西，我不能禁止地露出贊賞的笑容并搖晃我的腦袋。