tohoto
Нет,это все принципы или зачем его придумывали,мне же сама реализация интересна .
Реализация в плюсах в основе очень простая - в каждый метод класса рри вызове передается секретный параметр this - указатель на экземпляр класса, выбор метода который надо вызвать происходит на этапе компиляции, если же метод виртуальный то через vtable во время исполнения, адрес vtable зависит от типа this получается single dispatch полиморфизм от первого аргумента