Истоки этого в том что тип указателя не меняется от того виртуальная ф-я или нет, хотя вызываются они по разному.
Это значит что вызывающий код должен в рантайме определить какой это указатель.
В GCC в указателе есть флаг и происходит проверка этого флага и ветвление.
В VS чтобы избежать ветвления хранят адрес прокси.
Возможно какой-то из этих подходов лучше, но думаю что причина по которой подходы разные в том что когда-то было выбрано какое-то решение, но потом так просто сменить ABI уже не получилось.

В вашем коде компилятор знает конкретные адреса функций каждого объекта потому что видит весь код.
Я же говорил про чистый полиморфизм - когда есть только указатель на базовый класс и указатель на его метод который надо вызвать.