C++類型擦除：boost :: shared_ptr和boost :: function如何工作？

Question

類型擦除 - 你是怎麼稱呼它的？

如何boost::shared_ptr存儲其刪除器，以及如何boost::function存儲其函數對象？

有沒有教伎倆任何教程？

什麼是使用類型擦除函數對象的運行時間成本？

Answer 1

的想法很簡單，您可以定義與您需要的功能的接口的基類，然後從它繼承。由於類型擦除類只使用該接口，下面的實際類型是忘記和刪除。或者，如果唯一需要的接口可以表示爲自由函數，則可以存儲指向自由函數的指針。

namespace detail { 
    struct deleter_base { 
     virtual ~deleter_base() {} 
     virtual void operator()(void*) = 0; 
    }; 
    template <typename T> 
    struct deleter : deleter_base { 
     virtual void operator()(void* p) { 
     delete static_cast<T*>(p); 
     } 
    }; 
} 
template <typename T> 
class simple_ptr { 
    T* ptr; 
    detail::deleter_base* deleter; 
public: 
    template <typename U> 
    simple_ptr(U* p) { 
     ptr = p; 
     deleter = new detail::deleter<U>(); 
    } 
    ~simple_ptr() { 
     (*deleter)(ptr); 
     delete deleter; 
    } 
}; 

這是一個非常簡化的智能指針，但這個想法是存在的。在shared_ptr的特定情況下，刪除器被存儲爲引用計數對象的一部分，該引用計數對象由指針保存。