boost::enable_shared_from_this的部分实现研究

 

shared_ptr是boost库实现的几个智能指针中最重要的，其使用引用计数机制来管理资源。

如果一个类由shared_ptr管理，而在这个类的某个方法又需要传出一个指向自身的指针，那么这个指针也必须被shared_ptr所管理。 boost库的实现方法为让被管理类继承boost::enable_shared_from_this类，此后通过shared_from_this函数获得指向自身的shared_ptr。

enable_shared_from_this实质上是把一个weak_ptr作为被管理类的成员，其观察资源使用情况，在调用 shared_from_this函数时就是通过这个weak_ptr生成了一个shared_ptr。研读 enable_shared_from_this机制的实现时，发现以下代码：

<!--

Code highlighting produced by Actipro CodeHighlighter (freeware)
http://www.CodeHighlighter.com/

--> 1  template <   class  X,  class  Y,  class  T  >
2  inline  void  sp_enable_shared_from_this( boost::shared_ptr < X >   const   *  ppx, Y  const   *  py, boost::enable_shared_from_this <  T  >   const   *  pe )
3  {
4       if ( pe  !=   0  )
5      {
6          pe -> _internal_accept_owner( ppx, const_cast <  Y *   > ( py ) );
7      }
8  }

这个函数就是设置被管理类中的weak_ptr的。那么这个函数什么时候被调用呢？是在shared_ptr的构造函数中：

<!--

Code highlighting produced by Actipro CodeHighlighter (freeware)
http://www.CodeHighlighter.com/

--> 1  template < class  Y >
2  explicit  shared_ptr( Y  *  p ): px( p ), pn( p )  //  Y must be complete
3  {
4      boost::detail::sp_enable_shared_from_this(  this , p, p );
5  }

这里比较奇怪的地方就是sp_enable_shared_from_this这个函数是始终被调用的，但是如果被管理类没有继承自 enable_shared_from_this，那这个调用肯定是通不过的，因为指向普通类型Y的指针p不能转型为指向 enable_shared_from_this类的指针。继续翻代码，发现sp_enable_shared_from_this函数的一个重载：

<!--

Code highlighting produced by Actipro CodeHighlighter (freeware)
http://www.CodeHighlighter.com/

--> inline  void  sp_enable_shared_from_this( … ){}

原来这个地方充分利用了函数重载发现机制，如果被管理类继承自enable_shared_from_this，那么第一个 sp_enable_shared_from_this就是最合适的，shared_ptr的构造函数中会调用这个版本。否则，就会调用第二个 sp_enable_shared_from_this函数也就是最通用化的版本，因为…就是不定参数，它可以接受任何传入的类型。而这个参数又是一个空函数，什么事都不会发生。

 

这种实现方式也避免了效率的降低，因为2个sp_enable_shared_from_this都是内联inline的，这就保证了如果不需要设置weak_ptr那么不会有任何函数调用发生。