Question

以下代码

struct Base
{
  public:
  Base()
  {
    std::cout<<"Base Ctr";
  }

  ~Base()
  {
    std::cout<<"Base Dtr";
  }
};

struct Derived : Base
{
  Derived()
  {
    std::cout<<"Derived Ctr";
  }

  ~Base()
  {
    std::cout<<"Derived Dtr";
  }
};

int main()
{
  Base* b = new Derived;
  delete b;
}

给我以下输出：

Base Ctr
Derived Ctr
Base Dtr

解决方法是使基础析构函数为虚拟。

然而，当我使用不带虚拟基础析构函数的boost智能指针时。我得到了不同的输出。

int main()
{
  boost::shared_ptr<Base> b = boost::make_shared<Derived>();
}

输出

 Base Ctr
 Derived Ctr
 Derived Dtr
 Base Dtr

boost shared_ptr如何在不影响（我假设）Base和Derived类的情况下实现这一目标。
它如何根据多级继承进行扩展，即基本指向dervderv 其中dervderv是从derv继承的。

编辑：

大多数答案告诉我＆＃34;魔法＆＃34;发生在make_shared中。但是，我对以下代码

获得了相同的行为

boost::shared_ptr<Base> ptr(new Derived);

Answer 1

简而言之，boost::smart_ptr包含指向对象的引用，引用计数和删除函数（在析构函数中调用），当您调用boost::make_shared<Derived>()时，它将创建类{{}的默认构造对象1}}和deleter将指向Derived的析构函数。这应该适用于任何长度的继承链，但在基类中具有虚拟析构函数是非常必要的。

考虑这种技术的下一个简化的简单示例实现：

Derived

输出结果为：

#include <iostream>
#include <functional>
using namespace std;

struct Base
{
  public:
  Base()
  {
    std::cout<<"Base Ctr ";
  }

  ~Base()
  {
    std::cout<<"Base Dtr ";
  }
};

struct Derived : Base
{
  Derived()
  {
    std::cout<<"Derived Ctr ";
  }

  Derived(const Derived& d)
  {
    std::cout<<"Derived copy Ctr ";
  }

  ~Derived()
  {
    std::cout<<"Derived Dtr ";
  }
};

template <typename T>
void default_deleter(T* p) {
    delete p;
}

template <typename T>
struct pointer {
    pointer(T* p, std::function<void ()> d) : p_(p), deleter_(d) {}
    template <typename U>
    pointer(pointer<U> other) : p_(new U(*other.p_)), 
    deleter_(std::bind(&default_deleter<U>, (U*)p_)) {}
    template <typename Y>
    explicit pointer(Y* p) : p_(p), deleter_(std::bind(&default_deleter<Y>, p)) {}
    ~pointer() {
        deleter_();
    }
    T* p_;
    std::function<void ()> deleter_;
};


template <typename T>
pointer<T> make_pointer() {
    T* p = new T;
    return pointer<T>(p, std::bind(&default_deleter<T>, p));
}

int main() {
    pointer<Base> b = make_pointer<Derived>();
    pointer<Base> b2(new Derived);
    return 0;
}

派生类的析构函数被调用两次，因为有2个指针实例：一个是在make_pointer函数中创建的，第二个是在main函数中。

Answer 2

使用普通函数指针实现的解决方案：

#include <iostream>
#include <boost/shared_ptr.hpp>
#include <boost/make_shared.hpp>
#include <typeinfo>

using namespace std;

struct Base{

  Base(){
    cout<<"Base ctor."<<endl;
  }

  ~Base(){
    cout<<"Base dtor."<<endl;
  }

};

struct Derv: Base{

  Derv():Base(){
    cout<<"Derv ctor."<<endl;
  }

  ~Derv(){
    cout<<"Derv dtor."<<endl;
  }

};

typedef void (*DEL)(void*);

template<typename U>
void deleter(void* ptr)
{
  delete static_cast<U*>(ptr);
}

template<typename T>
struct SmartPtr{

  T* memPtr;

  DEL func;

  template<typename U>
    SmartPtr(U* p):
      memPtr(p)
  {
    func = deleter<U>;
  }

  ~SmartPtr(){

      func(memPtr);
  }
};
int main()
{
  //case 1
  SmartPtr<Base> ptrSmart1(new Derv());

  //case 2
  SmartPtr<Base> ptrSmart2(new Base());

  //case 3
  SmartPtr<Derv> ptrSmart3(new Derv());

  return 0;
}

Answer 3

通过拥有一个删除函子，Boost实现了这一点。默认实现在使用delete创建的类型上调用make_shared。

boost共享指针构造函数析构函数

3 个答案: