??? 這里僅翻譯第五個(gè)：

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

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

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

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