Виртуальные методы

@Семан · Регистрация: 13.03.2012

Author24 — интернет-сервис помощи студентам

народ вот пример с виртуальными методами, и вывод этой программы

C++

class Ancestor
{
public:
  virtual void  function1 () { cout << "Ancestor::function1()" << endl; }
  void          function2 () { cout << "Ancestor::function2()" << endl; }
};
 
class Descendant : public Ancestor
{
public:
  virtual void  function1 () { cout << "Descendant::function1()" << endl; }
  void          function2 () { cout << "Descendant::function2()" << endl; }
};
 
Descendant*  pointer      = new Descendant ();
Ancestor*    pointer_copy = pointer;
 
pointer->function1 ();
pointer->function2 ();
 
pointer_copy->function1 ();
pointer_copy->function2 ();

Вывод:
Descendant::function1()
Descendant::function2()
Descendant::function1()
Ancestor::function2()

Все не могу понять как это работает, объясните пожалуйста, особенно не могу понять вот эти строки где создаются объекты

C++

1 2	Descendant* pointer = new Descendant (); Ancestor* pointer_copy = pointer;

по определению виртуальной функции это функция которая вызывается от реального типа объекта а не от точки зрения на него, не могу понять что значит точка зрения на него.

@akaAxeL · 14.05.2015, 13:16

Когда создаются объекты то

C++

1	Ancestor* pointer_copy = pointer;

Просто создается указатель на объект другого класса. А виртуальные функции если и у "ребенка" и у "родителя" они одинаковые то вызывается функция ребенка

DiffEreD · 14.05.2015, 13:17

C++

class Ancestor
{
public:
  virtual void  function1 () { cout << "Ancestor::function1()" << endl; }
  void          function2 () { cout << "Ancestor::function2()" << endl; }
};
 
class Descendant : public Ancestor
{
public:
  virtual void  function1 () { cout << "Descendant::function1()" << endl; }
  void          function2 () { cout << "Descendant::function2()" << endl; }
};
 
Descendant*  pointer      = new Descendant (); //статический тип Descendant*, динамический тип тоже Descendant*
Ancestor*    pointer_copy = pointer; // статический тип Ancestor*, динамический тип Descendant*
 
pointer->function1 (); // виртуальная функция - вызывается версия на основе динамического типа
pointer->function2 (); // не виртуальная функция - вызывается версия на основе статического типа
 
pointer_copy->function1 (); // виртуальная функция - вызывается версия на основе динамического типа
pointer_copy->function2 (); // не виртуальная функция - вызывается версия на основе статического типа

@Eva Rosalene · 14.05.2015, 13:22

Семан, смотрите. Будь функция не виртуальная, компилер бы решил:
Так, вот у нас указатель на Ancestor. Раз мы вызываем метод, например

C++

1	pointer_copy->function2();

, то сразу в готовой программе будет вызов Ancestor::function2(); , так как указатель объявлен именно как Ancestor*

Если же функция виртуальная, компилятор ничего не решает. Это решает сама программа в рантайме, основываясь на таблице виртуальных методов самого объекта. А объект, на который указывает pointer_copy на деле не Ancestor, а Descendant

@Kerry_Jr · 14.05.2015, 13:23

Сообщение от Семан

реального типа объекта а не от точки зрения на него

А она и вызывается от реального объекта, ведь память под него выделена, значит это полноценный объект. Дело здесь в другом: у нас есть два указателя разных типов(базовый и наследник), указывающих на один объект. Так вот, если вызывать невиртуальный метод через указатель на базовый класс, то вызовется метод базового класса.

@Eva Rosalene · 14.05.2015, 13:24

Сообщение от Kerry_Jr

реального объекта

Сообщение от Семан

реального типа объекта

Kerry_Jr, Вы немного упустили слово)

@Семан · 14.05.2015, 14:05 **[ТС]**

Спасибо всем большой, я уже понял все, просто еще одно не могу понять, что значит "а не от точки зрения на него"

@Eva Rosalene · 14.05.2015, 14:16

Семан, точка зрения в данном случае = тип указателя.

@Kerry_Jr 3106 / 2591 / 1219 Регистрация: 14.05.2014 Сообщений: 7,236 Записей в блоге: 1
	14.05.2015, 13:23	5
	Сообщение от Семан реального типа объекта а не от точки зрения на него А она и вызывается от реального объекта, ведь память под него выделена, значит это полноценный объект. Дело здесь в другом: у нас есть два указателя разных типов(базовый и наследник), указывающих на один объект. Так вот, если вызывать невиртуальный метод через указатель на базовый класс, то вызовется метод базового класса. 1

@Eva Rosalene Модератор 5198 / 2080 / 406 Регистрация: 06.01.2013 Сообщений: 4,794
	14.05.2015, 13:24	6
	Сообщение от Kerry_Jr реального объекта Сообщение от Семан реального типа объекта Kerry_Jr, Вы немного упустили слово) 1

@Семан 1 / 1 / 1 Регистрация: 13.03.2012 Сообщений: 424
	14.05.2015, 14:05 [ТС]	7
	Спасибо всем большой, я уже понял все, просто еще одно не могу понять, что значит "а не от точки зрения на него" 0

@Eva Rosalene Модератор 5198 / 2080 / 406 Регистрация: 06.01.2013 Сообщений: 4,794
	14.05.2015, 14:16	8
	Семан, точка зрения в данном случае = тип указателя. 1

Виртуальные методы

Решение