Разве это не относится к типу B?
Нет. B
может быть динамическим c типом, но тип *this
stati *1006* во всех своих функциях-членах равен A
.
Функция-член g
не является виртуальной, поэтому поэтому при обращении к нему используется stati c привязка. При связывании stati c тип объекта Dynami c не имеет значения - имеет значение только тип stati c. Вызов невирусной g
в функции-члене A
должен быть вызовом A::g
.