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

предположим, что этот сценарий в Visual C++ 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;
};

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

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

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

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

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

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

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

47
c++ function-overriding method-overriding override

3 ответов

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

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

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

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

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

...и наблюдайте за выходом, как ожидалось:

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

64

Да вы немного неправильно поняли:

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

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

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

virtual void fun2() -> можно переопределить

обычные функции:

void fun3() - > не переопределяйте его

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

3

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

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

1