ну у потомка же нет собственного метода DoTest, поэтому в любом случае вызывается унаследованный от предка. А внутри него вызов Test (если убрать виртуальность) означает вызов из того же класса - остальные там просто не видны.

Таким образом на основании двух примеров формируем след вопрос:

Пример первый. Описание классов от bems




Пример второй




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

bems, Alexsis спасибо большое за примеры.  Bems, Насчет вызова родительского метода у дочернего класса я понял, собственный у него отсутствует, он пользуется тем что есть (унаследованным).










Это сообщение отредактировал(а) PsiMagistr - 31.12.2009, 19:12

Они и не перекрываются. Но когда ты объявляешь у дочернего класса метод, который уже есть у родителя, то дочерний скрывает родительский. И компилятор честно об этом предупреждает ворнингом. Когда ты видишь этот ворнинг, ты должен подумать что же ты хотел на самом деле. Если забыл указать override, то укажи. Если действительно хочешь скрыть старый метод, то укажи reintroduce

Bems, большое спасибо, вы мне просто глаза открыли, честное слово. 
 
Таким образом:

Существует родительский класс "А" и класс-наследник "В"

В классе "А" прописан некоторый метод C-metod, вызывающий в процессе выполнения дополнительно метод D-metod того же класса.

Класс наследник В обладает собственным D-metodom, отличным по исполнению от родительского. Но собственным методом С-metod, класс В не обладает. Этот метод переходит к нему по правам наследования.

Если объекту класса B необходимо исполнить унаследованный С-metod, метод D-metod, вызываемый внутри такого С-metod  необходимо сделать виртуальным (Virtual) в объявлении класса родителя, а затем переопределить (override), в объявлении  потомка, иначе будет выполнен D-metod класса А.

Т.е. пара virtual-override используется, когда когда наследуемому  методу необходимо выполнить чужеродные ему по изначальной природе элементы (методы дочерних классов).

Будь у класса B собственный метод С-metod, он бы просто сокрыл родительский (пропиши rentroduce), чтобы компилятор не ругался.  


Это сообщение отредактировал(а) PsiMagistr - 1.1.2010, 11:53

Ничего не понял 

Добавлено через 38 секунд
Не ты. Я ничего не понял в твоём посте

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



Существует родительский класс TMyClassA и класс-наследник TMyClassB. 

В классе  TMyClassA   прописан некоторый метод DoTest, вызывающий в процессе выполнения, кроме всего прочего свой метод Test.

Класс наследник TMyClassB обладает собственным методом Test отличным по исполнению от родительского Test. Но собственным методом DoTest класс TMyClassB не обладает. Этот метод переходит к нему по правам наследования.

Если объекту класса TMyClassB необходимо исполнить унаследованный  DoTest , метод Test, вызываемый внутри такого DoTest необходимо сделать виртуальным (Virtual) в объявлении класса родителя, а затем переопределить (override), в объявлении  потомка, иначе будет выполнен Test TMyClass.Test, вместо TMyClassB.Test .

Т.е. пара virtual-override используется, когда когда наследуемому методу необходимо выполнить чужеродные ему по изначальной природе элементы (методы дочерних классов).

Будь у класса  TMyClassB  собственный метод DoTest, он бы просто сокрыл родительский (пропиши rentroduce), чтобы компилятор не ругался.





Это сообщение отредактировал(а) PsiMagistr - 1.1.2010, 19:47

Продолжаю изучать теорию ООП. Изваял  микропрограмму, использующую классы и Virtual-override директивы.

Программа направлена на вычисление объема геометрических фигур: призмы с квадратным основанием и призмы с круглым основанием (цилиндр).  Согласно математике объем данных фигур можно получить по общей формуле: Объем:= ПлощадьФигуры*ВысотуФигуры. Поэтому метод GetVolume (Получение объема) является общим для всех классов. Однако этот общий метод использует метод GetArea (ПолучениеПлощади), реализация которого является различной для дочерних классов "Круг" (TDisk) и "Квадрат"  (TSqr), поэтому метод GetArea объявлен виртуальным. 


Переходим в раздел глобальных переменных и опишем класс родоначальник:







Разработано и тестировано мною в среде Дельфи 6.

Попробуйте убрать Virtual-override, раскомментировать реализацию GetArea для класса Figura и посмотреть, что получится. 

 


Это сообщение отредактировал(а) PsiMagistr - 3.1.2010, 17:43

Для случаев вроде Figura.GetArea нужно использовать abstract и убрать пустую реализацию вообще

Bems, а что за команда Abstract, объясни нубику, плиз, а то я только 3 дня, как пытаюсь понять ООП. 

в объявлении класса Figura метод GetArea объявляешь как

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

Bems, благодарю. Ты мне очень-очень сильно помогаешь.

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

Насколько теперь я могу понимать, если б классы TDisc и TSqr имели свою реализацию GetVolume, а не наследованную родительскую, это было б не перекрытие (override), а просто сокрытие, так?



А в чем различие между override и overload?



Это сообщение отредактировал(а) PsiMagistr - 3.1.2010, 16:30

ну вот тут же ты вызываешь
и оно работает, до тех пор, пока вызвается на объекте дочернего класса (не важно, какого типа ссылка, главное чей конструктор вызывался)
Но да, если вызвать это на самом предке, то будет ошибка EAbstractError
И это очень хорошо 
Потому что это в обоих случаях ошибка, но при Abstract тебе на нее покричат, а без Abstract прога просто будет работать не так как надо (потому что в лоюбом случае не научена она считать объем какой-то неконкретной абстрактной финуры)


А почти ничего общего. И к ООП не относится. И один топик - один вопрос.

А какова практическая разница между Virtual и Dynemic?

Практической нет. Dynamic занимает меньше памяти при некоторых условиях, но работает немного медленней. Но это всё не заметно на практике. Используй dynamic там где точно знаешь что без него никак, и virtual во всех остальных случаях.
И еще: методы обработки сообщений (те что с директивой message) на самом деле динамические, хоть объявляются без dynamic

Ребята, я прошу прощения за некоторый оффтоп, столкнулся со следующей задачей:

Есть несколько картинок (класс TImage) с изображениями в них. При нажатии на какую либо картинку, внешний вид ее должен меняться, показывая, что картинка выбрана. Когда же мы нажимаем на след. картинку, выбирается она, а первая возвращается в исходное положение. Таким образом выбрать можно только одну картинку, плитки как бы переключаются между собой.

Как возможно решить данный вопрос поизящнее?