Поймать невыполненные чистые виртуальные машины в C++

Question

Как я понимаю, существуют условия, при которых чисто-виртуальный метод не может быть реализован в дочернем классе, но дочерний класс может быть вызван без него, что приведет к ошибке сборки.

Мне не удалось смоделировать это. Кто-нибудь знает, как это сделать? Я выполнил ряд поисков, но не смог ничего сделать.

Answer 1

Это происходит, когда виртуальная функция вызывается в конструкторе базового класса.

#include <iostream> 

class Base 
{ 
public: 
    Base() { g();} 
    virtual ~Base() {} 

    void g() { f(); } 
    virtual void f() = 0; 
}; 

class Derived : public Base 
{ 
public: 
    Derived() : Base() {} 
    ~Derived() {} 

    void f() { std::cout << "Derived f()" << std::endl; } 
}; 

int main() 
{ 
    Derived d; // here we have the call to the pure virtual function 

    return 0; 
} 

---

РЕДАКТИРОВАТЬ:

Основной проблемой является: когда Derived объект построен, объект начинается как Base, то конструктор Base::Base выполняется. Поскольку объект по-прежнему Base, вызов f() (через g()) вызывает Base::f, а не Derived::f. После завершения конструктора Base::Base объект затем становится Derived и запускается конструктор Derived::Derived.