读陈硕书《Linux多线程服务端编程》,有一句话不能理解:析构在创建时被捕获,这意味着虚析构不再是必须的。实际代码操作了一下,发现确实通过shared_ptr去释放派生类对象,无需将析构函数置为virtual,代码如下:
#include <iostream>
template <typename Base>
class simple_ptr_internal_interface {
public:
virtual Base* get() = 0;
virtual void destruct() = 0;
}; // class simple_ptr_internal_interface
template <typename Base, typename Derived>
class simple_ptr_internal: public simple_ptr_internal_interface<Base>
{
public:
struct DefaultDeleter {
void operator()(Base* t) { delete static_cast<Derived*>(t); }
};
simple_ptr_internal(Base* p): pointer(p) {}
virtual Base* get() override { return pointer; }
virtual void destruct() override { deleter(pointer); }
private:
Base* pointer;
DefaultDeleter deleter;
}; // class simple_ptr_internal
template <typename Base>
class simple_ptr {
public:
template <typename Derived>
simple_ptr(Derived* d): internal(new simple_ptr_internal<Base, Derived>{d}) {}
~simple_ptr() { this->destruct(); }
private:
void destruct() { internal->destruct(); }
simple_ptr_internal_interface<Base>* 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