Как произходит механизм работы виртуальных методов я языках программирования и чем отличается от обычных методов?

Question

[Vitaly Adamsov]

Как произходит механизм работы виртуальных методов я языках программирования и чем отличается от обычных методов?

Интересует эта таблица, но не могу в ней нормально разобраться. Может кто-то простыми словами объяснить?

Answer 1

[Robur]

Если простыми словами - то обычные методы лежат в памяти по заранее известному месту, и компилятор генерирует инструкцию "вызвать код по адресу XXX".
Вызываемый код всегда один и тот же.

с виртуальными - это зависит от класса, поэтому компилятор генерирует такие инструкции:
"посмотреть что там за класс у obj, сходить в таблицу методов этого класса, найти там адрес для функции ToString, и вызвать код по этому адресу"

для одного класса адрес будет XXX, и вызовется один код, для другого класса будет YYY и вызовется другой код.

Comments

[Vitaly Adamsov]

Благодарю, становится понятнее.
А можете написать алгоритм сей магии с VMT?

[Robur]

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

включать или не включать эту логику для метода определяется языковыми конструкциями, вы пишете 'virtual' (или что там в конкретном в языке) и явно компилятору говорите - для этого метода - используй VMT.