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

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

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

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

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

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