编译时继承类中的隐式虚拟与显式虚拟

Question

TL;DR 我引用的旧代码不符合 C 语言。令人惊讶的是，代码曾经有效。不能在构造函数和解构函数中调用虚拟方法。

我和一位同行讨论了C语言中的＜code＞virtual＜/code＞关键字。在一个较旧的ubuntu操作系统上，我正在编写一个程序，该程序报告了调用“纯虚拟方法”的错误，这是不应该发生的

class Base {
    virtual ~Base() { this->DoSomethingElse(); }
    virtual bool DoSomething() = 0;
    virtual bool DoSomethingElse() = 0;
};

class Foo : public Base {
    ~Foo();
    bool DoSomething();
    bool DoSomethingElse();
};

// Later...
Base* obj = new Foo();
obj->DoSomething(); // Pure virtual function called SIGABORT
delete obj; // Pure virtual function called SIGABORT

单步执行调试器后，我终于在继承的类上添加了虚拟

class Base {
    virtual ~Base() { this->DoSomethingElse(); }
    virtual bool DoSomething() = 0;
    virtual bool DoSomethingElse() = 0;
};

class Foo : public Base {
    virtual ~Foo();
    virtual bool DoSomething();
    virtual bool DoSomethingElse();
};

// Later...
Base* obj = new Foo();
obj->DoSomething(); // Ok!
delete obj; // Ok!

在告诉我的同龄人之前，我仔细检查了谷歌是否有任何可能表明继承类需要虚拟的东西。他们说，是的，标准中需要虚拟，但编译器大多数时候会自动为继承的类填充虚拟。根据我的理解（我相信大多数程序员），当你想通过多态性覆盖该功能时，虚拟是需要的。但不清楚您是否也需要标记子类函数实现。

我对这个话题缺乏资源感到惊讶。那是什么？现代C编译器中是否隐含了虚拟，标准在哪里描述了这一点？

Answer 1

重写虚拟函数的函数是虚拟的。这不是问题所在。

问题是对< code > dosomingelse()的调用(有或没有冗余的< code>this-