1

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

Примерно вот так:

class A
{
public:
    virtual void f() = 0;
    int a;
};

class B : public A
{
public:
    B()
    {
        f();
    }
    void f() override
    {
        cout << "B::f()" << endl;
    }
    int b;
};

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

4
  • И? Этот код содержит только объявления. Какие могут быть "проблемы" в коде, который ничего не делает? 25 мар 2019 в 16:44
  • 1
    Вызывать можно, просто он не будет виртуальным. Вызовется метод из того же класса. Вызов виртуального метода из другого класса в иерархии тоже возможен с явной спецификацией, например B::f();.
    – freim
    25 мар 2019 в 16:44
  • @freim: С чего бы это вдруг он "не будет виртуальным"? 25 мар 2019 в 16:51
  • @AnT, до чего же любите вы докопаться на пустом месте. Он будет вызван как невиртуальный - устроит такая формулировка?
    – freim
    25 мар 2019 в 17:58

1 ответ 1

2

Не ясно, о каких именно проблемах вы говорите.

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

В вашем примере, в соответствии с этим правилом, во время работы конструктора класса B с точки зрения виртуального механизма конструируемый объект будет иметь тип B. Соответственно виртуальный вызов метода f из конструктора B::B попадет в реализацию B::f.

Никаких проблем здесь нет.

В таком тривиальном примере как ваш, большинство компиляторов сразу "догадаются", что вызван будет именно метод B::f и соптимизируют виртуальный вызов, заменив его на обычный прямой вызов. В более хитрых случаях (вроде вызова через указатель) вызов останется виртуальным, но все равно будет работать корректно (учитывая описанное выше).

См.
Вызов виртуального метода в конструкторе
Странная и непонятная ошибка

3
  • Больше спасибо за разъяснение. Тогда я не совсем понимаю, почему все говорят, что звать виртуальные методы в конструкторах нельзя... То, что при работе конструктора используется метод того класса, чей конструктор сейчас работает, вполне понятно. Очевидно, что в конструкторе предка не получится вызвать виртуальный метод наследника, потому что наследника еще не существует. Собственно, поэтому я и не понимаю, какие могут быть проблемы.
    – MGNeo
    25 мар 2019 в 19:05
  • 1
    @MGNeo: "все говорят, что звать виртуальные методы в конструкторах нельзя" - это чушь. Не надо слушать таких "всех". Вызывать, разумеется, можно. Надо лишь понимать, как это будет работать при таком вызове. 25 мар 2019 в 23:55
  • большое спасибо за помощь!
    – MGNeo
    26 мар 2019 в 7:01

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.