Добрый вечер.
Если в классе объявлен виртуальный метод, то компилятор создает таблицу виртуальных методов, объявленных в определении этого класса. Производный класс "получает" эту таблицу при наследовании и записывает туда адреса переопределенных (своих реализаций) виртуальных методов.
В момент создания объекта (наследника через указатель на базовый класс), в базовом классе (совместно с созданием VMT) объявляется виртуальный табличный указатель объекта или vptr.
Сначала vptr объекта наследуется всеми производными классами, до тех пор пока не будет инициализирован адресом VMT того произодного класса, которому принадлежит созданный объект.
При вызове виртуального метода, компилятор через vptr достает фактический адрес виртуального метода из VMT нужного производного класса
То есть компилятор генерирует «скрытый» код в конструкторе каждого класса для инициализации vpointer'ов объектов класса адресами соответствующей VMT.
- сначала вызывается конструктор базового класса, инициализирующий vptr адресом VMT базового класса,
- затем вызывается конструктор производного класса, который перезаписывает значение vptr адресом VMT производного класса. (и так до тех пор пока vptr не будет инициализирован адресом VMT того производного класса, которому принадлежит созданный объект)
Вопросы в следующем:
1) Что подразумевается под инициализацией vptr адресом VMT производного класса? Понятно, что у виртуальных методов есть адреса, которые хранятся в таблице, разве адрес есть непосредственно у VMT класса?
2) В каком порядке при запуске программы происходит создание VMT базового класса, создание VMT производного класса (которая получает VMT базы при наследовании и инициализирует ее элементы адресами своих методов), создание vptr и его инициализация таблицами базового и производных классов?
3) При вызове виртуального деструктора значение vptr тоже инициализируется сначала адресом VMT производного, а затем базового класса?