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的特定情况下，删除器被存储为引用计数对象的一部分，该引用计数对象由指针保存。