类型擦除 - 你怎么称呼它?
boost::shared_ptr
如何存储其删除器以及boost::function
如何存储其功能对象?
有没有教授这个技巧的教程?
使用类型擦除函数对象的运行时成本是多少?
答案 0 :(得分:23)
这个想法很简单,你定义一个基类,它有一个具有你需要的功能的接口,然后继承它。由于类型擦除类仅使用该接口,因此下面的实际类型是忘记和擦除。或者,如果唯一需要的接口可以表示为自由函数,则可以存储指向自由函数的指针。
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
的特定情况下,删除器存储为引用计数对象的一部分,由指针保存。