Про dynamic и virtual

Подскажите, пожалуйста. Никак не могу усвоить механизм работы таблиц виртуальных и динамических методов( Кучу описаний прочитал и все не сходится.
Везде пишут, что для полиморфных методов сначала реализация ищется в классе объекта, потом родителя и так далее, выше и выше. А если метод не полиморфный, то он просто вызывается, исходя из типа указателя. Но вот код:
Почему в случае вызывается метод класса c2, а не c3? Ведь если заменить в c3 virtual на override, то все в порядке, но создав еще одну таблицу виртуальных методов в c3 я прервал цепочку наследования и начал заново.
Получается поиск реализации начался с c2 в данном случае?
Также непонятно, откуда преимущество в скорости VMT перед DMT, ведь наличие в этой таблице у класса 2 реализации метода из класса 1 нам вовсе и не нужно?
Зачем потомкам содержать инфу о методах родителя, если суть полиморфизма в вызове методов самих потомков, но никак не родительских.
В каком месте рассуждений я пошел по ложному следу?)

0

он не отменяет его в 3, об этом даже пишет компилятор как предупреждение, что этот метод уже виртуальный от класса с2. далее lc имеет тип с1, на ее базе вы создаете экземпляр класса с4, в с4 будет явно переопределено все, что иерархия знает о с1, так как дальнейшая реализация не известна еще. во втором классе если вы используете override + inherited, то вы наследуете в с2 все из с1 + дополняете базовый, естественно если вы и в 3 переопределяете, то наследуется все из 2, а 2 из 1 уже

1

Сообщение от Arcor он не отменяет его в 3, об этом даже пишет компилятор как предупреждение, что этот метод уже виртуальный от класса с2.

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

Сообщение от Arcor в с4 будет явно переопределено все, что иерархия знает о с1, так как дальнейшая реализация не известна еще.

бррр, не понял, в c4 ничего же не переопределяется, там наследуется от родителя (c3). А он переопределяет метод m.

0

Сообщение от Алексеич Ну а тогда почему не вызывается метод класса c3, если он уже виртуальный и компилятор знает об этом, то и в таблице он есть?

Так в c3 объявлен новый метод с именем m, он уже другой. А объект lc объявлен типа c1, вот метод m и берётся из c1, в котором он перекрыт методом из c2, поэтому срабатывает метод из c2, потому, что сам объект создан как c4.

1

Сообщение от Алексеич бррр, не понял, в c4 ничего же не переопределяется, там наследуется от родителя (c3). А он переопределяет метод m.

Сама переменная какого типа?

моя логика такова, может быть я и не верно думаю.. хм..

базовый класс автомобиль
у автомобиля 4 колеса, руль, коробка передач на 3 скорости,
далее делаем автомобиль на базе этого с коробкой на 4 скорости, пусть будет авто "Жигули"
далее взасовываем доп вал в коробку с парой шестеренок олучили коробку скоростей на 5 скоростей, осталась база та же "Жигули"

желаем теперь жугуль с уже 5 скоростями который и едем на первый завод, на базовый и создаем на базе его желаемый авто с апгрейдами, а их то там не существует еще, максимум что получим жигуль с тремя скоростями и базовой комплектации,

т.е. коробку сделали виртуальной, а все последующие заводы просто оверрайдовали сей метод.

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

по крайней мере все классы что я не писал, работали и вели себя именно таким макаром, как я описал, писал с опыта, а не из умных книжек

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

1

В продолжение аналогии. Сделали авто с КПП с 3 передачами и водителя научили пользоваться этой КПП. Потом на его базе сделали авто с дополнительной коробкой и посадили за руль прежнего водителя, он не знает про новую коробку и пользуется только первой КПП с 4 передачами.

1

тоже недавно разбирался немного с этим вопросом
http://delphithink.blogspot.co... rtual.html

...когда мы объявляем в родительском классе метод как virtual, при создании потомка этого класса для него (потомка) так же будет создан этот метод в таблице методов в памяти. Это хорошо если данный метод перекрыт в потомке и нам в любом случае он необходим в памяти. А если метод не перекрыт? Зачем нам идентичная копия метода? А если у нас реализована цепочка наследования из 10 классов и только в одном из наследников этот метод перекрыт, то зачем нам создавать 10 копий одного и того же?

...при объявлении в классе метода как virtual, в каждом наследнике этого класса будет создана копия этого метода вне зависимости от того перекрыт этот метод или нет. Что нам это дает? Скорость вызова. Каждый класс имеет свою копию метода и может быстро его вызвать, не тревожа при этом своего родителя, родителя своего родителя и так далее по цепочке. Минус - занимаемая память.

Если же мы объявим в родительском классе метод как dynamic, то он не будет создаваться в наследниках, если наследники его не перекрывают. Таким образом, даже если у нас реализована цепочка наследования из 10 классов, такой метод будет в памяти только в одном экземпляре. Что нам это дает? Экономия памяти. Минус - скорость вызова.

Что мы имеем в итоге? Если у вас длинная цепочка наследования и метод, который редко вызывается, используйте dynamic. Этим вы сэкономите память в ущерб скорости в вызова, что на редко вызываемых методах будет не существенно. Именно по этой причине большинство методов в VCL объявлены как dynamic. Если у вас длинная цепочка наследования и метод, который вызывается часто, оценивайте необходимость быстрого вызова. Если это не критично, используйте dynamic. Если быстрый вызов важен несмотря на занимаемую память, используйте virtual. Если у вас не большая цепочка наследования, используйте virtual. Экономия памяти при использовании dynamic в таком случае будет минимальна.

2

AzAtom, Arcor, DenNik, спасибо за ответы.
1) Правильно я понял, что в моем примере нужный метод будет искаться только в VMT класса c1, не заходя в VMT классов c2 и т.д.?
2) В этой таблице будет попытка найти метод класса с4, затем с3, но там содержатся только метод m класса с1, и метод класса c2. Метода m класса c3 там нет, он был бы, только если бы он в c3 оверрайдился или вообще не упоминался.
И если бы метод m в с3 не упоминался, то в VMT класса c1 он бы тоже был, а в DMT его бы не было и пришлось бы программе лезть в DMT класса c2, а потом уже найти его в DMT класса с3...
Так правильно?

0

на мой взгляд, виртуализировать override-метод - как-то некомильфо. Зачем это? в исходниках VCL такого нет и если рассуждать логически, смысла делать это нет. Как это будет работать, непонятно, поэтому не делай так и не задавайся пустыми вопросами

2