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

M JackYF

Никому не интересна чужая срочность. При употреблении матов есть риск отправиться в бан.

пример:

http://liveworkspace.org/code/98838d7cf5b3...dd825096d285ec8

как в этом случае компилятор узнает о том, какое имя ввел юзер? ;)

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

гыгы 
спасибо ))

Не совсем так. Объект полиморфного класса можно представить в виде структуры:Ну вот, примерно так изнутри выглядит каждый полиморфный класс. Конструктор каждого класса присваивает полю vptr указатель на его собственную  таблицу. Таким образом, если у нас от класса Base наследуется Derived, то при создании экземпляра класса Derived будет вызван сначала конструктор Base, который полю vptr присвоит указатель на Base::__vTable, а затем конструктор Derived присвоит этому полю Derived::__vTable. В деструкторах все с точностью до наоборот (т.е. перед входом в деструктор восстанавливается таблица этого класса).