По сути, с этого момента компилятор видит экземпляр Base
, а во время выполнения экземпляр имеет тип Derived
.
В более широком объяснении тип Base
может быть интерфейсом, поэтому по контракту вы знаете, какой метод имеет и что он делает Polymorphism
. Но вы абстрагированы от реализации.