Переопределение не виртуальных методов

Предположим, что этот сценарий в Visual С++ 2010:

#include <iostream>
#include <conio.h>

using namespace std;

class Base
{
public:
    int b;
    void Display()
    {
        cout<<"Base: Non-virtual display."<<endl;
    };
    virtual void vDisplay()
    {
        cout<<"Base: Virtual display."<<endl;
    };
};

class Derived : public Base
{
public:
    int d;
    void Display()
    {
        cout<<"Derived: Non-virtual display."<<endl;
    };
    virtual void vDisplay()
    {
        cout<<"Derived: Virtual display."<<endl;
    };
};

int main()
{
    Base ba;
    Derived de;

    ba.Display();
    ba.vDisplay();
    de.Display();
    de.vDisplay();

    _getch();
    return 0;
};

Теоретически вывод этого небольшого приложения должен быть:

  • База: не виртуальный дисплей.
  • База: виртуальный дисплей.
  • База: не виртуальный дисплей.
  • Производный: виртуальный дисплей.

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

Проблема заключается в том, что когда я запускаю приложение, он печатает это:

  • База: не виртуальный дисплей.
  • База: виртуальный дисплей.
  • Производный: не виртуальный дисплей.
  • Производный: виртуальный дисплей.

Так что либо я не понял понятия виртуальных методов, либо что-то странное происходит в Visual С++.

Может кто-нибудь помочь мне с объяснением?

Ответы

Ответ 1

Да, вы немного недопонимаете.

Метод с тем же именем в производном классе скроет родительский метод в этом случае. Вы могли бы предположить, что если это не так, попытка создания метода с тем же именем, что и не виртуальный метод базового класса, должна вызывать ошибку. Это разрешено, и это не проблема - и если вы вызываете метод напрямую, как вы это сделали, он будет называться штрафом.

Но, будучи не виртуальными, механизмы поиска методов на С++, которые допускают полиморфизм, не будут использоваться. Например, если вы создали экземпляр производного класса, но вызвали ваш метод "Display" с помощью указателя на базовый класс, будет вызываться базовый метод, тогда как для "vDisplay" вызывается производный метод.

Например, попробуйте добавить эти строки:

Base *b = &ba;
b->Display();
b->vDisplay();
b = &de;
b->Display();
b->vDisplay();

... и наблюдайте результат как ожидалось:

База: не виртуальный дисплей.
  База: виртуальный дисплей.
   База: не виртуальный дисплей.
  Производный: виртуальный дисплей.

Ответ 2

Да, вы мало поняли:

Чистые виртуальные функции:

virtual void fun1()=0 → должен быть переопределен в производном классе

Виртуальные функции:

virtual void fun2() → может быть переопределено

Нормальные функции:

void fun3() → не переопределять его

Для достижения полиморфизма во время выполнения вам необходимо переопределить виртуальные функции в С++

Ответ 3

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

Если метод не виртуальный (он уже по умолчанию в С++, в отличие от Java), тогда метод связывается с ним во время компиляции, что невозможно узнать о фактическом объекте, который будет указываться во время выполнения. Таким образом, тип переменной - это все, что имеет значение "Base".