std::shared_ptr 可调用父类的非虚析构函数

struct IBase
{
    IBase() {
        std::cout << "IBase::IBase()" << std::endl;
    }
    virtual ~IBase() {
        std::cout << "IBase::~IBase()" << std::endl;
    }
    virtual void execute() = 0;
};
using IBaseSP = std::shared_ptr<IBase>;
using IBaseUP = std::unique_ptr<IBase>;

class Foo : public IBase
{
public:
    Foo() {
        std::cout << "Foo::Foo()" << std::endl;
    }
    ~Foo() override {
        std::cout << "Foo::~Foo()" << std::endl;
    }
    void execute() override {
        std::cout << "Foo::execute()" << std::endl;
    }
};

class Bar : public IBase
{
public:
    Bar() {
        std::cout << "Bar::Bar()" << std::endl;
    }
    ~Bar() override {
        std::cout << "Bar::~Bar()" << std::endl;
    }
    void execute() override {
        std::cout << "Bar::execute()" << std::endl;
    }
};

int main() {
    IBase* p = new Foo();
    p->execute();
    delete p;

    std::cout << "----------" << std::endl;

    std::queue<IBaseUP> queueUP;
    {
        queueUP.push(std::make_unique<Foo>());
        queueUP.push(std::make_unique<Bar>());
    }

    while (!queueUP.empty()) {
        auto &p = queueUP.front();
        p->execute();
        queueUP.pop();
    }

    std::cout << "----------" << std::endl;

    std::queue<IBaseSP> queueSP;
    {
        queueSP.push(std::make_shared<Foo>());
        queueSP.push(std::make_shared<Bar>());
    }

    while (!queueSP.empty()) {
        auto &p = queueSP.front();
        p->execute();
        queueSP.pop();
    }

    return 0;
}

 

本测试环境为VS2015。支持C++11标准。

一般的我们通过指针或引用在C++中实现多态。如果要把数据存入容器，则可以使用智能指针。

如果要确保对象可以正常析构，则需要将父类的析构函数声明为虚函数。这样通过父类指针delete时，可确保子类对象的析构函数被正常调用。

正常情况下的执行结果如下图所示，父类及子类的析构函数都可以被调用：

如果父类的析构函数不是虚函数，则结果如下图：

可以看到，只有父类的析构函数被调用了。子类的析构函数并没有被调用，则产生错误。

这一点上，对于原始的指针或者std::unique_ptr。其表现是一致的。也符合C++基本的语法。

但是对于std::shared_ptr。即便父类析构函数并非虚函数，其子类的析构函数依然可以被调用。

对于此种行为的原因尚未查明（待更新）。也许这是std::shared_ptr专门设计的一种特性。但为谨慎起见，我们也未必需要此特性。

C++11中引入了新的关键字“override”。对于子类中要实现多态（即要对父类方法进行override）的方法。在函数定义中使用override关键子，则编译器会帮助检测语法错误。如果父类方法未声明virtual则报错，提升代码质量。

如果使用了override关键字，则可不必在函数开头声明virtual。