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

Question

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

0

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

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

Dustin Oprea 15 окт. 2013, в 13:34

Источник

Теги:

c++

pure-virtual

1 ответ

Ещё вопросы

mr_georg · Accepted Answer · 2013-10-15T09-22-00.000Z

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

#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 конструктор Base::Base завершается, объект затем становится Derived и запускается конструктор Derived::Derived.

Разве это не хорошая идея вызывать виртуальные функции внутри конструктора?
@Pradheep Конечно, нет-нет. Но приведенный выше пример делает что-то не так.
@Pradheep - нет ничего плохого в вызове виртуальных функций внутри конструктора (или деструктора). «Правило», согласно которому это плохая идея, исходит от людей, которые не понимают, как работает такой вызов. Он вызывает версию, определенную для типа, чей конструктор (или деструктор) работает в данный момент, что не обязательно является наиболее производным типом.
@PeteBecker Спасибо за объяснение. Теперь я понимаю это лучше
Спасибо за ответ. Я думал, что это вопрос, который фактически не включает в себя реализацию чисто виртуального. Неудивительно, что я не смог вызвать ошибку самостоятельно: ее нужно вызывать из метода конструктора базы. Только на ТА я мог получить ответ на неясное поведение С в течение двадцати четырех часов.