Здравствуйте, Serginio1, Вы писали:

V>>Но компилятор не берёт ничего ручками, он берёт фиксированное смещение и ничего не делает с адресом VMT, т.е. не накладывает маску в попытке обнулить младший бит.
S>То есть для массивов это TypeDesc, а для объектов это реальный VMT

Ну, массивы — это не совсем обычные объекты.
Компилятору не требуется вызывать виртуальные методы для массивов.
А если те приведены к интерфейсу, то в любом случае идёт обращение уже к таблице интерфейсов.