在C++中键入擦除:boost::shared_ptr和boost::函数是如何工作的

Type erasure in C++: how boost::shared_ptr and boost::function work?

本文关键字：boost 何工作 工作 函数 ptr C++ 擦除 shared      更新时间：2023-10-16

键入擦除-您就是这么称呼它的吗？

boost::shared_ptr如何存储其deleter，boost::function如何存储其函数对象？

有教这个把戏的教程吗？

使用类型擦除函数对象的运行时成本是多少？

这个想法很简单，您可以定义一个基类，该基类具有一个具有所需功能的接口，然后从中继承。由于被擦除的类型类只使用该接口，因此下面的实际类型是被遗忘的和被擦除的。或者，如果唯一需要的接口可以表示为自由函数，则可以存储指向自由函数的指针。

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

相关文章：