shared_ptr 創建時即捕獲析構動作,何解?

讀陳碩書《Linux多線程服務端編程》,有一句話不能理解:析構在創建時被捕獲,這意味着虛析構不再是必須的。實際代碼操作了一下,發現確實通過shared_ptr去釋放派生類對象,無需將析構函數置爲virtual,代碼如下:

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

class base
{
public:
    base(){cout << "base construct" << endl;}
    virtual void print(){cout << "base print" << endl;}
    ~base(){cout << "base destruct" << endl;}
};

class derived: public base
{
public:
    derived(){cout << "derived construct " << endl;}
    void print(){cout << "derived print" << endl;}
    ~derived(){cout << "derived destruct" << endl;}
};

int main()
{
    shared_ptr<base> ptr(new derived());
    return 0;
}

代碼打印爲:

base construct
derived construct 
derived destruct
base destruct



而後閱讀文章[c++ 筆記]shared_ptr 理解創建時即捕獲析構動作,感覺該文章給出了一個較爲合理的解釋,不過模擬shared_ptr原理的代碼編譯不過,這邊稍作修改

#include <iostream>

template <typename T>
class simple_ptr_internal_interface {
public:
    virtual T* get() = 0;
    virtual void destruct() = 0;
}; // class simple_ptr_internal_interface

template <typename T, typename D>
class simple_ptr_internal: public simple_ptr_internal_interface<T>
{
public:
    struct DefaultDeleter {
        void operator()(T* t) { delete static_cast<D*>(t); }
    };
    simple_ptr_internal(T* p): pointer(p) {}

    virtual T* get() override { return pointer; }
    virtual void destruct() override { deleter(pointer); }

private:
    T* pointer;
    DefaultDeleter deleter;
}; // class simple_ptr_internal

template <typename T>
class simple_ptr {
public:
    template <typename Derived>
    simple_ptr(Derived* d): internal(new simple_ptr_internal<T, Derived>{d}) {}
    ~simple_ptr() { this->destruct(); }

private:
    void destruct() { internal->destruct(); }
    simple_ptr_internal_interface<T>* internal;
}; 

class base
{
public:
    base(){std::cout << "base construct" << std::endl;}
    ~base(){std::cout << "base destruct" << std::endl;}
};

class derived: public base
{
public:
    derived(){std::cout << "derived construct " << std::endl;}
    ~derived(){std::cout << "derived destruct" << std::endl;}
};

int main()
{
    simple_ptr<base>(new derived());
    return 0;
}

代碼打印爲:

base construct
derived construct 
derived destruct
base destruct
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章